\exists x \

2018-09-21

  声明:百科词条人人可编辑,词条创建和修改均免费,绝不存在官方及代理商付费代编,请勿上当受骗。详情

  在命题逻辑逻辑代数中,德·摩根定律(或称德·摩根定理)是关于命题逻辑规律的一对法则。

  德·摩根定律在数理逻辑的定理推演中,在计算机的逻辑设计中以及数学集合运算中都起着重要的作用。

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

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

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

  “对所有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)不成立’)”

  上述公式可以这样用:(x-(x+1))=x-(x+1)=-x((x+1)-1)=xx=0。

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

  \neg(P\wedge Q)=(\neg P)\VEE(\neg Q)

  \neg(P\vee Q)=(\neg P)\wedge(\neg Q)

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

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

  \forall x \, P(x) \equiv \neg \exists x \, \neg P(x),

  \exists x \, P(x) \equiv \neg \forall x \, \neg P(x).

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

  \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).

  “存在。

相关文章

扫描秒速赛车二维码分享到微信

在线咨询
联系电话

400-888-8888