A proposição “se Catarina é turista, então Paulo é estudante” é logicamente equivalente a