Escolar Documentos
Profissional Documentos
Cultura Documentos
Prova 2
Data: 21/06/2018
Nome: Cartão:
(b) (V) O sistema de provas da Dedução Natural é correto para Lógica de Predicados.
(c) (V) A seguinte fórmula possui duas variáveis livres ∀x(P (x) ∧ Q(x)) → ¬P (x) ∨ Q(y).
(d) (V) A seguinte substituição é possı́vel ∀y(R(a, b, x) → ∃x(Q(x) ∧ P (y)))[f (x)/x].
• U = {m, a0 , l0 , l1 , l2 , s, a1 }.
• P M = {m, a0 , l0 , l1 }.
• DM = {l2 , s, a1 }.
• M M = {(s, l2 ), (a1 , l2 )}.
• LM = {(m, l2 ), (m, s), (m, a1 ), (l0 , a1 ), (l1 , l2 ), (a0 , l2 ), (a0 , s)}.
p q p∨q p
0 0 0 0
0 1 1 0
1 0 1 1
1 1 1 1
(d) (1.5 pontos) - ∀x∀y(P (x, y) → Q(x) ∧ R(y)), ∀x∀y(Q(x) ∨ S(y) → ¬P (x, y)) ` ¬∃x∃yP (x, y).
2 ∀x(¬C(x) ∨ B(x))
3 ¬∃x¬(C(x) → A(x))
4 ∀x¬¬(C(x) → A(x)) ¬∃ 3
5 A(a) ∧ ¬B(a) ∃1
6 ¬¬(C(a) → A(a)) ∀4
7 C(a) → A(a) ¬¬ 6
8 ¬C(a) ∨ B(a) ∀2
9 A(a) ∧5
10 ¬B(a) ∧5
11 ¬C(a) B(a) ∨8
12 ¬C(a) A(a) × →7
13
(b) (1.25 pontos) - ` ¬(∀x∀y∀z((P (x, z) → P (y, z)) → Q(x, y)) ∧ ¬∃y∀x(Q(x, x) ∨ R(y))).
1 ¬¬(∀x∀y∀z((P (x, z) → P (y, z)) → Q(x, y)) ∧ ¬∃y∀x(Q(x, x) ∨ R(y)))
4 ¬∃y∀x(Q(x, x) ∨ R(y)) ∧2
5 ∀y¬∀x(Q(x, x) ∨ R(y)) ¬∃ 4
6 ¬∀x(Q(x, x) ∨ R(y0 )) ∀5
7 ∃x¬(Q(x, x) ∨ R(y0 )) ¬∀ 6
8 ¬(Q(x0 , x0 ) ∨ R(y0 )) ∃7
9 ¬Q(x0 , x0 ) ¬∨ 8
10 ¬R(y0 ) ¬∨ 8
15 P (x0 , x0 ) ¬ → 14 ×
16 ¬P (x0 , x0 ) ¬ → 14
×