Em uma conversa, João afirmou corretamente que “não é verdade que Ana nunca fez uma viagem”. Dessa forma, é necessariamente verdade que Ana