Lista de símbolos:
⇒ Condicional
⇔ Bicondicional
∧ Conector “e”
∨ Conector “ou”
⊻ Conector “ou” exclusivo
¬ Negação da proposição
Se chove, então faz frio. Se faz frio, então João toma chocolate quente. Sabe-se
que João não toma chocolate quente. Portanto, é válido concluir que:
