Considerando que os símbolos ¬, ∧, →, ∀ e ∃ representam nega...

Próximas questões
Com base no mesmo assunto
Q3120593 Raciocínio Lógico
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?
Alternativas