A negação da afirmação condicional "se Ana viajar, Paulo vai viajar" é: