///
Lista de símbolos:
⇒ Condicional
⇔ Bicondicional
∧ Conector “e”
∨ Conector “ou”
∨ Conector “ou” exclusivo
¬ Negação da proposiçãoSe Marcos estuda, então Marcos passa na prova. Se Marcos passa na prova, então sua família fica feliz. Sabe-se que a família de Marcos não está feliz. Portanto, conclui-se que: