Uma comissão de auditoria elaborou o seguinte procedimento para análise de conformidade de um processo administrativo: "Se o orçamento for aprovado, então a contratação será autorizada." Na revisão do documento, foi solicitado identificar uma proposição logicamente equivalente à original, preservando rigorosamente o seu valor lógico em qualquer situação. Qual proposição é equivalente à afirmação apresentada?