德摩根定律是什么
在命题逻辑和逻辑代数中,德·摩根定律(或称德·摩根定理)是关于命题逻辑规律的一对法则。
奥古斯都·德·摩根首先发现了在命题逻辑中存在的关系:
非(P且Q) = (非P) 或 (非Q)
非(P或Q) = (非P) 且 (非Q)
德·摩根定律在数理逻辑的定理推演中,在计算机的逻辑设计中以及数学的集合运算中都起着重要的作用。 他的发现影响了乔治·布尔从事的逻辑问题代数解法的研究。这巩固了德摩根作为该规律的发现者的地位,尽管亚里士多德也曾注意到类似现象,且这也为古希腊与中世纪的逻辑学家熟知。该定律也被称作反演律。
定理推广
在经典命题逻辑的外延中,此二元性依然有效(即对于任意的逻辑运算符,我们都能找他它的对偶),由于存在于调节否定关系的恒等式中,人们总会引入作为一个算符的德·摩根对偶的另一个算符。这导致了基于传统逻辑的逻辑学的一个重要性质,即否定范式的存在性:任何公式等价于另外一个公式,其中否定仅出现在作用于公式中非逻辑的原子时。否定常型的存在推进了许多应用,例如在数字电路设计中该性质用于操纵逻辑门,以及在形式逻辑中该性质是寻找一个公式的合取范式和析取范式的必要条件;电脑程序员们则用它们将一个类似于IF ... AND (... OR ...) THEN ... 这样的复杂语句转变为其对等形式;它们也同样经常用于初等概率论中的计算。
我们将基于基本命题p,q的任意命题算符P(p,q,...)的对偶定义为:
.
该概念可以推广到逻辑量词上,例如全称量词和存在量词互为对偶:
,
“对所有x,P(x)皆成立”等价于“不存在x,使P(x)不成立”;
.
“存在x,使P(x)成立”等价于“并非对所有x,P(x)都不成立”。
为对德·摩根定律叙述这些量词的二元性,设置一个在其域D中具有少量元素的模型,例如
D = {a,b,c}.
则
“对所有x,P(x)成立”等价于“P(a)成立”且“P(b)成立”且“P(c)成立”
以及
.
“存在x,使P(x)成立”等价于“P(a)成立”或“P(b)成立”或“P(c)成立”
但,应用德·摩根定律,
.
“‘P(a)成立’且‘P(b)成立’且‘P(c)成立’”等价于“非(‘P(a)不成立’或‘P(b)不成立’或‘P(c)不成立’)”
以及
,
“‘P(a)成立’或‘P(b)成立’或‘P(c)成立’”等价于“非(‘P(a)不成立’且‘P(b)不成立’且‘P(c)不成立’)”
检验模型中量词的二元性。
从而,量词的二元性可进一步延伸到模态逻辑中的方块和菱形算符:
,
.
-
银行存款证明收费标准是多少?
各银行开存款证明的手续费的收费标准存在差异,收费高的银行和收费低的银行的手续费的差异还是很大的,不过大部分的银行开存款证明的手续费都是按20元/份收取的,据了解目前开存款证明手续费较低的银行是中信银行,开存款证明每份只需要10元。...
-
买金首饰保值吗?
买金首饰并不保值。金首饰与黄金不同,金首饰包含了原料、工艺、人力成本等多个方面,其销售价格比同期金价要高。当市场黄金价格上涨时,金首饰销售价格会立即跟着上涨。当市场黄金价格下跌时,首饰商为争取利润往往不会应声下调金首饰销售价格,而会滞后许多。所以金首...
-
企业年金提取的条件是什么?
企业年金提取需要满足的条件如下:1、职工的年龄达到了国家法定的退休年龄,即男65岁,女55岁,可以申请提取企业年金;2、职工因病、或因伤达到了提前退休的条件时,可以申请一次性或者分期领取企业年金;3、职工或退休人员不幸身亡的时候,其指定受益人或法定继承人可以领...
-
支付宝笔笔攒怎么关掉?
支付宝笔笔攒关掉的步骤如下:1、进入支付宝app,点击右下角“我的”→“余额宝”;2、进入页面后,点击“笔笔攒”;3、点击进入后,点击界面右上角的“...”→“设置”→“停止笔笔攒”即可。...