Considere que “¬”, “∧”, “∨” e “→” são, respectivamente, símbolos para a negação (“não”), conjunção (“e”), disjunção

 ENADE - QUESTÃO 34

Considere que “¬”, “∧”, “∨” e “→” são, respectivamente, símbolos para a negação (“não”), conjunção (“e”), disjunção (“e/ou”) e para o condicional material (“se..., então...”) e que “∀” e “∃” são, respectivamente, o quantificador universal e o quantificador existencial. Considere, ainda que “Px”, “Qx”, “Rx” e “Sx” são predicados monádicos (ou de aridade 1) e que as fórmulas “∀x[Px → (Qx ∨ Rx)]” e “∀x¬(Qx ∨ Rx)” são premissas de um argumento. As conclusões dedutíveis dessas premissas estão contidas nas fómulas

I ∀x(Px → ¬Sx).

II ¬∃x¬Px.

III ∃x(Qx ∨ Qx).

IV ∀x¬(Px ∧ Sx).

V ∃x(Rx ∧ Rx).

Estão certos apenas os itens

A) I e III.

B) I e IV.

C) II e IV.

D) II e V.

E) III e V.

QUESTÃO ANTERIOR:

GABARITO:
B) I e IV.

RESOLUÇÃO:
Não temos resolução para essa questão! Você sabe explicar? Copie o link dessa página e envie sua resolução clicando AQUI!

PRÓXIMA QUESTÃO:

QUESTÃO DISPONÍVEL EM:

Nenhum comentário:

Tecnologia do Blogger.