双重否定除去

在命题逻辑里，双重否定除去（或双重否定介入）此一推理规则允许导入（双重否定介入）或除去（双重否定除去）一对否定来导出等价的公式。这是基于如“现在没有下雨是错的” 和“现在正在下雨” 在语义上的等价。