TABELA VERDADE P V V F F Q V F V F ~P F F V V P^Q V F F F PvQ V V V F PvQ F V V F PQ V F V V PQ V F F V

~ = no ^ = E v = ou v = ou, ou
A V V F F B V F V F A B V F F F

= se ento = se e somente se

Equivalncia: B e A

Negao: no A ou No B

A V V F F

B V F V F

A B V V V F

Equivalncia: se no A ento B

Negao: no A e no B

A V V F F

B V F V F

A V F V V

1 equivalncia: se no B ento no A 2 equivalncia: no A ou B

Negao: A e no B

A V V F F

B V F V F

A V F F V

Equivalncia: se A ento B e se B ento A

Negao: A e no B ou B e no A