Beruflich Dokumente
Kultur Dokumente
Tautologias - Exemplos
1. A proposio ~(p ^ ~p) (Princpio da no contradio)
tautologia, conforme mostra a sua tabela-verdade:
p ~p p ^ ~p ~(p ^ ~p)
V F
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 - 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
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
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