Lógica Matematica
1339 palavras
6 páginas
BACHARELADO EM SISTEMAS DE INFORMAÇÃO – EaD UAB/UFSCarFundamentos de Lógica Matemática
Profa. Dra. Heloisa de Arruda Camargo
AA2-1 – Lista de Exercícios – Tabelas Verdade: interpretação, validade e contradição lógicas
1)
(Valor = 40) Utilizando tabelas-verdade, classifique as proposições a seguir como tautologia, contradição ou contingência (a construção da tabela-verdade faz parte do exercício). a) (p q) (p ∧ ¬q)
CONTRADIÇÃO
p
q
¬q
pq
p ∧ ¬q
(p q) (p ∧ ¬q)
V
V
F
V
F
F
V
V
F
V
F
F
V
F
V
F
V
F
V
F
V
F
V
F
F
V
F
V
F
F
F
V
F
V
F
F
F
F
V
V
F
F
F
F
V
V
F
F
b) (p q) (¬p ∨ q)
TAUTOLOGIA
p
q
¬p
pq
¬p ∨ q
(p q) (¬p ∨ q)
V
V
F
V
V
V
V
F
F
F
F
V
F
V
V
V
V
V
F
F
V
V
V
V
c) (p ∧ r) (p (q r))
TAUTOLOGIA
p
q
r
p∧r
qr
(p (q r)
(p ∧ r) (p (q r))
V
V
V
V
V
V
V
V
V
F
F
F
F
V
V
F
V
V
V
V
V
V
F
F
F
V
V
V
F
V
V
F
F
V
V
F
V
F
F
F
V
V
F
F
V
F
V
F
V
F
F
F
F
V
F
V
d) ¬ ((p ¬q) (p ∨ r) ∧ s )
CONTINGÊNCIA
p
Q
r
S
¬q
p ¬q
p∨r
(p ∨ r) ∧ s )
¬ ((p ¬q) (p
∨ r) ∧ s)
V
V
V
V
F
F
V
V
V
V
V
V
F
F
F
V
F
F
V
V
F
V
F
F
V
V
V
V
V
F
F
F
F
V
F
F
V
F
V
V
V
V
V
V
F
V
F
V
F
V
V
V
F
V
V
F
F
V
V
V
V
V
F
V
F
F
F
V
V
V
F
V
F
V
V
V
F
V
V
V
F
F
V
V
F
F
V
V
F
V
F
V
F
V
F
V
V
F
V
F
V
F
F