Questão de Raciocínio Lógico — Tautologia, Contradição e Contingência — UNIRIO 2014
Raciocínio LógicoTautologia, Contradição e Contingência
- Código
- qq096753
- Banca
- UNIRIO
- Órgão
- UNIRIO
- Ano
- 2014
- Nível
- Superior
- Cargo
- Analista Tecnologia da Informação - Desenvolvimento de Sistemas
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
- Atanto a primeira quanto a segunda ocorrência da variável x são ligadas, já que elas pertencem ao escopo do quantificador existencial.
- Ba variável y é livre, já que ela pertence, apenas, ao escopo do quantificador existencial.
- Ca primeira ocorrência da variável x é livre, já que ela não é quantificada.
- Do quantificador existencial pode ser movido para imediatamente depois do quantificador universal, já que o significado da fórmula não se alteraria.
- Eo quantificador existencial não pode ser movido para imediatamente antes da subfórmula Q(x), pois o significado da fórmula seria alterado.