09.06.2013 Views

q - Cetecnet

q - Cetecnet

q - Cetecnet

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.

Observe que se os valores lógicos em casa hipótese são iguais, então as proposições são equivalentes.<br />

PANORAMA GERAL<br />

p q p↔ q p→ q q → p (p → q) ∧ (q →p) ~p ~q p∧ ~q q∧ ~p ~(p ↔q) ⇔ (p∧~q) ∨ (q∧~p)<br />

V V V V V V F F F F F<br />

V F F F V F F V V F V<br />

F V F V F F V F F V V<br />

F F V V V V V V F F F<br />

A tabela verdade da negação da bicondicional e a tabela-verdade da bicondicional possuem em<br />

cada hipótese, valores lógicos diferentes.<br />

Isto equivale a dizer que uma é negação da outra.<br />

EQUIVALÊNCIAS LÓGICAS DA BICONDICIONAL<br />

AFIRMAÇÃO BICONDICIONAL<br />

p ↔ q ⇔ (p → q) ∧ (q → p) ⇔ q ↔ p ⇔ ¬ p ↔ ¬ q ⇔ ¬ q ↔ ¬ p<br />

NEGAÇÃO DA BICONDICIONAL:<br />

¬(p ↔ q) ⇔ (p ∧ ~q) ∨ (q ∧ ~p) ⇔ (p ∨ q) ∧ (¬p ∨ ¬q) ⇔ (p ∨ q)<br />

¬(p ↔ q) ⇔ p ↔ ¬ q ⇔ q ↔ ¬ p<br />

Atenção: A negação de É VACA se, e somente se, VOA pode ser também:<br />

40<br />

É VACA OU VOA ; E; NÃO É VACA OU NÃO VOA<br />

Professor José dos Santos Moreira

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

Saved successfully!

Ooh no, something went wrong!