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?
- ✂️
- ✂️
- ✂️
- ✂️
- ✂️