1. (UNIRIO - 2014) Com relação à fórmula ∀ y ((p(x) ∧ ∃ x ((p(y) ∨ q(x))) da lógica dos predicados, em que x e y são variáveis e que p e q são pred...

1. (UNIRIO - 2014) Com relação à fórmula ∀ y ((p(x) ∧ ∃ x ((p(y) ∨ q(x))) da lógica dos predicados, em que x e y são variáveis e que p e q são predicados unários, pode-se afirmar que: Tanto a primeira quanto a segunda ocorrência da variável x são ligadas, já que elas pertencem ao escopo do quantificador existencial. A variável y é livre, já que ela pertence, apenas, ao escopo do quantificador existencial. A primeira ocorrência da variável x é livre, já que ela não é quantificada. O quantificador existencial pode ser movido para imediatamente depois do quantificador universal, já que o significado da fórmula não se alteraria.