性质命题的否定等值是指什么？

性质命题的否定等值是指，将一个性质命题取反后得到的命题与原命题的否定构成的复合命题，它们的真值总是相等的。例如，命题“所有猫都有尾巴”可以表示为∀x(Cat(x)→HasTail(x))，它的否定为∃x(Cat(x)∧¬HasTail(x))，而取反后得到的命题为∃x(Cat(x)∧¬HasTail(x))→¬∀x(Cat(x)→HasTail(x))，这个复合命题与原命题的否定∃x(Cat(x)∧¬HasTail(x))总是具有相同的真值。