Universidade Federal do Rio Grande do Sul INF05508 – Lógica para Computação

Instituto de Informática 2017/2

Departamento de Informática Teórica André Grahl Pereira

Prova 2
Data: 14/12/2017

Nome: Cartão:

Questão 1 - Árvore Sintática e Substituição - (0.5 pontos).

Para cada fórmula φ abaixo e sua respectiva substituição φ[t/x] apresente: a árvore sintática de φ, indique quais ocorrências
de variáveis de φ são ligadas e quais são livres e a árvore sintática da nova fórmula φ[t/x] após a substituição.

(a) S(x) ∧ ∀y(P (x) → Q(y))[m(y, y)/x].

S ∀y

x →

P Q

x y

Temos que a variável x é livre em ambas as ocorrências e a variável y é ligada. A substituição não é possı́vel.

(b) (∀x(P (x) ∧ Q(x))) → (¬P (x) ∨ Q(y))[f (x, y)/x].

∀x ∨

∧ ¬ Q

P Q P y

x x x

Temos que a variável y é livre e x é ligada nas duas primeiras ocorrências e livre na terceira.

∀x ∨

∧ ¬ Q

P Q P y

x x f

x y

Questão 2. - Semântica - (0.5 pontos).

Considere um conjunto de funções F = {a}, onde a possui aridade 1 e um conjunto de predicados P = {W, B, U }, onde W e
B possuem aridade 1, e U possui aridade 2 com o seguinte modelo M = (F, P) tal que:

• U = {g, v, z, h}.
Universidade Federal do Rio Grande do Sul INF05508 – Lógica para Computação
Instituto de Informática 2017/2
Departamento de Informática Teórica André Grahl Pereira

• W M = {g, z}.
• B M = {v, h}.
• U M = {(h, g), (g, v), (v, z)}.
• aM = {h 7→ v, v 7→ h, g 7→ z, z 7→ g}.

Para as seguintes afirmações assinale V (verdadeiro) ou F (falso).

(a) (V) M  ∀xa(a(x)) = x.

(b) (V) M  ∀x∀ya(x) = y → ((W (x) ∧ W (y)) ∨ (B(x) ∨ B(y))).
(c) (V) M  ∀x∃y(U (y, x) ∨ U (a(y), a(x))).
(d) (V) M  (∀xW (x)) → (∃y∃z(B(y) ∧ B(z) ∧ U (y, x) ∧ U (x, z))).

Questão 3. - Corretude, Completude e Decidibilidade - (1.0 ponto).

Suponha que é apresentado um algoritmo para Dedução Natural que decide ` φ para Lógica de Proposicional e para Lógica
Predicados. Qual a consequência desse resultado para a decidibilidade da Lógica de Proposicional e para a decidibilidade da
Lógica Predicados? Justifique sua resposta.
Para Lógica Proposicional nada muda pois ela já é decidı́vel. A Lógica de Predicados se tornaria decidı́vel, pois a Dedução
Natural é correta, ou seja se ` Φ então  Φ.

Questão 4 - Dedução Natural - (5.5 pontos).

Prove os seguintes sequentes usando dedução natural:

(a) (0.5 pontos) - ∀x(P (x) → ∀yQ(x, y)) ` P (a) → ∀xQ(a, x).

1 ∀x(P (x) → ∀yQ(x, y)) PREMISSA

2 P (a) HIPÓTESE
3 x0
4 P (a) → ∀yQ(a, y) ∀xe 1
5 ∀yQ(a, y) →e 4,2
6 Q(a, x0 ) ∀ye 5
7 ∀xQ(a, x) ∀xi 3-6
8 P (a) → ∀xQ(a, x) →i 2-7

(b) (1 ponto) - ∀x(P (x) → Q(x)), ∀x(R(x) → P (x)) ` ∀x(R(x) → Q(x)).

1 ∀x(P (x) → Q(x)) PREMISSA

2 ∀x(R(x) → P (x)) PREMISSA
3 x0
4 R(x0 ) HIPÓTESE
5 P (x0 ) → Q(x0 ) ∀xe 1
6 R(x0 ) → P (x0 ) ∀xe 2
7 P (x0 ) →e 6,4
8 Q(x0 ) →e 5,7
9 R(x0 ) → Q(x0 ) →i 4-8
10 ∀x(R(x) → Q(x)) ∀xi 3-9

(c) (1 ponto) - ∀x(P (x) → ¬Q(x)), ∃x(P (x) ∧ R(x)) ` ∃x(R(x) ∧ ¬Q(x)).
Universidade Federal do Rio Grande do Sul INF05508 – Lógica para Computação
Instituto de Informática 2017/2
Departamento de Informática Teórica André Grahl Pereira

1 ∀x(P (x) → ¬Q(x)) PREMISSA

2 ∃x(P (x) ∧ R(x)) PREMISSA
3 x0 P (x0 ) ∧ R(x0 ) HIPÓTESE
4 P (x0 ) → ¬Q(x0 ) ∀xe 1
5 P (x0 ) ∧e1 3
6 R(x0 ) ∧e2 3
7 ¬Q(x0 ) →e 4,5
8 R(x0 ) ∧ ¬Q(x0 ) ∧i 6,7
9 ∃x(R(x) ∧ ¬Q(x)) ∃xi 8
10 ∃x(R(x) ∧ ¬Q(x)) ∃xe 2,3-9

(d) (2 pontos) - ∃x(A(x) ∨ B(x)), (∃xA(x)) → (∀x(C(x) → B(x))), ∃xC(x) ` ∃xB(x).

1 ∃x(A(x) ∨ B(x)) PREMISSA

2 (∃xA(x)) → (∀x(C(x) → B(x))) PREMISSA
3 ∃xC(x) PREMISSA
4 x0 A(x0 ) ∨ B(x0 ) HIPÓTESE
5 A(x0 ) HIPÓTESE
6 ∃xA(x) ∃xi 5
7 ∀x(C(x) → B(x)) →e 2,6
8 x1 C(x1 ) HIPÓTESE
9 C(x1 ) → B(x1 ) ∀xe 7
10 B(x1 ) →e 8,9
11 ∃xB(x) ∃xi 10
12 ∃xB(x) ∃xe 3,8-11
13 B(x0 ) HIPÓTESE
14 ∃xB(x) ∃xi 13
15 ∃xB(x) ∨e 4,5-12,13-14
16 ∃xB(x) ∃xe 1,4-15

(e) (2 pontos) - ∀x(B(x) → C(x) ∧ D(x)) ` (∀x(A(x) → B(x))) → (∀x(A(x) → D(x))).

1 ∀x(B(x) → C(x) ∧ D(x)) PREMISSA

2 ∀x(A(x) → B(x))) HIPÓTESE
3 x0
4 A(x0 ) HIPÓTESE
5 B(x0 ) → C(x0 ) ∧ D(x0 ) ∀xe 1
6 A(x0 ) → B(x0 ) ∀xe 2
7 B(x0 ) →e 6,4
8 C(x0 ) ∧ D(x0 ) →e 5,7
9 D(x0 ) ∧e2 8
10 A(x0 ) → D(x0 ) →i 4-9
11 ∀x(A(x) → D(x)) ∀xi 3-10
12 (∀x(A(x) → B(x))) → (∀x(A(x) → D(x))) →i 2-11
Universidade Federal do Rio Grande do Sul INF05508 – Lógica para Computação
Instituto de Informática 2017/2
Departamento de Informática Teórica André Grahl Pereira

Questão 5 - Árvore de Refutação - (2.5 pontos).

Prove ou refute os sequentes utilizando Árvore de Refutação, mostre todos os ramos abertos. Mostre pelo menos um
contra-exemplo em caso de refutação. Lembre de concluir sobre a validade do sequente.

(a) (1.25 pontos) - ∃x(A(x) ∧ ¬B(x)), ∀x(C(x) → B(x)) ` ∃x(C(x) ∧ ¬A(x)).

1 ∃x(A(x) ∧ ¬B(x))

2 ∀x(C(x) → B(x))

3 ¬∃x(C(x) ∧ ¬A(x))

4 ∀x¬(C(x) ∧ ¬A(x)) ¬∃ 3

5 A(x0 ) ∧ ¬B(x0 ) ∃1

6 C(x0 ) → B(x0 ) ∀2

7 ¬(C(x0 ) ∧ ¬A(x0 )) ∀4

8 A(x0 ) ∧5

9 ¬B(x0 ) ∧5

10 ¬C(x0 ) B(x0 ) →6

11 ¬C(x0 ) ¬¬A(x0 ) × ¬∧ 7
12  A(x0 ) ¬¬ 11

Logo, o sequente NÃO é válido. Contra-exemplo U = {x0 }, A = U, B = C = ∅.

(b) (1.25 pontos) - ∀x(A(x) → (B(x) ∨ C(x))), ∀x(B(x) → (C(x) ∧ D(x))) ` ∀x(A(x) → D(x)).

1 ∀x(A(x) → (B(x) ∨ C(x)))

2 ∀x(B(x) → (C(x) ∧ D(x)))

3 ¬∀x(A(x) → D(x))

4 ∃x¬(A(x) → D(x)) ¬∀ 3

5 ¬(A(x0 ) → D(x0 )) ∃4

6 A(x0 ) → (B(x0 ) ∨ C(x0 )) ∀1

7 B(x0 ) → (C(x0 ) ∧ D(x0 )) ∀2

8 A(x0 ) ¬→5

9 ¬D(x0 ) ¬→5

10 ¬B(x0 ) C(x0 ) ∧ D(x0 ) →7

11 D(x0 ) ∧ 10
12 ¬A(x0 ) B(x0 ) ∨ C(x0 ) × →6

13 × B(x0 ) C(x0 ) ∨ 12
× 
Logo, o sequente NÃO é válido. Contra-exemplo U = {x0 }, A = C = U, B = D = ∅.