Question

Lógica

Encontre as fórmulas que apresentam variáveis livres:
1. ∀x.(p(x) → ∃y.¬q(f(x), y, f(y)))
2. ∀x(∃y.r(x, f(y)) → r(x, y))
3. ∀z.(p(z) → ∃y.(∃x.q(x, y, z) ∨ q(z, y, x)))
4. ∀z∃u∃y.(q(z, u, g(u, y)) ∨ r(u, g(z, u)))
5. ∀z∃x∃y(q(z, u, g(u, y)) ∨ r(u, g(z, u)))

Answer 1

Resposta:

Olá

Explicação:

Temos na respectiva ordem que:

1. não tem varável livre.

2. y livre

3. x livre

4. sem varável livre

5. u livre

Bons estudos

Answer 2

Resposta:

Boa noite

Explicação:

Segue as seguintes respostas:

1. não tem varável livre.

2. y livre

3. x livre

4. sem varável livre

5. u livre