Question

Seja x uma variável e E uma fórmula, se x ocorre em E dentro do escopo de um quantificador, diz-se que a variável é do tipo:


predicada


quantificada


nenhuma das alternativas anteriores


livre


ligada

Answer 1

Acho que o enunciado traz a definição de variado ligado