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 é: