Lista_1_Exercicio_Tableaux_Semanticos

Prévia do material em texto

Universidade Tecnológica Federal do Paraná – UTFPR 
Departamento Acadêmico de Informática – DAINF 
Curso de Engenharia de Computação 
Disciplina de Lógica para Computação 
 
"Aprenda com os erros alheios. Não viverás o bastante para cometer todos os erros." 
Martin Vanbee 
 
 
Exercícios de Tableaux Semânticos 
1) Faça a demonstração utilizando o método do tableaux semântico, para provar que 
as fórmulas são ou não tautológicas. 
 
a) (p)  p -- Fechado 
b) (p  q)  (p  q) -- Fechado 
c) (p  q)  (p  q) -- Fechado 
d) (p  q)  (p  q) -- Aberto 
e) (p  q)  (q  p) -- Fechado 
f) (p  q)  (q  p) -- Fechado 
g) (p  q)  (q  p) -- Fechado 
h) ((p  q)  p)  (p  (q  p)) -- Fechado 
i) ((p  q)  p)  (p  (q  p)) -- Fechado 
j) ((p  q)  p)  (p  (q  p)) -- Fechado 
k) ((p  q)  (q  p))  (p  p) -- Fechado 
l) (p)  p -- Fechado 
m) (p  (q  p))  ((p  q)  (p  p)) -- Fechado 
n) (p  (q  p))  ((p  q)  (p  p)) -- Fechado