30.09.2013 Views

Aula 1

Aula 1

Aula 1

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!