Click to edit Master title styleClick to edit Master text stylesgood1Second levelgood2Third levelgood3Fourth levelgood4Fifth levelgood5离散数学Click to edit Master title styleClick to edit Master text sty
Level 1Level 2Level 3Level 4Level 5Click to edit Master title style第1章 命题逻辑 命题逻辑 逻辑是研究推理的科学 数理逻辑是用数学方法研究推理的形式结构和推理规律的数学学科由于它使用一套符号来表达各种推理的逻辑关系因此数理逻辑又称为符号逻辑 从广义上讲数理逻辑包括集合论模型论递归论证明论和命题演算谓词演算但本书只研究两个
单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级第一篇 数理逻辑第一章 命题逻辑§1.1命题符号化及其联结词 §1.1.1 命题 命 题 真 值 原子命题
单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级离 散 数 学(命题逻辑)Discrete Mathematics(Logic of Prepositions)计算机科学与技术及相关专业专业基础课程 (讲习文稿)主讲教师:段禅伦课程讲习文稿主要参考书籍1.国家精品课程主讲教材: 屈婉玲耿素云张立昂(北京大学). 离散数学.高等教育出版社. 2008年3月.2.国家精品课程
单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级命题逻辑习题课参考答案一.命题符号化P:天下雪Q:我将去镇上R:我有时间(1) 如果天不下雪且我有时间那么我将去镇上 (?P∧R)→Q(2) 我将去镇上仅当我有时间Q→R(3)天下雪那么我不去镇上P→?Q(4) 或者你没有给我写信或者它在途中丢失了 显然这里的或者是不可兼取的或 令 P:你给我写信Q:信在途中丢失了
单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级习题课-命题逻辑(1)主要内容命题真值简单命题与复合命题命题符号化联结词? ? ? ? ?及复合命题符号化命题公式及层次公式的类型真值表及应用1习题课-命题逻辑(1)基本要求深刻理解各联结词的逻辑关系 熟练地将命题符号化会求复合命题的真值深刻理解合式公式及重言式矛盾式可满足式等概念熟练地求公式的真值表并用它求公式的成真赋值与成
#
3例符号串:(((P∧(Q∨R))→(Q∧(S∨R)))) (P∧Q) (P→((P∧Q))) (((P→Q)∧(R→Q))?(P→R)) 等都是命题公式 符号串: (P→Q)∧Q)(P→Q (P∨Q∨(R P∨Q∨ 等都不是合法的命题公式定义:如公式A是公式B的一部分则称A是B的子公式Q18
例题(直接法)
. -吴扬扬制-. -吴扬扬制-4? P∧T 分配律 ?(┐A∨┐B∨A)∧(B∨┐B∨A)9例: 构造(P∧Q)→R的真值表例:构造P∨┐P的真值表0 00 11 01 1?
违法有害信息,请在下方选择原因提交举报