A proposição “se João ganhou na loteria, então viajou para o Camboja" é logicamente equivalente a: