Se vale A, então vale B. Se vale B, então vale C. Se vale C,...
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: