2o Lista de Exercı́cios - Lógica para Computação

Alexandre M. Arruda

1. Classificar as fórmulas a seguir de acordo com sua satisfazibilidade, vali-

dade, falsificabilidade ou insatisfazibilidade:
(a) (p → q) → (q → p)
(b) (p ∧ ¬p) → q
(c) ¬¬p → p
(d) p → ¬¬p
(e) ¬(p ∨ q → p)
(f) ¬(p → p ∨ q)
(g) ((p → p) ∧ (r → q)) → (p ∨ r → q)

2. Sem usar o Teorema da Dedução, apresentar demonstrações para as se-

guintes fórmulas usando o método da axiomatização:
(a) (A → (B → C)) → (B → (A → C))
(b) (A → (A → B)) → (A → B)
3. Repetir o exercı́cio anterior, usando o Teorema da Dedução, e comparar
a complexidade das provas.
4. Mostrar que:
(a) Se há uma dedução para Γ, A ` B, então obtemos uma dedução para
Γ ` A → B.
(b) Se há uma dedução para Γ ` A → B, então obtemos uma dedução
para Γ, A ` B.
(c) Concluir o teorema da dedução.
5. Provar os seguintes teoremas, usando o Teorema da Dedução se for con-
veniente:

(a) ` (¬p → q) → ((¬p → ¬q) → p)

(b) ` (p → q) → (¬q → ¬p)
(c) ` (¬q → ¬p) → (p → q)
(d) ` (p ∧ ¬p) → q

1
 (e) ` ¬(p ∨ q) → (¬p ∧ ¬q)
(f) ` (¬p ∧ ¬q) → ¬(p ∨ q)
(g) ` ¬(p ∧ q) → (¬p ∨ ¬q)
(h) ` (¬p ∨ ¬q) → ¬(p ∧ q)
(i) ` p → ¬¬p
(j) ` ¬(p ∧ ¬p)
(k) ` (p → q) → ¬(p ∧ ¬q)
(l) ` ¬(p ∧ ¬q) → (p → q)
(m) ` (p ∧ q) → ¬(p → ¬q)
(n) ` ¬(p → ¬q) → (p ∧ q)
(o) ` (p → ¬p) → ¬p
(p) p ` ¬(¬p ∧ q)
(q) ¬(p ∧ ¬q), p ` q
(r) ¬p ` (p → q) → ¬p
(s) ¬p ` ¬p → (p → q)
(t) ¬p ` p → q
6. Prove todos os itens da questão anterior usando Dedução Natural e Ta-
bleaux Analı́ticos.