Imagem de fundo

Considere as seguintes proposições: I. Todo A é B. II...

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:


A

Algum A é C.


B

Algum D pode ser A.


C

Algum A é D.


D

Todo A é D.


E

Nenhum A é D.