Question

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

Answer 1

Resposta:

Olá

Explicação:

Segue na respectiva ordem

1. x,y livres

2. y livres

3. x livre

4. Variável não livre

Bons estudos.

Answer 2

Resposta:

Boa noite

Explicação:

A resposta correta é

1. x,y livres

2. y livres

3. x livre

4. Variável não livre