Unidade Acadêmica de Graduação - UAGRAD

Atividade Acadêmica: 093915 – Lógica

Modalidade: A Distância
Prof.: Mônica Py

Questões da atividade sobre as Regras dos Quantificadores

Questões propostas na atividade. Formalize e prove os argumentos abaixo, usando as letras sugeridas.

1. Existe um time de futebol que não faz gol. Todo mundo que joga futebol faz gol. Todo mundo ou joga
futebol ou joga pedrinha na água. Portanto, existe um time de futebol que joga pedrinha na água.
Use a notação:
T(x) para ”x é um time de futebol”
G(x) para ”x faz gol”
J(x) para ”x joga futebol”
P(x) para ”x joga pedrinha na água”

Resposta: ∃x (T (x) ∧ ¬G(x)), ∀x (J (x) → G(x)), ∀x (J (x) ∨ P (x)) ` ∃x (T (x) ∧ P (x))

Resposta:
1 ∃x (T (x) ∧ ¬G(x)) P
2 ∀x (J (x) → G(x)) P
3 ∀x (J (x) ∨ P (x)) P
4 T (a) ∧ ¬G(a) 1, pe
5 J (a) → G(a) 2, pu
6 ¬G(a) → ¬J (a) 5, cont
7 ¬G(a) 4, sp
8 ¬J (a) 6, 7, mp
9 J (a) ∨ P (a) 3, pu
10 P (a) 8, 9, sd
11 T (a) 4, sp
12 T (a) ∧ P (a) 10, 11, cj
13 ∃x (T (x) ∧ P (x)) 12, ge

Resposta:
1 ∃x (T (x) ∧ ¬G(x)) P
2 ∀x (J (x) → G(x)) P
3 ∀x (J (x) ∨ P (x)) P
4 T (a) ∧ ¬G(a) 1, pe
5 J (a) → G(a) 2, pu
6 J (a) ∨ P (a) 3, pu
7 ¬G(a) 4, sp
8 T (a) 4, sp
9 ¬J (a) 5, 7, mt
10 P (a) 6, 9, sd
11 T (a) ∧ P (a) 8, 10, cj
12 ∃x (T (x) ∧ P (x)) 11, ge
Unidade Acadêmica de Graduação - UAGRAD
Atividade Acadêmica: 093915 – Lógica
Modalidade: A Distância
Prof.: Mônica Py

2. Quem é vulcano é federado. Ninguém que seja federado é romulano. Spock é vulcano. Portanto, Spock é
federado e nenhum vulcano é romulano.
Use a notação:
V(x) para ”x é um vulcano”
F(x) para ”x é um federado ”
R(x) para ”x é um romulano ”
s para ”Spock
Resposta: ∀x (V (x) → F (x), ∀y (F (y) → ¬R(y)), V (s) ` F (s) ∧ ∀x (V (x) → ¬R(x))
Resposta:
1 ∀x (V (x) → F (x) P
2 ∀y (F (y) → ¬R(y)) P
3 V (s) P
4 V (s) → F (s) 1, pu
5 F (s) → ¬R(s) 2, pu
6 F (s) 3, 4, mp
7 V (s) → ¬R(s) 4, 5, sh
8 ∀x (V (x) → ¬R(x)) 7, gu
9 F (s) ∧ ∀x (V (x) → ¬R(x)) 6, 8, cj