Em um determinado Complexo Educacional (CE), há estudantes (x) que cursam Matemática (M) e estudantes que cursam Física (F). Considera as seguintes afirmações:
I - para todo estudante do Complexo Educacional, cada um está matriculado em, pelo menos, um curso.
II - existe, pelo menos, um estudante do Complexo Educacional que está matriculado nos cursos de Matemática e Física ao mesmo tempo.
A alternativa que expressa essas afirmações I e II com o uso de símbolos e quantificadores lógicos é:
- A ∀x CE(x) ⇒ M(x) ∨ F(x) ∃x M(x) ∧ F(x)
- B ∀x ( CE(x) ⇔ M(x) ∨ F(x) ) ∃! x ( M(x ) ∧ F(x) )
- C ∀x ( CE(x) ⇒ M(x) ∧ F(x) ) ∃x ( M(x) ∨ F(x) )
- D ∀x ( CE(x) ⇔ M(x) ∧ F(x) ) ∃! x ( M(x ) ∨ F(x) )
- E ∀x ( CE(x) ⇒ M(x) ∨ F(x) ) ∃x ( M(x) ∧ F(x) )