双重否定除去是
命题逻辑中的推理规则，允许通过除去或导入一对否定来导出等价公式，属于逻辑学领域的术语。该规则基于“现在没有下雨是错的”与“现在正在下雨”的语义等价性，在
合式公式中可用A替换~~A而不改变真值。
双重否定除去是
经典逻辑里的一个定理，但不是直觉逻辑里的。因为直觉逻辑在结构上的偏好，“不是没有正在下雨”此一陈述比“正在下雨”要弱。后者需要有下雨的证明，而前者只需要证明下雨不会矛盾。（此一差别亦出现在自然语言的反叙法之中。）
在集合论里也有符合此性质的
补集否定运算：集合 A 和集合 (AC)C （这里的 AC 表 A 的补集）是相同的。