///
Lista de símbolos:
⇒ Condicional
⇔ Bicondicional
∧ Conector “e”
∨ Conector “ou”
∨Conector “ou” exclusivo
¬ Negação da proposição
Considere as seguintes proposições:
I. Todo A é B.
II. Alguns de B são C.
III. Nenhum C é D.
Disso, pode-se concluir que: