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))

Considerando que os símbolos ¬, ∧, →, ∀ e ∃ representam negação, conjunção, implicação,...

Utilizamos cookies e tecnologias semelhantes para aprimorar sua experiência de navegação. Política de Privacidade.