Lista de execícios de reforço 2 resposta

Prévia do material em texto

Lógica 1 — Respostas da Lista de Exercícios 2
Exercício 1.
(a) Gca
(b) Gca ∨ Gac
(c) ¬Gca ∧ ¬Gac
(d) Fc→ Gac
(e) Gca↔ Pa
(f) (Fc ∧ Pa)→ Gca
(g) (Fc ∨ Pa)→ (Gca ∧ Gac)
(h) ¬(Fc→ Gac)
(i) ¬Fc→ Gac
(j) (Fa ∨ Pa)→ Gca
Exercício 2.
(a) ¬Pl
(b) ¬Gll
(c) ¬Pl ∧ ¬Gl j
(d) Sl t → Gl t
(e) ¬P j ∨ (¬G j j ∧ ¬G jt)
(f) (Gl t → Sl t) ∧ (Gl j→ Sl j)
(g) (¬St j ∧ ¬Stl)→ P t
(h) Lmj→ F j
(i) ¬L jm→¬Lmj
(j) N ↔ (¬C ∧ ¬R)
(k) ¬(N ∧ (C ∧ R)) ou ¬((N ∧ C) ∧ R)
(l) Eiab ∧ ¬Ecab
(m) ¬Ecia ∧ ¬Ebia
(n) Omj↔¬O jm
(o) ¬N →¬Ea
(p) ¬N ∨ (¬F ∨ (¬Ea ∧ ¬Aa))
Exercício 3.
(a) ∃xGxa
(b) ∃xGxa ∧ ∃xGxc
(c) ∃x(Gxa ∧ Gxc)
(d) ∀xGxa
(e) ¬∀xGxa
(f) ∀xGxa ∨ ∀xGxc
(g) ∃xGax ∧ ¬∃xGcx
(h) ∃xDcxa
(i) Gca→∃xGxa
1
(j) Gca→∃xDcxa
(k) ¬Gcc→¬∃xGcx
(l) ¬∃xGxa ∧ ¬∃xGxc
(m) ¬∀xDx b
(n) ∃x(Sx ∧ ¬Dxn)
(o) ∃x¬Dx b→∃xDxn
(p) ∀x(Dxn→ Dx b)
(q) ∀x((Sx ∧ Dxn)→¬Dx b)
(r) ∃x¬Dxn
(s) ∃x(Dx b ∧ Dxn)
2