Considere a seguinte proposição:

"Se o Município cobra o IPTU e o contribuinte não paga, então é ajuizada execução fiscal e o débito é inscrito na dívida ativa."

A negação lógica correta da proposição acima é: