Questão 917177

917177 Ano: 2014
Disciplina: Raciocínio Lógico
Banca: UNIRIO
Orgão: UNIRIO

Provas:

Analista de TI - Desenvolvimento
Provas ×

Lógica ProposicionalContingência, Contradição e Tautologia

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

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.

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

Provas

Questão presente nas seguintes provas

Analista de TI - Desenvolvimento

70 Questões

Provas

Analista de TI - Desenvolvimento

Acesse sua Conta

Crie uma Conta