Raciocínio lógicoProposições categóricas

• (Quadrix 2019)

1) Se Ana dorme, então Marcus trabalha. 2) Ana dirige o carro ou Marcus não pega um ônibus.

Considerando que as proposições acima sejam verdadeiras, julgue o item

Se Marcus não trabalha, então Ana não dorme.