Altair é uma pessoa bastante sistemática. Se é segunda-feira, então ele usa camisa vermelha. Com base nisso, qual das seguintes afirmações é verdadeira?

Gabarito

D

Comentário do professor

Temos a informação: se é segunda-feira, então Altair usa camisa vermelha. Em lógica, escrevemos isso como \(S \rightarrow R\), onde \(S\) = "é segunda-feira" e \(R\) = "usa camisa vermelha".

A forma logicamente equivalente a uma implicação é a sua contrapositiva. A contrapositiva de \(S \rightarrow R\) é \( \neg R \rightarrow \neg S\), ou seja: se não está de camisa vermelha, então não é segunda-feira.

Razão curta: assumir que não está de vermelho e, ainda assim, ser segunda-feira, contradiz a premissa \(S \rightarrow R\). Logo, a conclusão obrigatória é \(\neg S\). Portanto, a alternativa D está correta.