形式表示

形式逻辑中此定律表达形式：

在集合论中：

详细解释

在经典命题逻辑的外延中，此二元性依然有效（即对于任意的逻辑运算符，我们都能找他它的对偶），由于存在于调节否定关系的恒等式中，人们总会引入作为一个算符的德摩根对偶的另一个算符。这导致了基于传统逻辑的逻辑学的一个重要性质，即否定范式的存在性：任何公式等价于另外一个公式，其中否定仅出现在作用于公式中非逻辑的原子时。否定常型的存在推进了许多应用，例如在数字电路设计中该性质用于操纵逻辑门，以及在形式逻辑中该性质是寻找一个公式的合取范式和析取范式的必要条件；电脑程序员们则用它们将一个类似于IF ... AND (... OR ...) THEN ... 这样的复杂语句转变为其对等形式；它们也同样经常用于初等概率论中的计算。

我们将基于基本命题 p , q 的任意命题算符P( p , q , ...)的对偶定义为：

该概念可以推广到逻辑量词上，例如全称量词和存在量词互为对偶：

为对德摩根定律叙述这些量词的二元性，设置一个在其域 D 中具有少量元素的模型，例如

则

以及

但，应用德摩根定律，

以及

检验模型中量词的二元性。

从而，量词的二元性可进一步延伸到模态逻辑中的方块和菱形算符：

在其用于可能性和必然性的真势模态的应用中，亚里士多德注意到该情况，以及在正规模态逻辑的情况中，这些模态算符对量化的关系可借助按关系语义设置模型来理解。

参见

布尔代数主题列表

注释与参考资料

引用

“应注意到一个析取命题的对立命题是由该析取命题各部分的对立内容构成的一个合取命题” ——奥卡姆的威廉著，《逻辑学论文》

参考文献

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。