Lista de execícios de reforço 1 resposta

Prévia do material em texto

Lógica 1 — Respostas da Lista de Exercícios Suplementares 1
Exercício 1. Diga, de cada uma das fórmulas abaixo, se ela é atômica, molecular, ou geral; (ii) se ela é
aberta ou fechada.
(a) (i) atômica (ii) aberta
(b) (i) atômica (ii) aberta
(c) (i) molecular (ii) aberta
(d) (i) molecular (ii) fechada
(e) (i) geral (ii) fechada
(f) (i) molecular (ii) aberta
(g) (i) molecular (ii) fechada
(h) (i) geral (ii) aberta
(i) (i) molecular (ii) fechada
(j) (i) molecular (ii) fechada
Exercício 2. Transcreva as sentenças abaixo para a linguagem do CQC, usando a notação sugerida:
a: Alice; c: o Coelho Branco; p: Platão; F : x é um filósofo; G: x gosta de y; M : x é o mestre de y .
(a) Mcp
(b) ¬F p
(c) ¬Mpc
(d) Fa ∨ F p
(e) (¬Fa ∧ ¬Fc) ∧ F p
(f) ¬Fc ∧ Fa
(g) Fc→¬F p
(h) ¬Fc ∧ ¬F p
(i) Fc↔ (F p ∧ Fa)
(j) Mcp ∨ Mpc
(k) Gap ∧ ¬Gac
(l) (F p ∧ Fc)→ (¬Gap ∧ ¬Gac)
(m) Mcp→¬Mpc
(n) ∃xGax
(o) ¬∃xGpx ou ∀x¬Gpx
(p) ¬∀xGx x ou ∃x¬Gx x
(q) ∃xMcx
(r) ∃xM xa
(s) ¬∀xGxa ou ∃x¬Gxa
(t) ∃x¬Mxx
(u) ¬∃xMcx ou ∀x¬Mcx
(v) ∃xM xp ∨ Mpp
(w) Mpa→∃xMpx
(x) (∃xF x ∨ ∃xGxc)→∃xMcx
Exercício 3. Transcreva as fórmulas abaixo da linguagem do CQC para o português, considerando a seguinte
notação:
d: Darth Vader; l: Luke Skywalker; o: Yoda;
J : x é um jedi; T : x mora em Tatooine; E: x é mais esperto que y .
(a) Luke Skywalker é um jedi.
(b) Darth Vader não é mais esperto que Yoda.
(c) Yoda é um jedi mas não mora em Tatooine.
(d) Se Luke Skywalker é um jedi então Darth Vader não é um jedi.
(e) Ou Yoda é mais esperto que Luke Skywalker ou Luke não é mais esperto que Yoda.
(f) Se Luke Skywalker mora em Tatooine então nem Darth Vader nem Yoda moram em Tatooine.
(g) Ou Luke é um jedi e mora em Tatooine, ou Darth Vader não é um jedi nem mora em Tatooine.
(h) Se Darth Vader é mais esperto que alguém, então não é mais esperto que Luke.
(i) Yoda é mais esperto que alguém, mas Darth Vader não é mais esperto que ninguém.
(j) Alguém é mais esperto que Darth Vader se e somente se ele é um jedi e mora em Tatooine.