A seguinte sentença: “Se Fabiana usa batom vermelho, então ela é linda” é logicamente equivalente a: