离散数学第二

离散数学第二Tag内容描述：<p>1、Page 49 第17题解：（1）令P：李明学习努力；Q：李明成绩好；R：李明不热衷于玩扑克；（2）已知条件符号化，即PQ：如果李明学习努力，那么他成绩好；RP：如果李明不热衷于玩扑克，那么他就努力学习；（3）所求结论符号化，即QR：李明成绩不好，所以李明热衷于玩扑克；（4）证明：原命题符号化为PQ，RP QR；PQP规则；RPP规则；RQT规则；QRT规则；QRT规则；（5）得证。Page 50 第32题 （2）解： P(P(Q(QR)； P(P(Q(QR)； PQR；主合取范式为：PQR；因为 PQR。</p><p>2、目录（数理逻辑）,第一章 命题演算基础 （6学时） 第二章 命题演算的推理理论（4学时） 第三章 谓词演算基础（5学时） 第四章 谓词演算的推理理论（5学时） 第五章 递归函数论（4学时）,第二章 命题演算的推理理论,例 判断下面各推理是否正确: (1) 如果天气凉快,小王就不去游泳。 天气凉快, 所以小王没去游泳。 (2) 如果天气凉快,小王就不去游泳。 天气不凉快, 所以小王去游泳了。,推理是否正确： 形式化,引入符号： P表示天气凉快， Q表示小王去游泳 (1)如果天气凉快,小王就不去游泳。天气凉快, 所以小王没去游泳。 (PQ)P)Q (2)如果天气。</p><p>3、第二章 命题演算的推理理论,2.1 命题演算的公理系统 2.2 命题演算的假设推理系统 2.2.1 假设推理系统的组成 2.2.2 假设推理系统的推理过程 2.3 命题演算的归结推理法,22 命题演算的假设推理系统,假设推理系统：由于它的推理形式类似于日常生活中的推理形式， 也称为自然推理系统。,2.2.1 假设推理系统的组成,一、扩充的推理规则 二、假设推理过程 三、推理定理 四、假设推理证明定理的方法,一、扩充的推理规则,分离规则的推广 A1，A2，AnA (2) 肯定前提律 A1，A2，A3，An Ai,分离规则的推广,设有如下的推理规则 R：若A1，A2，An ， 可以推。</p><p>4、此文档收集于网络 仅供学习与交流 如有侵权请联系网站删除 2 13 设解释I为 个体域DI 2 3 6 一元谓词F X X3 G X X5 R X X7 在I下求下列各式的真值 1 x F x G x 解 x F x G x F 2 G 2 F 3 G 3 F 6 G 6 23 25 33 35 63 65 1 0 1 0 0 0 000 0 2 x R x F x G 5 解 x R x F x。</p><p>5、1,第 2 讲,2,上讲回顾,命题概念及其判定 五种基本联结词的真值表含义(特别是异或联结词和单条件联结词) 利用命题联结词实现语句符号化,3,本讲内容,命题公式概念;命题公式的真值表;命题公式的基本类型; 命题公式等价的定义及其判定; 常用的基本等价公式; 置换规则; 对偶原理;,4,命题公式,命题公式 命题常元：表示确定的命题T，F。 命题变元：没有指定真值的命题。常用大写英文字母表示。 命。</p>