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

Alexandre M. Arruda
21 de novembro de 2018

1. Coloque as fórmulas a seguinte na Forma Normal Conjuntiva (FNC):

(a) ¬p → q
(b) p ∧ ¬q ∧ r ∧ ¬s
(c) p → (q → (r → (p ∧ q ∧ r)))
(d) (p ∧ ¬q) ∨ (r ∨ s)
(e) p ∧ ¬(p → ¬q) ∨ ¬q
(f) p ∨ ¬p
(g) p ∧ ¬p
(h) ((p → q) → p) → p
(i) ¬(p ∨ q) → (¬p ∧ ¬q)
(j) (¬p ∧ ¬q) → ¬(p ∨ q)
(k) ¬(p ∧ q) → (¬p ∨ ¬q)
(l) (¬p ∨ ¬q) → ¬(p ∧ q)
2. Encontre predicados apropriados e suas especificações para codificar as
frases a seguir na lógica de predicados:
(a) Todas as coisas vermelhas estão na caixa.
(b) Só as coisas vermelhas estão na caixa.
(c) Nenhum animal é ao mesmo tempo um cão e um gato.
(d) Todos os prêmios foram ganhos por um menino.
(e) Um menino ganhou todos os prêmios.
3. Para cada uma das fórmulas da lógica de predicados a seguir, encontre
um modelo que não a satisfaz ou prove que ela é válida:
(a) (∀x∀y(S(x, y) → S(y, x))) → (∀x¬S(x, x))
(b) ∃y(∀xP (x) → P (y))
(c) (∀x(P (x) → ∃yQ(y))) → (∀x∃y(P (x) → Q(y)))
(d) (∀x∃y(P (x) → Q(y))) → (∀x(P (x) → ∃yQ(y)))

1
 (e) ∀x∀y(S(x, y) → (∃z(S(x, y) ∧ S(z, y))))
(f) ∀x∀y((P (x) → P (y)) ∧ (P (y) → P (x)))
(g) (∀x∃y(P (x) → Q(y))) → (∃y∀x(P (x) → Q(y)))

4. Demonstre a validade dos argumentos a seguir na lógica de predicados,

onde F , G, P e Q são unários. Utilize tableaux e/ou dedução natural.
(a) ∀x(P (x) ∨ Q(x)) ` ∀xP (x) ∨ ∃xQ(x)
(b) ∀x∃y(P (x) ∨ Q(y)) ` ∃y∀x(P (x) ∨ Q(y))
(c) ∀x(¬P (x) ∧ Q(x)) ` ∀x(P (x) → Q(x))
(d) ∀x(P (x) ∧ Q(x)) ` ∀x(P (x) → Q(x))
(e) ∃x(¬P (x) ∧ ¬Q(x)) ` ∃x(¬(P (x) ∧ ¬Q(x)))
(f) ∃x(¬P (x) ∨ Q(x)) ` ∃x(¬(P (x) ∧ ¬Q(x)))
(g) ∀x(P (x) ∧ Q(x)) ` ∀xP (x) ∧ ∀xQ(x)
(h) ∀xP (x) ∨ ∀xQ(x) ` ∀x(P (x) ∨ Q(x))
5. Usando dedução natural, demonstre a validade de:
(a) ∀xP (a, x, x), ∀x∀y∀z(P (x, y, z) → P (f (x), y, f (z))) ` P (f (a), a, f (a))
(b) ∀xP (a, x, x), ∀x∀y∀z(P (x, y, z) → P (f (x), y, f (z))) ` ∃zP (f (a), z, f (f (a)))
(c) ∀yQ(b, y), ∀x∀y(Q(x, y) → Q(s(x), s(y)) ` ∃z(Q(b, z) ∧ Q(z, s(s(b))))
(d) ∀x(P (x) → (Q(x) ∨ R(x))), ¬∃x(P (x) ∧ R(x)) ` ∀x(P (x) → Q(x))