1 Lista exercı́cios 2 (Lógica Aplicada à Com-

putação)
Atividade 1 Verifique por meio de tabela verdade quais propriedades semânticas
(tautologia, satisfatı́vel, contingência, contradição) se aplicam a cada uma das
seguintes fórmulas.
• a) P ∨ (Q ∧ R) ↔ (P ∨ Q) ∧ (P ∨ R)
• b) P → Q ↔ ¬P ∧ Q

Atividade 2 Verifique por meio do método da árvore semântica quais pro-

priedades semânticas (tautologia, satisfatı́vel, contingência, contradição) se apli-
cam a cada uma das seguintes fórmulas.

• a) (P → (Q → R)) ↔ ((P ∧ Q) → R)
• b) (R ∧ ¬P ) ↔ (P ∧ R)
• c) (P → Q) → (((P ∧ Q) ↔ P ) ∧ ((P ∨ Q) ↔ Q))

Atividade 3 Verifique as seguintes equivalências. Caso escolha utilizar o

método da árvore semântica para a prova, aplique o método sobre os sı́mbolos
proposicionais das fórmulas.
• a) ¬(P ∧ Q) ≡ ¬P ∨ ¬Q
• b) P ∨ (Q ∧ R) ≡ (P ∨ Q) ∧ (P ∨ R)
• c) P → Q ≡ ¬P ∨ Q

• d) P ↔ Q ≡ (P → Q) ∧ (Q → P )