Considere a seguinte proposição composta: "Se o projeto é aprovado e o orçamento é liberado, então a execução começa imediatamente". A negação lógica dessa proposição é: