德摩根公式是什么?

德摩根公式是什么?,第1张

通用叫法为“ 德摩根定律 ” 。

发展历程与表达形式,奥古斯都·德·摩根首先发现了在命题逻辑中存在着下面这些关系:

非(P 且 Q)=(非 P)或(非 Q)

非(P 或 Q)=(非 P)且(非 Q)

德·摩根的发现影响了乔治·布尔从事的逻辑问题代数解法的研究,这巩固了德·摩根作为该规律的发现者的地位,尽管亚里士多德也曾注意到类似现象、且这也为古希腊与中世纪的逻辑学家熟知(引自Bocheński《形式逻辑历史》)。

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

eg(P wedge Q)=(eg P) vee(eg Q)

eg(P vee Q)=(eg P) wedge(eg Q)

在集合论中:

(A cap B)^C=A^C cup B^C

(A cup B)^C=A^C cap B^C.

在经典命题逻辑的外延中,此二元性依然有效(即对于任意的逻辑运算符,我们都能找他它的对偶),由于存在于调节否定关系的恒等式中,人们总会引入作为一个算符的德·摩根对偶的另一个算符。这导致了基于传统逻辑的逻辑学的一个重要性质,即否定范式的存在性:任何公式等价于另外一个公式,其中否定仅出现在作用于公式中非逻辑的原子时。

否定常型的存在推进了许多应用,例如在数字电路设计中该性质用于 *** 纵逻辑门,以及在形式逻辑中该性质是寻找一个公式的合取范式和析取范式的必要条件;电脑程序员们则用它们将一个类似于IF ... AND (... OR ...) THEN ... 这样的复杂语句转变为其对等形式;它们也同样经常用于初等概率论中的计算。

扩展资料:

联言命题,实际上就是“且”关系,比如“高富帅”,表示同时都成立;选言命题,实际上是“或”关系,比如“老幼病残孕”,表示至少满足一个。解题时考生必须掌握“且”和“或”命题的否定。

比如,不是“高富帅”的人应该是至少满足“不高”、“不富”、“不帅”其中一项,即¬(高且富且帅)=¬高或¬富或¬帅,这样看来去掉括号后,每一项都要变,相当于“¬”分给了每一项,同时“且”变“或”,这一 *** 作可简称为“变变变”。

那么,不是“老幼病残孕”指的是不满足老、幼、病、残、孕中任何一项,即¬(老或幼或病或残或孕)=¬老且¬幼且¬病且¬残且孕,同样也是去括号后分“¬”号,同时“或”变“且”。

综上,德摩根就是“去括号,分‘¬’号,且变或,或变且”。

参考资料:德·摩根定律-百度百科

1、德摩根定律是属于逻辑学的定律, 德摩根定律(或称摩根定律)是形式逻辑中有关否定所描述的系统方式中的逻辑运算符对偶对的一系列法则,由此引出的关系也就被称为“德摩根二重性”。所以公式是,非(P 且 Q)=(非 P)或(非 Q) ,非(P 或 Q)=(非 P)且(非 Q)。

2、摩根定律的实质即为拆添括号,在负号拿进拿出的过程中,还要注意∧与∨的变号。例如非(P 且 Q)=(非 P)或(非 Q) ,非(P 或 Q)=(非 P)且(非 Q)变化为,—(p∧q)=—p∨—q,—(p∨q)=—p∧—q,从这个条件推出的结论中如果出现矛盾,则可以断定此条件为假,反之则为真。


欢迎分享,转载请注明来源:内存溢出

原文地址: http://outofmemory.cn/zaji/5819423.html

(0)
打赏 微信扫一扫 微信扫一扫 支付宝扫一扫 支付宝扫一扫
上一篇 2023-02-02
下一篇 2023-02-02

发表评论

登录后才能评论

评论列表(0条)

保存