Leonardo Barroso
www.geocities.com/logicaemconcursos
Texto extrado(com cortes/adaptaes) da Revista do Professor de Matemtica n 37 Autoras: Gilda de La Roque Palis e Iaci Malta(PUC-RJ)
Proposies do tipo
se A, ento B
Exemplos: Proposio 1: Se m e n so inteiros pares, ento o produto mn inteiro par. Proposio 2: Se foi aluno do Leonardo, ento passou no concurso. muito comum que, num tal contexto, a frase A seja chamada de hiptese da proposio e a concluso B de tese. Uma proposio " A, ento B" verdadeira quando em todas as situaes nas quais a se hiptese se verifique a tese tambm esteja satisfeita. E falsa quando no for verdadeira. Conclumos que uma proposio falsa quando existe um objeto matemtico que satisfaz a hiptese A e no satisfaz a concluso B. Um tal objeto se diz contra-exemplo para a proposio se A, ento B. Enquanto um s contra-exemplo permite concluir que enunciado falso, no basta exibir exemplos para mostrar que uma proposio seja verdadeira. Lembramos que proposies desse tipo podem ter outras formulaes equivalentes: Na forma A implica B, abreviada, s vezes, pela notao A B ( da o fato de esse tipo de proposio ser chamado implicao). Se A for verdadeira, ento B ser verdadeira. Se A for vlida, ento B ser vlida. B verdadeira desde que A seja verdadeira. B verdadeira se A for verdadeira. A uma condio suficiente para B. B uma condio necessria para A. A ser verdadeira somente se B for verdadeira.
Proposies do tipo
Se queremos considerar simultaneamente a proposio "se A, ento B" e sua recproca "se B, ento A", usamos a frase "A se, e somente se, B". Proposies desse tipo podem ser formuladas de vrias maneiras, dentre elas: A implica B e reciprocamente, abreviada s vezes pela notao A B Se A, ento B e reciprocamente. A verdadeira se, e somente se, B for verdadeira. A uma condio necessria e suficiente para B. A e B so proposies equivalentes.
E eis aqui uma outra regra: Uma proposio do tipo "A se, e somente se, B" verdadeira quando "se A, ento B" e "se B, ento A" so ambas verdadeiras. Caso contrrio falsa.
Observe que isto uma regra geral: A negao de uma proposio do tipo: "Para todo objeto, com uma certa propriedade, algo acontece" : "Existe um objeto com a certa propriedade, tal que aquele algo no acontece". E vice versa A negao de uma proposio do tipo: "Existe um objeto, com uma certa propriedade, para o qual algo acontece" : "Para todo objeto com a certa propriedade, aquele algo no acontece".
Observao: Em existe uma ou existe um, esse uma ou um deve ser entendido no sentido de alguma ou algum, isto , no sentido de pelo menos uma ou pelo menos um, no no sentido de somente uma ou somente um, salvo meno explcita, quando se diz, em geral, existe um e um s ou existe um nico.