Raciocínio lógicoTabelas-verdade tautologia contradição e contingência

• (UNIRIO 2014)

Com relação à fórmula ∀y(P(x) ∧ ∃x(P(y) ∨ Q(x))) da lógica dos predicados, onde x e y são variáveis e P e Q são predicados unários, pode-se afirmar que


A) tanto a primeira quanto a segunda ocorrência da variável x são ligadas, já que elas pertencem ao escopo do quantificador existencial.

B) a variável y é livre, já que ela pertence, apenas, ao escopo do quantificador existencial.

C) a primeira ocorrência da variável x é livre, já que ela não é quantificada.

D) o quantificador existencial pode ser movido para imediatamente depois do quantificador universal, já que o significado da fórmula não se alteraria.

E) o quantificador existencial não pode ser movido para imediatamente antes da subfórmula Q(x), pois o significado da fórmula seria alterado.


Próximo:
EXERCÍCIOS - Exercício 71

Vamos para o Anterior: Exercício 69

Tente Este: Exercício 14

Primeiro: Exercício 1

VOLTAR ao índice: Raciocínio lógico