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

蕴含等值式: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://blog.csdn.net/canba/article/details/6604244

转载于:https://www.cnblogs.com/qzhforthelife/archive/2012/10/28/2743550.html

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

离散数学蕴含等值式前件为假命题为真的理解
蕴含等值式:P->Q<=>~PvQ,如何理解P为假时,P->Q为真命题? 蕴含式P->Q表示,如果P那么Q,显然:如果P为真则Q为真,P→Q是真命题,当P为真命题,而Q为 ...
离散数学基本等值式
提示:图片像素够大(2878 x 3451),可直接保存欢迎转载!如转载请附上本文地址若您在上文发现了错误,请在评论区处反馈,谢谢!
【数理逻辑】命题逻辑 ( 等值演算 | 幂等律 | 交换律 | 结合律 | 分配律 | 德摩根律 | 吸收率 | 零律 | 同一律 | 排中律 | 矛盾律 | 双重否定率 | 蕴涵等值式 ... )
文章目录一.等值演算二.等值式三.基本等值式四.基本运算五.等值演算基于上一篇博客 [数理逻辑]命题逻辑 ( 命题与联结词回顾 | 命题公式 | 联结词优先级 | 真值表可满足式矛盾式 ...
【数理逻辑】谓词逻辑 ( 谓词逻辑基本等值式 | 消除量词等值式 | 量词否定等值式 | 量词辖域收缩扩张等值式 | 量词分配等值式 )
文章目录一. 消除量词等值式二. 量词否定等值式三. 量词辖域收缩扩张等值式四. 量词分配等值式一. 消除量词等值式消除量词等值式 : 有限个体域 D={a1,a2,⋯,an}D ...
离散数学——基本等价式、基本蕴含式
离散数学--基本等价式.基本蕴含式基本等价式对合律 E1 交换律 E2 E3 结合律 E4 E5 分配律 E6 E7 德 · 摩根律 E8 E9 幂等律 E10 E11 单位元律 E12 E13 ...
【数理逻辑】谓词逻辑 ( 判断一阶谓词逻辑公式真假 | 解释 | 示例 | 谓词逻辑公式类型 | 永真式 | 永假式 | 可满足式 | 等值式 )
文章目录一. 判断谓词逻辑公式真假 ( 语义 ) 二. 谓词逻辑 "解释" 三. 谓词逻辑 "解释" 示例四. 谓词逻辑公式类型一. 判断谓词逻辑公式真假 ...
离散数学-一阶逻辑等值式与置换规则
一阶逻辑等值式一阶逻辑等值式除了前面的十六组二十四个等值式之外,在引入量词之后,进而有了几组量词相关的等值式,下面对其作重点介绍. 1.量词否定等值式 (1) ¬∀xA(x) <=> ...
【数理逻辑】谓词逻辑 ( 前束范式 | 前束范式转换方法 | 谓词逻辑基本等值式 | 换名规则 | 谓词逻辑推理定律 )
文章目录一. 前束范式二. 前束范式转换方法三. 前束范式示例四. 谓词逻辑推理定律一. 前束范式公式 AAA 有如下形式 : Q1x1Q2x2⋯QkxkBQ_1 x_1 Q_2 x_2 ...
真亦假时假亦真，假亦真时真亦假
真亦假时假亦真,假亦真时真亦假! 到处充满着迷雾,你看不清,就不知道当中有陷阱,一旦踏入陷阱那就意味着你要花更大的代价才有可能脱离,甚至有的是你一辈子也挣脱不了的,所以,我们需要看清本源,透过现象看本 ...
脑残式网络编程入门(八)：你真的了解127.0.0.1和0.0.0.0的区别？
本文由"小姐姐养的狗"原创发布于"小姐姐味道"公众号,原题<127.0.0.1和0.0.0.0地址的区别>,收录时有优化和改动.感谢原作者的分享. ...

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

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

最新文章

热门文章