王朝百科
分享
 
 
 

德摩根定理

王朝百科·作者佚名  2010-02-16  
宽屏版  字体: |||超大  

德摩根定理

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

发展历程与表达形式

奥古斯都·德·摩根首先发现了在命题逻辑中存在着下面这些关系:

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

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

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

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

eg(Pwedge Q)=(

eg P)vee(

eg Q)

eg(Pvee Q)=(

eg P)wedge(

eg Q)

在集合论中:

(Acap B)^C=A^Ccup B^C

(Acup B)^C=A^Ccap B^C.

有关于交集,并集和补集的关系:

Cu(A∩B)=CuA∪CuB

Cu(A∪B)=CuA∩CuB

注:u表示全集.

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

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

eg mbox^d(

eg p,

eg q, ...).

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

forall x , P(x) equiv

eg exists x ,

eg P(x),

“对所有x,P(x)皆成立”等价于“不存在x,使P(x)不成立”;

exists x , P(x) equiv

eg forall x ,

eg P(x).

“存在x,使P(x)成立”等价于“并非对所有x,P(x)都不成立”。

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

D = {a, b, c}.

forall x , P(x) equiv P(a) wedge P(b) wedge P(c)

“对所有x,P(x)成立”等价于“P(a)成立”且“P(b)成立”且“P(c)成立”

以及

exists x , P(x) equiv P(a) vee P(b) vee P(c).

“存在x,使P(x)成立”等价于“P(a)成立”或“P(b)成立”或“P(c)成立”

但,应用德·摩根定律,

P(a) wedge P(b) wedge P(c) equiv

eg (

eg P(a) vee

eg P(b) vee

eg P(c))

“‘P(a)成立’且‘P(b)成立’且‘P(c)成立’”等价于“非(‘P(a)不成立’或‘P(b)不成立’或‘P(c)不成立’)”

以及

P(a) vee P(b) vee P(c) equiv

eg (

eg P(a) wedge

eg P(b) wedge

eg P(c)),

“‘P(a)成立’或‘P(b)成立’或‘P(c)成立’”等价于“非(‘P(a)不成立’且‘P(b)不成立’且‘P(c)不成立’)”

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

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

Box p equiv

eg Diamond

eg p,

Diamond p equiv

eg Box

eg p.

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

 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
如何用java替换看不见的字符比如零宽空格​十六进制U+200B
 干货   2023-09-10
网页字号不能单数吗,网页字体大小为什么一般都是偶数
 干货   2023-09-06
java.lang.ArrayIndexOutOfBoundsException: 4096
 干货   2023-09-06
Noto Sans CJK SC字体下载地址
 干货   2023-08-30
window.navigator和navigator的区别是什么?
 干货   2023-08-23
js获取referer、useragent、浏览器语言
 干货   2023-08-23
oscache遇到404时会不会缓存?
 干货   2023-08-23
linux下用rm -rf *删除大量文件太慢怎么解决?
 干货   2023-08-08
刀郎新歌破世界纪录!
 娱乐   2023-08-01
js实现放大缩小页面
 干货   2023-07-31
生成式人工智能服务管理暂行办法
 百态   2023-07-31
英语学习:过去完成时The Past Perfect Tense举例说明
 干货   2023-07-31
Mysql常用sql命令语句整理
 干货   2023-07-30
科学家复活了46000年前的虫子
 探索   2023-07-29
英语学习:过去进行时The Past Continuous Tense举例说明
 干货   2023-07-28
meta name="applicable-device"告知页面适合哪种终端设备:PC端、移动端还是自适应
 干货   2023-07-28
只用css如何实现打字机特效?
 百态   2023-07-15
css怎么实现上下滚动
 干货   2023-06-28
canvas怎么画一个三角形?
 干货   2023-06-28
canvas怎么画一个椭圆形?
 干货   2023-06-28
canvas怎么画一个圆形?
 干货   2023-06-28
canvas怎么画一个正方形?
 干货   2023-06-28
中国河南省郑州市金水区蜘蛛爬虫ip大全
 干货   2023-06-22
javascript简易动态时间代码
 干货   2023-06-20
感谢员工的付出和激励的话怎么说?
 干货   2023-06-18
 
>>返回首页<<
 
 
静静地坐在废墟上,四周的荒凉一望无际,忽然觉得,凄凉也很美
© 2005- 王朝网络 版权所有