Se chove, então faz frio. Se faz frio, então João toma choco...
Lista de símbolos:
Condicional
Bicondicional
^ Conector “e”
v Conector “ou”
v 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: