Imagem de fundo

Se vale A, então vale B. Se vale B, então vale C. Se vale...

Lista de símbolos:


⇒ Condicional

⇔ Bicondicional

∧ Conector “e”

∨ Conector “ou”

∨ Conector “ou” exclusivo

¬ Negação da proposição

Se vale A, então vale B. Se vale B, então vale C. Se vale C, então vale D. Sabe-se que não vale D. Disso pode-se concluir que:


A

Vale C, vale B, vale A.


B

Não vale C, não vale B, vale A.


C

Não vale C, vale B, não vale A.


D

Não vale C, não vale B, não vale A.


E

Não vale C, vale B, vale A.