- 61
- 0
- 约4.62千字
- 约 50页
- 2017-03-11 发布于广东
- 举报
离散数学第一章ppt课件.ppt
第一章 命题逻辑基本概念 4. 蕴涵式与蕴涵联结词“?” 定义1.4 设p, q为二命题,复合命题“如果p, 则q”称作p与q的蕴涵式,记作p?q,并称p是蕴涵式的前件,q为蕴涵式的后件,?称作蕴涵联结词,并规定,p?q为假当且仅当p为真q为假. 例 设p:天冷,q:小王穿羽绒服,将下列命题符号化 (1)只要天冷,小王就穿羽绒服. (2)因为天冷,所以小王穿羽绒服. (3)若小王不穿羽绒服,则天不冷. (4)只有天冷,小王才穿羽绒服. (5)除非天冷,小王才穿羽绒服. (6)除非小王穿羽绒服,否则天不冷. (7)如果天不冷,则小王不穿羽绒服. (8)小王穿羽绒服仅当天冷的时候. 注意: p?q与?q??p等值(真值相同) (1),(2),(3),(6)符号化为p?q 其余的符号化为q?p 5. 等价式与等价联结词“?” 定义1.5 设p,q为二命题,复合命题“p当且仅当q”称作p与q的等价式,记作p?q,?称作等价联结词. 并规定?为真当且仅当p与q同时为真或同时为假. (1)?p?q的逻辑关系:p与q互为充分必要条件 (2)?p?q为真当且仅当p与q同真或同假 例 求下列复合命题的真值 (1)2 + 2 = 4当且仅当3 + 3 = 6. (2)2 + 2 = 4当且仅当3 是偶数. (3)2 + 2 = 4当且仅当太阳从东方升起. (4)2 + 2 = 4当且仅当美国位于非洲. 它们的真值是显而易见的. 例:列(p∧q)∧﹁p,(p∨q)∨﹁p的真值表 第一章 习题课 §1.2 命题公式及其赋值 (1) 单个命题常项或变项p,q,r,…,0,1是合式公式; (2) 如果A是合式公式,则(? A)也是合式公式; (3) 如果A,B是合式公式,则(A?B),(A?B),(A?B),(A?B)是合式公式 (4) 只有有限次地应用(1)-(3)组成的符号串才是合式公式。 1、合式公式: 一、合式公式、命题公式 例 用定义说明下列字符串是否为合式公式 (p?(p?q) (p?q)?r pq?r 解题思想:严格按定义判断,但习惯上可以省去外层括号。 2.合式公式的层次 定义1.7 (1)若公式A是单个的命题变项,则称A为0层合式. (2)称A是n+1(n≥0)层公式是指下面情况之一: (a) A=?B, B是n层公式; (b) A=B?C, 其中B,C分别为i层和j层公式,且n=max(i,j); (c) A=B?C, 其中B,C的层次及n同(b); (d) A=B?C, 其中B,C的层次及n同(b); (e) A=B?C, 其中B,C的层次及n同(b). (3)若公式A的层次为k, 则称A为k层公式. 例:公式A=p, B=?p, C=?p?q, D=?(p?q)?r, E=((?p?q) ?r) ?(?r?s) 分别为0层,1层,2层,3层,4层公式. 3.命题公式:由命题常项、命题变项、联结词、括号等组成的符号串。 一个符号串是否为命题公式看它是否为合式公式。 二、命题公式的解释或赋值与真值表: 由A的真值将每次赋值分为成真赋值和成假赋值。 定义1.8 设A为一命题公式,p1,p2,…,pn为 出现在A中的所有的命题变项。p1,p2,…pn指 定一组真值,就是对A的一个赋值或解释。 1.公式的赋值 几点说明: 赋值?=?1?2…?n之间不加标点符号,?i=0或1. A中仅出现p1,p2,…,pn,给A赋值?1?2…?n是指p1=?1, p2=?2, …, pn=?n A中仅出现p, q, r, …, 给A赋值?1?2?3…是指p=?1, q=?2 , r=?3 … 含n个变项的公式有2n个赋值. 易知000, 010, 101, 110是?(p?q)?r的成真赋值,而001, 011, 100, 111是成假赋值. 2、真值表(定义1.10):将含有n个命题变项的命题公式按字典顺序进行2n组赋值后所得真值表,称为该命题公式的真值表。 简言之,A的取值情况列成的表。 构造真值表的步骤: (1) 将变元按一定顺序排出,再按从内到外的顺序列出公式的各个运算层次,将它们排在表头上; (2) 如有n个变元,则所有可能的赋值有2n组,每组可用n位的二进制数表示,按字典顺序每行排一组 (3) 在表上由左到右列填写相应的真值。 例 列命题公式(p?(p?q))?q的真值表 p q p?q p?(p?q) ((p?(p?q))?q 0 0 0 1 1 0 1 1 1 0 1 1 0 1 0 0 1 1 1 1 几点说明 熟练之后,真值表的中间有些层次可不写 真值表的用途 ??? (1)有了公
您可能关注的文档
最近下载
- 2026年渤海船舶职业学院单招《数学》真题含答案详解AB卷.docx VIP
- 三年级下册语文生字表词语表.docx VIP
- 2025年国际胰腺病学会急性胰腺炎修订指南解读PPT课件.pptx VIP
- 广东省深圳市坪山区2025-2026学年九年级上学期期末考试物理试题(含答案).pdf VIP
- 三角函数的诱导公式复习.ppt VIP
- 学堂在线《大学生心理健康》课后作业单元考核答案.docx VIP
- 病历复印封存制度.docx VIP
- 2025年二手车数字化交易平台跨境业务拓展机遇.docx
- 病历封存及复印申请书模板.docx VIP
- 2025年信息系统安全专家安全策略宣贯与落地策略专题试卷及解析.pdf VIP
原创力文档

文档评论(0)