合式公式的真值。双重否定除去是经典逻辑里的一个定理，但不是直觉逻辑里的。因为直觉逻辑在结构上的偏好，「不是没有正在下雨」此一陈述比「正在下雨」要弱。后者需要有下雨的证明，而前者只需要证明下雨不会矛盾。（此一差别亦出现在自然语言的反叙法之中。）在集合论里也有符合此性质的补集否定运算：集合A和集合 (A)（这里的A表A的补集）是相同的。