Considere a proposição “Se é domingo, eu acordo às 9 horas”. Essa proposição é logicamente equivalente a

Gabarito

Certo

Comentário do professor

“Se é domingo, eu acordo às 9 horas” pode ser formalizada como \(p \rightarrow q\), onde p = “é domingo” e q = “eu acordo às 9h”.

A alternativa correta apresenta a contrapositiva: negar ambos os termos e inverter a ordem, obtendo \( \neg q \rightarrow \neg p\).

Razão: uma condicional \(p \rightarrow q\) é falsa apenas quando \(p\) é verdadeira e \(q\) é falsa; a contrapositiva também será falsa exatamente nessa mesma situação, logo têm a mesma tabela-verdade e são logicamente equivalentes.

Traduzindo de volta: \( \neg q \rightarrow \neg p\) corresponde a “Se eu não acordo às 9h, então não é domingo”, que conserva exatamente a mesma validade lógica da proposição original.