TABELA-VERDADE

TAUTOLOGIA, CONTRADIÇÃO E CONTINGÊNCIA

Classificação de Proposição Composta

Uma proposição composta pode ser classificada como tautologia, contradição e
contingência.

Tautologia
É uma proposição composta que sempre apresenta valor verdadeiro, independentemente
do valor lógico de cada uma das proposições simples que a compõe.
Observe a tabela-verdade para a proposição p v ~p:
p v ~p
p ~p p v ~p
V F V
F V V

Observe que para ambas as valorações p, a proposição p ^ ~p é sempre verdadeira.

Contradição
É uma proposição composta que sempre apresenta valor falso, independentemente do valor
lógico de cada uma das proposições simples que a compõe.

Observe a tabela-verdade para a proposição p ^ ~p:

p ^ ~p
P ~p p ^ ~p
V F F
F V F

Observe que independente da valoração p, a proposição é sempre falsa, sendo então, uma
contradição.

Contingência
É uma proposição composta que pode apresentar valor verdadeiro ou falso,
dependentemente das proposições simples que a compõe.
Para esse caso, conhecemos várias proposições que podem ser verdadeiras ou falsas a
depender da valoração das proposições que a compõem.

Observe a tabela-verdade para a proposição condicional p → q:

p q p→q
V V V
V F F
F V V
F F V

Observe que a tabela-verdade da p → q admite tanto valores verdadeiros quanto falsos,

sendo, portanto, uma contingência.

EXEMPLO: Classificar as proposições em tautologia, contradição e contingência.

a) p → (q v p)
p q p qvp Q
V V V V V
V F V V V
F V F V V
F F F F V

Observe que para ambas as valorações p, e para todas a combinações possíveis de

valorações entre p e q, a proposição p → (q v p) é sempre verdadeira, sendo, portanto,
uma TAUTOLOGIA.

b) (p ↔ ~q) ^ (p ^ q)
p q ~q p ↔ ~q p^q (p ↔ ~q) ^ (p ^ q)
V V F F V F
V F F V F F
F V F V F F
F F F F F F

Observe que para ambas as valorações p, e para todas a combinações possíveis de

valorações entre p e q, a proposição (p ↔ ~q) ^ (p ^ q) é sempre FALSA, sendo, portanto,
uma CONTRADIÇÃO.

c) p ^ q → r
p q r p^q r p^q→r
V V V V V V
V V F V F F
V F V F V V
V F F F F V
F V V F V V
F V F F F V
F F V F V V
F F F F F V