Questão 604812

se Mariana não chegar, então Antônio dormirá.

se Mariana não chegar, então Antônio não dormirá.

se Antônio dormir, então Mariana chegou.

se Antônio não dormir, então Mariana chegou.

se Antônio não dormir, então Mariana não chegou.