De acordo com as regras da lógica, a sentença “Se Maria tem olhos castanhos, então Mário tem olhos azuis” é uma sentença equivalente a: