Uma afirmação logicamente equivalente à afirmação a seguir: ‘Se todas as partes do código estão corretas, então a lógica está errada ou a lógica não resolve o problema’ está contida na alternativa: