PUCRS – ESCOLA POLITÉCNICA

Lógica para Computação – 4611E-04

Prof. Luan Fonseca Garcia

Lista de Exercícios 5

Semântica e Formas Normais

1. Dada as fórmulas abaixo, gere a tabela verdade para cada uma e

verifique e diga quais das classificações a seguir são válidas: satisfazível,
falsificável, válida, insatisfazível.
a) p ⋀ ¬p
b) p ⋀ ¬q
c) p ⋀ q → p ⋁ q
d) p → (q → p)
e) (p → q) → (¬p → ¬q)
f) ¬ (¬p ⋀ ¬q)
g) ¬ (p ⋁ q → p)
h) (p ⋀ ¬p) → q
i) p ⋀ (q ⋁ r) → (p ⋀ q) ⋁ (p ⋀ r)
j) ((p → q) ⋀ (r → q)) → (p ⋁ r → q)

2. Prove ou refute as consequências ou equivalências semânticas baixo

utilizando o método da tabela verdade.
a) p → (q ⋀ ¬p) ⊨ (p → ¬q) ⋀ (p → q)
b) (p → q) → ¬q ⊨ (p ⋀ ¬q) → ¬p
c) ¬ (p ⋀ q) ⊨ (¬p ⋀ ¬q) → ¬q.
d) (p → q) ⋀ ¬q ⊨ (p ⋀ q) → (¬p ⋀ ¬q)
e) (p ⋀ p) → (q ⋀ p) ⊨ (p → ¬q) ⋁ ¬p
f) p ⋀ q, (¬p ⋁ ¬q) → p ⊨ ¬q
g) (p ⋁ q) → ¬p, p ⊨ ¬p ⋀ ¬q
 PUCRS – ESCOLA POLITÉCNICA
Lógica para Computação – 4611E-04
Prof. Luan Fonseca Garcia

h) ⊨ (p ⋀ q) ⋁ (¬p ⋀ ¬q)
i) ⊨ (p ⋁ q) ⋁ (¬p ⋀ ¬q)
j) (p ⋁ q) → ¬q ≡ (¬p ⋀ q) → p
k) (p ⋁ q) → ¬q ≡ ¬ (p ⋁ q) ⋁ ¬q
l) ¬p ⋁ (q → r) ⊨ (p ⋁ q) → (p ⋁ r)
m) ⊨ (p → ¬p) ⋀ (¬p → p)
n) ⊨ (r → q) ⋁ (q ⋁ r)

3. Transforme cada fórmula abaixo para Forma Normal Conjuntiva e

verifique sua validade.
a) (p → q) ⋁ (q ⋀ r ⋀¬p)
b) ((p ⋀ q) ⋁ q) → (r ⋁¬p)
(c) (p → q) → (q → r)
d) (¬p → ¬q) → (¬r → p)
e) ((p ⋀¬p) → (¬r ⋀ s)) ⋁ (¬q ⋀ (p → t))
f) ((p ⋀¬p) ⋀ (r → s)) → (¬q ⋀ (p ⋁¬t))

4. Prove ou refute as consequências semânticas abaixo utilizando a

conversão para Forma Normal Conjuntiva. Lembre-se que se a
consequência semântica 𝜙1 , 𝜙2 ,..., 𝜙𝑛 ⊨ 𝜓 se mantém, então
⊨ 𝜙1 → (𝜙2 → (𝜙3 →(... → (𝜙𝑛 → 𝜓)))) também se mantém.
a) ¬q, q ⋁¬r ⊨ (p ⋁ q) → (p ⋁ r)
b) q, p ⋀ r ⊨ (p ⋁¬q) → (p ⋀ r)
c) ((p ⋁ p) → ¬r) ⊨ ((r ⋁ p) → (r → q))