因此在经典逻辑中的否定满足“双重否定律”: ¬¬"A" 等价于 "A"。一般在非经典逻辑中，满足双重否定律的的否定叫做对合性的。在代数语义中，这样的否定被实现为在逻辑真值的代数上对合。有对合性否定的逻辑的例子有 Kleene 和 Bochvar 的三值逻辑、Łukasiewicz 多值逻辑、模煳逻辑 IMTL 等。对合性否定有时作为额外的连结词而增加到有非对合性否定的逻辑中；比如形式模煳逻辑。否定的对合性是逻辑和对应的代数簇的重要特征性质。例如，对合性否定从Heyting代数中特征化出了布尔代数。相