Para encontrar uma proposição logicamente equivalente à frase "Se Mário usa vermelho, então Luigi usa verde", precisamos entender a forma lógica dessa proposição. Ela pode ser representada como "Se P, então Q", onde P é "Mário usa vermelho" e Q é "Luigi usa verde". A proposição equivalente que estamos procurando é a contrarrecíproca, que é "Se não Q, então não P". Isso significa que, se Luigi não usa verde, então Mário não usa vermelho. Agora, vamos analisar as alternativas: (A) Se Luigi não usa verde, então Mário não usa vermelho. - Esta é a contrarrecíproca e, portanto, é logicamente equivalente. (B) Se Mário usa verde, então Luigi usa vermelho. - Não é equivalente. (C) Mário usa vermelho se, e somente se, Luigi usa verde. - Esta é uma bicondicional, não equivalente. (D) Se Mário não usa vermelho, então Luigi não usa verde. - Esta não é equivalente. A alternativa correta é: (A) Se Luigi não usa verde, então Mário não usa vermelho.