Questão 1470814

• Banca: UNIRIO
• Órgão: UNIRIO
• Ano: 2014
• Provas: UNIRIO - 2014 - UNIRIO - Analista Tecnologia da Informação - Desenvolvimento de Sistemas
• Disciplina: Raciocínio Lógico
• Assuntos: Tautologia, Contradição e Contingência

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.

Gabarito: C

Comentários

• A questão deveria ser anulada pois o "para todo" só é usado com "se então".