1
8. Formalize as seguintes sentenças usando a interpretação indicada:
Nomes Predicados unários Predicados binários
a: Aristóteles f(x): x é feminista r(x,y): x ridicularizou y
n: Nietzsche g(x): x é grego e(x,y): x é mais esperto que y
p: Platão p(x): x é filósofo w(x,y): x escreveu y
10. Seja D = {a, b}. Determine o valor lógico das sentenças abaixo para a seguinte
interpretação:
p(a, a) p(a, b) p(b, a) p(b, b)
V F F V
2
(f) ∀x, p(x, x).
11. Verifique quais argumentos abaixo são válidos e quais são inválidos, apresentando
um contra-exemplo no caso dos inválidos.
(a) “ Todo atleta é forte. Todo aquele que for inteligente e forte terá sucesso em
sua carreira. Peter é um atleta. Peter é inteligente.” Mostre que Peter terá
sucesso na carreira.
(b) “Se um curso é fácil, alguns estudantes no curso são felies. Se um curso tem
exame, nenhum estudante no curso é feliz” . Mostre que, se um curso tem
exame, o curso não é fácil.
∀x, p(x) →∼ q(x); ∀x, f (x) → q(x); ∀x, r(x) → p(x) ` ∀x, p(x) →∼ f (x)
(a) ∀x, p(x) → q(x); ∀x, r(x) → p(x) ` ∀x, r(x) → q(x)
3
(b) ∀x, p(x) ` ∀x, p(x) ∨ q(x)
(c) (∃x, f (x)) → ∀y, g(y) → h(y); (∃x, j(x)) → ∃x, g(x) ` (∃x, f (x) ∧ j(x)) → ∃z, h(z)
(d) ∃x∀y, p(x, y) ` ∀y∃x, p(x, y)
(e) ∃x, f (x)∧ ∼ g(x) ` ∀x, f (x) → g(x)
(f) ∀x, p(x) → q(x); ∃x, p(x) ∧ r(x) ` ∃x, q(x) ∧ r(x)
(g) (∃x, f (x)) ∨ (∃x, g(x)) ` ∃x, f (x) ∨ g(x)
(h) ∀x, q(x) → r(x); ∃x, p(x) ∧ q(x) ` ∃x, p(x) ∧ r(x)
(i) ∀x, f (x) → (g(x) ∨ h(x)); ∀x, ∼ g(x) ` (∀x, f (x)) → ∀x, h(x)
(j) ∼ ∃x, p(x) ∧ q(x); ∃x, p(x) ∧ r(x) ` ∃x, r(x)∧ ∼ q(x)