离散数学中输出律的证明：(P∧Q→R)恒等于(P→(Q→R))

证明(P∧Q→R)恒等于(P→(Q→R))：
因为： 蕴含式 A->B 的一条性质是：当且仅当 A 真 B 假时，(A->B) 为假

①：所以： (P∧Q→R)可以表述为：当且仅当 (P∧Q) 真R 假时，(P∧Q→R)为假
//(P∧Q) 真等价于 P 真且 Q 真
所以：当且仅当(P真，Q真，R假)时，(P∧Q→R)为假

②：所以：(P→(Q→R))可以表述为：当且仅当 P 真 Q->R 假时，(P→(Q→R))为假
//Q->R 假等价于 Q 真且 R 假（根据第一句蕴含式的性质）
所以：当且仅当(P真，Q真，R假)时，(P→(Q→R))为假

所以：(P∧Q→R)恒等于(P→(Q→R))

离散数学中输出律的证明：(P∧Q→R)恒等于(P→(Q→R))相关推荐

离散数学中集合、关系、群的证明方法（英文证明附例题）
文章目录集合子集关系句式两个集合相等句式例子划分(partition) 句式例子关系关系R的自反性(reflexive)反自反(irreflexive) 句式关系R的对称性(sy ...
离散数学中Warshall算法简析
离散数学中Warshall算法简析最近学了离散数学的图论,突然感觉离散数学的作用十分强大,相信学好离散数学中的算法,编程的魅力也不言而喻.闲话不多说,这篇博客中记录的是Warshall算法的简单解析 ...
离散数学中的联结符号
文章链接:离散数学第一章命题逻辑 1-2 联结词 - emanlee - 博客园 http://www.cnblogs.com/emanlee/archive/2010/08/13/1799088 ...
离散结构和离散数学中文书_在离散数学中对场景执行的操作
离散结构和离散数学中文书 Prerequisite: Set theory and types of set in Discrete Mathematics 先决条件: 离散数学中的集合论和集合类型 ...
多项式插值中的一些定理证明
多项式插值中的一些定理证明期末复习中整理的一些证明多项式插值定理多项式差值误差定理 Hermite插值误差估计定理 Hermite插值存在唯一性定理多项式插值定理若x0,x1,⋯,xnx_0 ...
【数学】《离散数学中“群”的概念》
文章目录离散数学中群的概念群的定义举例几种常见的群群的由来补充群能解决什么问题(行业应用) 离散数学中群的概念群的定义说起群,首先要引出一个更大的概念--代数系统(什么是代数系统就不 ...
除非p否则q 除非P否则非Q 只有p才q 彻底搞懂离散数学命题符号化的逻辑附公务员真题讲解
语句大全你要结婚了,女朋友分别对你说了这几句话,你好好捋一捋 1 如果你给我买钻戒,那么我嫁给你补一下语文: 只有 2 只有你给我买钻戒,我才嫁给你补一下语文: 除非.才补一下语文: 否则 3 ...
习题 6.20 用指向指针的指针的方法对n个整数排序并输出。要求将排序单独写成一个函数。整数和n在主函数中输入。最后在主函数中输出。
C++程序设计(第三版) 谭浩强习题6.20 个人设计习题 6.20 用指向指针的指针的方法对n个整数排序并输出.要求将排序单独写成一个函数.整数和n在主函数中输入.最后在主函数中输出. 代码块: ...
html img调用js,html调用js变量如何在html中输出js文件中的变量
html页面代码中怎么调用js变量?html页面代码中怎么调用js变量,例如在html代码中插入js代码: a=取浏览你把index1.js 中的onReady 去掉,把index1.js改成 fu ...

离散数学中输出律的证明：(P∧Q→R)恒等于(P→(Q→R))

离散数学中输出律的证明：(P∧Q→R)恒等于(P→(Q→R))相关推荐

最新文章

热门文章