Assinale a alternativa que indica uma afirmação que corresponda à uma negação lógica da afirmação a seguir:
Se o código está correto, então o programa roda, ou, se a ideia inicial não funciona, então desistiremos desse caminho.