通用叫法为“ 德摩根定律 ”
发展历程与表达形式
奥古斯都·德·摩根首先发现了在命题逻辑中存在着下面这些关系:
非(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 ... 这样的复杂语句转变为其对等形式;它们也同样经常用于初等概率论中的计算。
我们将基于基本命题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.
在计数时,必须注意无一重复,无一遗漏。为了使重叠部分不被重复计算,人们研究出一种新的计数方法,这种方法的基本思想是:先不考虑重叠的情况,把包含于某内容中的所有对象的数目先计算出来,然后再把计数时重复计算的数目排斥出去,使得计算的结果既无遗漏又无重复,这种计数的方法称为容斥原理。
温馨提示:答案为网友推荐,仅供参考