Tautologias e Contradições

Prof. Alessandro Souza

Prof. Nelson Fossatti
 Tautologia

•É toda proposição composta cuja última coluna da

sua tabela-verdade encerra somente a letra V
(verdade).

•Ou toda proposição composta P(p,q,r,s..) cujo valor

lógico é sempre Verdade.
 Tautologia
• Ex: p V ~(p ^ q)

p q p^q ~(p ^ q) p V ~(p^q)

V V V F V
V F F V V
F V F V V
F F F V V
 Tautologia
(p ^ ~p) → (p v q) é tautológica

p q ~p (pvq) (p^~p) (p ^ ~p) →

(p v q)

V V F V F V
V F F V F V
F V V V F V
F F V F F V
 Contingência
• Proposição cuja última coluna da tabela-verdade possui valores V e
F.
Ex: (p ^ q) → ~p

p q ~p (p^q) (p^q) → ~p
V V F V F
V F F F V
F V V F V
F F V F V
 Contradição
• Proposição cuja última coluna da tabela-verdade possui somente valores
F.

Ex: (p v ~q)  (~p ^ q)

p q ~p ~q (pv~q) (~p^q) (p v ~q) 

(~p ^q)
V V F F V F F
V F F V V F F
F V V F F V F
F F V V V F F
Negação de Proposição Composta
Original Negação
A^B ~A v ~B
AvB ~A ^ ~B
AvB AB
A→B A ^ ~B
AB (A ^~B) v (B ^~A)
Todo A é B Algum A não é B
Algum A é B Nenhum A é B