Opa, não é bem assim. A tabela de verdade da implicação é: p q p->q
V V V V F F F V V F F V Acho que nas duas primeiras linhas não tem como ter dúvida, mas nas duas últimas é meio esquisito da primeira vez que se vê isso. Para entender, eu sempre achei mais fácil pensar em exemplos bem absurdos, tipo: p = o céu é verde q = elefantes voam A frase "Se o céu é verde, então elefantes voam" é verdadeira? É, ué... O céu não é verde mesmo, eu posso colocar qualquer coisa como conseqüência desse fato, que vai ser verdade. A frase não está dizendo que elefantes voam, mas que o céu ser verde implica em elefantes voarem. Como você vai contestar que essa frase seja verdade, se o céu não é verde? A mesma coisa vale colocando uma coisa verdadeira na consequencia. Por exemplo, num belo dia de sol, o professor entra na sala e diz "Se hoje está chovendo, então vou dar uma prova surpresa." E tem prova. A frase que ele disse continua sendo verdadeira. Ele disse que se estivesse chovendo teria prova. Não disse nada sobre o que aconteceria se estivesse fazendo sol! Estava sol e ele deu prova, ou seja, a implicação ficou F->V. Mas ele não disse nenhuma mentira, o que qualifica a frase como verdadeira! O seu erro está no sentido que você está considerando a palavra "implicar". Quando analisamos estas expressões lógicas, todas as variáveis (JaP e Pb, por exemplo) tem um valor determinado (V ou F) e então descobrimos o valor da frase inteira. O valor de JaP não vai definir o valor de Pb, mas sim o valor das duas vai definir o valor da implicação. Espero que tenha explicado... - Juliana ----- Original Message ----- From: "Gustavo Martins" <[EMAIL PROTECTED]> To: "Lista OBM" <[EMAIL PROTECTED]> Sent: Monday, January 21, 1980 6:46 PM Subject: [obm-l] Logica Li algo que diz que, se p falso e q, verdadeiro, pode-se concluir que p -> q sera verdadeiro. Como e dito que isso vale sempre, tambem devera valer para este exemplo: Vamos ver se JaP -> Pb e verdadeira, onde JaP significa "jogador do time a faz ponto" e Pb "ponto do time b". Ou seja, sempre que um jogador de A fizer ponto, B tambem fara ponto. Entao, se num dado momento, JaP for falso e Pb, verdadeiro, podemos concluir que a afirmacao e verdadeira. Mas sabemos que nao e. Talvez o texto de logica que eu li esteja mal escrito. Alguem pode me dizer qual e a regra correta? ========================================================================= Instruções para entrar na lista, sair da lista e usar a lista em http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html O administrador desta lista é <[EMAIL PROTECTED]> =========================================================================