Assinale a alternativa que apresenta uma proposição logicamente equivalente a “Se Mário usa vermelho, então Luigi usa verde”.