1
Q3567239
Teclas de Atalhos
Compartilhar
Considerando que os símbolos ¬, ∧, →, ∀ e ∃ representam negação, conjunção, implicação, quantificador universal e quantificador existencial, respectivamente; considerando, ainda, as informações ∀x(S(x)→A(x)) e ∃x(S(x)∧¬E(x)), ambas verdadeiras, qual das alternativas apresenta uma contradição em relação a essas informações?
A
∀x(S(x)→A(x))
B
∃x(S(x) ∧ A(x))
C
∃x(S(x) ∧ E(x))
D
∀x(S(x)→¬E(x))
E
∀x(S(x)→¬A(x))