Considere a afirmação:
• Se a procura é exaustiva, então o problema não tem solução.
Uma afirmação que corresponda à negação lógica dessa afirmação é