离散数学蕴含等值式前件为假命题为真的理解

蕴含等值式:P->Q<=>~PvQ,如何理解P为假时，P->Q为真命题？

蕴含式P->Q表示，如果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才为假，其余情况均为真.

原文地址： http://www.itlogger.com/program/1451.html

离散数学蕴含等值式前件为假命题为真的理解相关推荐

离散数学基本等值式
提示:图片像素够大(2878 x 3451),可直接保存欢迎转载!如转载请附上本文地址若您在上文发现了错误,请在评论区处反馈,谢谢!
【数理逻辑】命题逻辑 ( 等值演算 | 幂等律 | 交换律 | 结合律 | 分配律 | 德摩根律 | 吸收率 | 零律 | 同一律 | 排中律 | 矛盾律 | 双重否定率 | 蕴涵等值式 ... )
文章目录一.等值演算二.等值式三.基本等值式四.基本运算五.等值演算基于上一篇博客 [数理逻辑]命题逻辑 ( 命题与联结词回顾 | 命题公式 | 联结词优先级 | 真值表可满足式矛盾式 ...
离散数学-一阶逻辑等值式与置换规则
一阶逻辑等值式一阶逻辑等值式除了前面的十六组二十四个等值式之外,在引入量词之后,进而有了几组量词相关的等值式,下面对其作重点介绍. 1.量词否定等值式 (1) ¬∀xA(x) <=> ...
【数理逻辑】谓词逻辑 ( 谓词逻辑基本等值式 | 消除量词等值式 | 量词否定等值式 | 量词辖域收缩扩张等值式 | 量词分配等值式 )
文章目录一. 消除量词等值式二. 量词否定等值式三. 量词辖域收缩扩张等值式四. 量词分配等值式一. 消除量词等值式消除量词等值式 : 有限个体域 D={a1,a2,⋯,an}D ...
离散数学5_第1章之2 命题公式的等值演算
在写本文之前,先回顾下在离散数学1 ____ 复合命题与联结词一文提到的联结词,共有5种: 否定, 合取, 析取, 条件,双条件. ------------------ 以下讲解等价, 重言式 ...
【数理逻辑】谓词逻辑 ( 判断一阶谓词逻辑公式真假 | 解释 | 示例 | 谓词逻辑公式类型 | 永真式 | 永假式 | 可满足式 | 等值式 )
文章目录一. 判断谓词逻辑公式真假 ( 语义 ) 二. 谓词逻辑 "解释" 三. 谓词逻辑 "解释" 示例四. 谓词逻辑公式类型一. 判断谓词逻辑公式真假 ...
离散数学——基本等价式、基本蕴含式
离散数学--基本等价式.基本蕴含式基本等价式对合律 E1 交换律 E2 E3 结合律 E4 E5 分配律 E6 E7 德 · 摩根律 E8 E9 幂等律 E10 E11 单位元律 E12 E13 ...
【数理逻辑】谓词逻辑 ( 前束范式 | 前束范式转换方法 | 谓词逻辑基本等值式 | 换名规则 | 谓词逻辑推理定律 )
文章目录一. 前束范式二. 前束范式转换方法三. 前束范式示例四. 谓词逻辑推理定律一. 前束范式公式 AAA 有如下形式 : Q1x1Q2x2⋯QkxkBQ_1 x_1 Q_2 x_2 ...
增量式PID的P和I怎么理解（一）
黎明曙光篇之新生增量式PID的P.I理解之推翻篇一.据我所知的资料里关于PID三个参数的理解是这样的:(我这里只说P和I) P的作用:比例P可以加快系统调节速度,P过小调节时间变长,响应性不够,P ...

离散数学蕴含等值式前件为假命题为真的理解

离散数学蕴含等值式前件为假命题为真的理解相关推荐

最新文章

热门文章