1) Se Ana dorme, então Marcus trabalha. 2) Ana dirige o ca...

Negação do --> pode ser: Ana não dorme OU Marcos não trabalha.

Difícil adivinhar o que a questão quer, pois a proposição é verdadeira, mas não é equivalente e nem a negação.

p-->q não equivale a: ~q -->~p

Equivalência lógica do "Se... Então"

Macete: Nega tudo e inverte.

Proposição 1: Se Ana dorme, então Marcus trabalha.

Equivalência lógica: Se Marcus não trabalha, então Ana não dorme.

Senhores, a questão não quer nem equivalência e nem negação.

Ela quer saber se vc pode garantir que a preposição dada é também verdadeira.

Ela afirma que a preposição 1 é verdadeira.

1) Se Ana dorme, então Marcus trabalha

P--->Q

Logo podemos ter:

V --> V

F --> V

F --> F

Para todos esses casos a preposição será verdadeira (lembrando que V --> F é falso)

Com essas opções é possível garantir que a preposição sugerida será tbm verdadeira?

Não.

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

~P --> ~Q

Se usarmos a opção F --> V na primeira preposição, a preposição sugerida será falsa, pois teremos V --> F.

Sendo assim, é impossível garantir a veracidade da preposição sugerida.

Alternativa INCORRETA.