A negação da afirmação “Se Alberto visitou todos os Estados, então ele sabe o nome de todas as capitais” é logicamente equivalente à