离散数学蕴含式的问题

如何理解数理逻辑中的蕴含？

P→Q它表示自然语言的“如果…，则…”这种假言判断的,如果P为真命题，Q也为真命题时，P→Q是真命题，当P为真命题，而Q为假命题时，P→Q是一个假命题。比如张三说，“如果明天天不下雨(P)，那么他去你家玩(Q)”,如果第二天天不下雨，他去了你家，他说了真话(P→Q为真)，如果天不下雨，但他没有去你家，显然他说了谎话(此时P→Q为假)。

但是当P为假时，无论此时Q是真命题还是假命题，P→Q的真假好象无法判断，又如第二天天下雨了，无论此时张三去不去你家，无法判断张三说的话的真伪，但是他并没有食言，从这种意义上说，张三说的话仍为真，这称为“善意推定”，因此我们规定，将P为假这种情况一律规定P→Q为真，例如命题“如果2+3=4，则太阳从东边出来”， “如果2+3=4，则太阳从西边出来”，均认为是真命题，考虑数学中的一个例子， “如果x>2，则x+1≥3”，显然这个命题对任意实数x均是成立的，但当x分别取值3,2,1时，上面命题分别为“如果3>2，则3+1≥3”， “如果2>2，则2+1≥3”， “如果1>2，则1+1≥3”，由此可见，当且仅当P为真，Q为假时，P→Q才为假，其余情况均为真.

人们创造了这种符号语言，规定了联结词的意义，正象规定了当且仅当P为真，Q为假时，P→Q为假，这是规定，正如我们规定了非零数的零次幂等于1一样，这种规定有它的合理性，如果当P为假时，一律规定P→Q为假，或者规定此时P→Q没有意义，可以不可以呢？可以，但是这种规定会给我们带来许多麻烦，如数学上的规定一个集合A的元均是集合B的元，则称A是B的子集，如果A是空集，它没有元，如果按“善意推定”原则，空集的元均是集合B的元，故得空集是任何集合的子集，如果不按“善意推定”原则，就需对空集另外处理。

http://hi.baidu.com/lca001/blog/item/dcc0fc3420aaac1c91ef394c.html

离散数学蕴含式的问题相关推荐

离散数学——基本等价式、基本蕴含式
离散数学--基本等价式.基本蕴含式基本等价式对合律 E1 交换律 E2 E3 结合律 E4 E5 分配律 E6 E7 德 · 摩根律 E8 E9 幂等律 E10 E11 单位元律 E12 E13 ...
【离散数学】重要等价公式和重言蕴含式
文章目录等价公式说明重言蕴含式说明等价公式 ¬ ¬ P ⇔ P ¬¬P⇔P ¬¬P⇔
离散数学蕴含等值式前件为假命题为真的理解
蕴含等值式:P->Q<=>~PvQ,如何理解P为假时,P->Q为真命题? 蕴含式P->Q表示,如果P那么Q,显然:如果P为真则Q为真,P→Q是真命题,当P为真命题,而Q为 ...
离散数学复习三：广义交、广义并、蕴含式的真值表
广义并的定义广义交的定义指标集为空时,广义交.并的情况蕴含式的真值表
机器学习中，如何判断蕴含式值的真假？
今天在机器学习碰到了概念学习的知识,里面涉及了很多离散数学的概念,因此挑比较重点.难点的地方来总结一下. 设P.Q为两个命题,我们称P->Q为一个蕴含式,那么真值表如下所示: P Q P-> ...
如何理解蕴含式的真假?
蕴含式(AB)的反:
【离散数学】基本重言蕴含式总结
公式 P ∧ Q ⇒ P P\wedge{Q}⇒P P∧Q⇒
离散数学复习笔记——命题逻辑——永真蕴含式
产生式是蕴含式_独栋别墅~下沉式庭院设计
遇见美. 发现美创造美. 成就美有趣.有情奢享生活.创艺空间设计项目概述:这是一套婚房,从设计到装修完毕,历经三年.这是一生幸福开启的地方.一层为会客厅.室内花园.餐厅.茶室.老人房.原始房屋 ...
【离散数学】数理逻辑第一章命题逻辑(3) 逻辑等价与蕴含
本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...

离散数学蕴含式的问题

离散数学蕴含式的问题相关推荐

最新文章

热门文章