Exercícios_Lógica_Proposicional_-_Resolução

Esta é uma pré-visualização de arquivo. Entre para ver o arquivo original

MATA47 - Lógica para Computação 
Exercícios Lógica Proposicional 
 
Resolução 
 
 
 
1. Determine as formas normais conjuntiva e disjuntiva 
para as fórmulas a seguir: 
a) (P → Q) ↔ (R ∧ P) 
b) (P ↔ Q) → (P ∨ Q) 
c) (P → Q) → ((P ∧ Q) ↔ P) 
 
2. Verifique se os sequentes a seguir são válidos utilizando 
a resolução. 
a) ¬P ∨ Q, ¬Q ∨ S | ¬P ∨ S 
b) ¬P ∨ Q, ¬Q ∨ S | S 
c) ¬S ∨ P, S ∨ P, ¬P ∨T ∨R, ¬P ∨ T | ¬R ∨ T 
d) ¬P ∨ R, ¬Q ∨ R, P ∨ Q | R