Aula 1
Aula 1
Aula 1
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Por exemplo:<br />
Eu joguei o lápis.<br />
O lápis foi jogado por mim.<br />
RACIOCÍNIO LÓGICO<br />
PROFESSOR: GUILHERME NEVES<br />
As duas proposições acima têm o mesmo significado. Elas querem dizer a mesma coisa!! Quando<br />
uma delas for verdadeira, a outra também será. Quando uma delas for falsa, a outra também será.<br />
Dizemos, portanto, que elas são logicamente equivalentes.<br />
Em símbolos dizemos:<br />
Esta seta dupla é o símbolo de equivalência.<br />
Vamos conversar formalmente agora...<br />
Duas proposições são logicamente equivalentes se e somente se possuem a mesma<br />
tabela-verdade.<br />
Vamos mostrar, por exemplo, que a proposição p q equivalente a ( p q) ( q p)<br />
. Ou<br />
seja, que ( p q) ( p q) ( q p)<br />
<br />
. Construímos a tabela-verdade e verificamos se os<br />
valores lógicos das duas proposições são sempre iguais.<br />
p q p q q p ( p q) ( q p)<br />
p q<br />
V V V V V V<br />
V F F V F F<br />
F V V F F F<br />
F F V V V V<br />
Assim, acabamos de mostrar que uma proposição bicondicional equivale à conjunção de dois<br />
condicionais.<br />
Há algumas equivalências notáveis que são muito cobradas em concursos. Vamos enunciar as<br />
equivalências, demonstrá-las e aplicá-las.<br />
Teorema: As proposições p q,<br />
~ q~ pe<br />
~ pqsão logicamente equivalentes.<br />
Demonstração:<br />
p q ~ q ~ p p q ~ q ~ p ~ p q<br />
V V F F V V V<br />
V F V F F F F<br />
F V F V V V V<br />
F F V V V V V<br />
Como os valores lógicos das três proposições são iguais, elas são ditas logicamente equivalentes.<br />
Prof. Guilherme Neves www.espacojuridico.com 48