Tabela Verdade

OU E SE ENTO SE E SOMENTE SE

Equivalncias
1 2 3 4 5 6 7 Pv~P / P=>P ~(~P) P => Q P => Q P => Q ~(P => Q) ~(P v Q) ~(P ^ Q) P <=> Q ~(P <=> Q) <=> <=> <=> <=> <=> <=> <=> <=> <=> <=> V P ~P v Q ~Q => ~P ~(P^~Q) P ^~Q ~P ^ ~Q ~P v ~Q (P => Q)^(Q=>P) P<=>~Q

P Q V V V F F F V F

PvQ V V V F

P^Q V F F F

P => Q V F V V

P <=> Q V F F V

Estruturas NO vlidas (Falcia) V Todo A C V Todo B C V ou F .'. Todo B A P => Q ~P .'. ~Q P => Q Q .'. P

P=>Q P condio Suficiente para Q e Q condio Necessria para P

8 9 10

Estruturas Vlidas
Modus Ponens V P => Q V P V .'. Q Se P ento Q P Portanto Q P => Q ~Q .'. ~P Modus Tollens Se P ento Q no Q Portanto no P Transitividade Todo A B Todo B C .'. Todo A C PvQ P => R Q => S .'. R v S Dilema V V V V