Ensino Superior

Lgica Matemtica e Computacional

2.1 Tautologia, Contradio e Contingncia

Amintas Paiva Afonso

Tautologias ou Proposies Tautolgicas ou

Proposies Logicamente Verdadeiras
toda proposio composta cuja a ltima coluna da
sua tabela-verdade encerra somente a letra V
(verdade).
Em outros termos, toda proposio composta P(p, q,
r, ) cujo valor lgico sempre V (verdade), quaisquer
que sejam os valores lgicos das proposies simples
componentes p, q, r,
imediato que as proposies p p e p p so
tautolgicas (Princpio de Identidade para as
proposies).

Tautologias - Exemplos
1. A proposio ~(p ^ ~p) (Princpio da no contradio)
tautologia, conforme mostra a sua tabela-verdade:

ortanto, dizer que uma proposio

o pode ser simultaneamente
rdadeira e falsa sempre verdadeiro.

p ~p p ^ ~p ~(p ^ ~p)

V F

2. A proposio p v ~p (Princpio do terceiro excludo)

tautologia, conforme se v pela sua tabela-verdade:

ortanto, dizer que uma proposio

u verdadeira ou falsa sempre verdadeiro.

p ~p p v ~p

V F

Tautologias - Exemplos
3. A proposio p v ~(p ^ q) tautologia, conforme
mostra a sua tabela-verdade:
p

q p ^ q ~(p ^ q) p v ~(p ^ q)

Tautologias - Exemplos
4. A proposio p ^ q (p q) tautologia, conforme
mostra a sua tabela-verdade:

q
p V
q p V^ q p
V
V

p ^ q (p
q)
V

V F

Tautologias - Exemplos
5. A proposio p v (q ^ ~q) p tautologia, conforme
mostra a sua tabela-verdade:

q ^F ~q p v (qV^ ~q)

p v (q ^ ~q)
p
V

p V
q
V

~q
F

V F

Tautologias - Exemplos
6. A proposio p ^ r ~q v r tautologia, conforme mostra
a sua tabela-verdade:

p q r ~q

p^r

~q v r

p ^ r ~q v r

V
V

V
F

F
V

F
V

F
V

F
V

V
V

F
F

V
V

V
F

F
F

F
F

V
F

V
V

F
F

F
F

V
F

V
V

F
F

Tautologias - Exemplos
7. A proposio ((p q) r) (p (q r)) tautologia,
conforme mostra a sua tabela-verdade:

p
V

q
V

(p q)
r p q (q r)
r
V
V
V
V

p (q
r)
V

Prop
V

V
V
V

V
F
F

F
V
F

V
F
F

F
V
V

F
V
V

F
V
V

V
V
V

F
F
F

V
V
F

V
F
V

V
V
V

V
F
V

V
F
V

V
V
V

V
V
V

Exerccio:
Um exemplo de tautologia :
a) Se Pedro bonito, ento Pedro bonito e o cu azul.
b) Se Pedro bonito, ento Pedro bonito ou o cu azul.
c) Se Pedro bonito ou o cu azul, ento o cu azul.
d) Se Pedro bonito ou o cu azul, ento Pedro bonito e
o cu azul.

Contradies ou Proposies Contravlidas

ou Proposies Logicamente Falsas
toda proposio composta cuja a ltima coluna da
sua tabela-verdade encerra somente a letra F
(falsidade).
Em outros termos, toda proposio composta P (p, q,
r,) cujo valor lgico sempre F (falsidade), quaisquer
que sejam os valores lgicos das proposies simples
componentes p, q, r,
Como a tautologia sempre verdadeira (V), a
negao de uma tautologia sempre falsa (F), ou
seja, uma contradio, e vice-versa.

Contradies - Exemplos
1. A proposio p ^ ~p uma contradio,
conforme mostra a sua tabela-verdade:
Portanto, dizer que uma proposio
pode ser simultaneamente verdadeira
e falsa sempre falso.

p ~p p ^ ~p

V F

2. A proposio p ~p uma contradio,

conforme se v pela sua tabelap
p ~p
~p
verdade:
V F

Contradies - Exemplos
3. A proposio (p ^ q) ^ ~(p v q) uma contradio,
conforme mostra a sua tabela-verdade:

pV
vq

~(pFv q)

(p ^ q) ^ ~(p v
q)
F

Vp

q p V^ q
V

F
F

Contradies - Exemplos
4. A proposio ~p ^ (p ^ ~q) uma contradio,
conforme mostra a sua tabela-verdade:
p V
q
V

~p
F

~q
F

p ^F~q

~p ^ (p ^
~q)
F

V F

Contingncias ou Proposies Contigentes

ou Proposies Indeterminadas
toda proposio composta cuja a ltima
coluna da sua tabela-verdade figuram as letras
V e F cada uma pelo menos uma vez.
Em outros termos, toda proposio composta
P (p, q, r,) que no tautologia e nem
contradio.

Contigncias - Exemplos
1. A proposio p ~p uma contigncia, conforme
mostra a sua tabela-verdade:
p ~p p ~p
V F
F V

F
V

Contingncias - Exemplos
2. A proposio p v q p uma contingncia,
conforme mostra a sua tabela-verdade:
p

q pvq pvqp

Contingncias - Exemplos
3. A proposio x = 3 ^ (x y x 3) uma
contingncia, conforme mostra a sua tabelaverdade:
y
x =V3 x V
= y x F 3 x F

xyx
3
V

x = 3 ^ (x y x
3)
V

4 Lista de Exerccios