Se estudo, então passo na prova. Se passo na prova, então so...
Lista de símbolos:
Condicional
Bicondicional
^ Conector “e”
v Conector “ou”
v Conector “ou” exclusivo
¬ Negação da proposição
Se estudo, então passo na prova. Se passo na prova, então sou nomeado. Se sou nomeado, então vou trabalhar em Salto do Jacuí. Sabe-se que não vou trabalhar em Salto do Jacuí. Disso pode-se concluir que: