Considere verdadeira a seguinte proposição: “Se hoje é terça-feira, então hoje eu não trabalho.” Essa proposição é equivalente à proposição

Gabarito

D

Comentário do professor

Considere P = "hoje é terça‑feira" e Q = "hoje eu trabalho". A proposição do enunciado é \(P \rightarrow \neg Q\) (se P, então não Q).

A forma logicamente equivalente de uma condicional é a sua contrapositiva, obtida por: negar antecedente e consequente e inverter as posições.

Aplicando isso a \(P \rightarrow \neg Q\), negamos e trocamos: a contrapositiva é \(Q \rightarrow \neg P\), isto é, "Se hoje eu trabalho, então hoje não é terça‑feira".

Como condicional e sua contrapositiva têm sempre o mesmo valor lógico, a alternativa apresentada é a equivalente correta ao enunciado.