离散数学PowerPoint 演示文稿12.ppt

克拉玛依职业技术学院 制作人:卢自娟 2007年9月10日 第一部分 数理逻辑 引言 数理逻辑主要包括两部分的 内容,命题逻辑和一阶逻辑.命题逻 辑是研究由命题为基本单位构成的 前提和结论之间的可推导关系. 一 阶逻辑又称谓词逻辑. 案例 : 一个公安人员审查一件盗窃案,已知下列事实:(1) 甲或乙盗窃了 DVD (2) 若甲盗窃了DVD,则作案时间不能发 生在午夜前; (3)若乙的证词正确,则午夜时灯光未灭; (4)若乙的证词不正确,则作案时间发生在午夜前; (5)午夜时屋里灯灭了.试问:盗窃DVD的是甲还是乙 主要内容 １.1 命题与联结词 １.2 命题公式与赋值 １.3 等值演算 １.4 析取范式与合取范式 １.5命题逻辑的推理理论 1.1 命题与联结词 １. 命题的概念 所谓命题，是指具有非真必假的陈述句。而疑问句、祈使句和感叹句等因都不能判断其真假，故都不是命题。命题仅有两种可能的真值—真和假，且二者只能居其一真用1或T表示，假用0或F表示。由于命题只有两种真值，所以称这种逻辑为二值逻辑。命题的真值是具有客观性质的，而不是由人的主观决定的。 例1.1 判断下列句子中哪些是命题. (1) 2是素数. (2) x+y9. (3) 太阳从西方升起. (4) 乌鸦是黑色的. (5) 这个男孩多勇敢啊! (6) 明年中秋节的晚上是晴天. (7) 您贵姓? (8) 请把门开开! (9) 地球外的星球上也有生物 如果一陈述句再也不能分解成更为简单的语句，由它构成的命题称为原子命题.原子命题是命题逻辑的基本单位。 命题分为两类，第一类是原子命题，原子命题用大写英文字母P，Q，R…及其带下标的Pi，Qi，Ri，…表示。 例: p: 2是素数 ; q :乌鸦是黑色的. 第二类是复合命题，它由原子命题、命题联结词和圆括号组成。 ２. 命题联结词 定义1.1 设P表示一个命题，由命题联结词l和命题P连接成lP，称lP为P的否定式复合命题， lP读“非P”。称l为否定联结词 (否定联结词“l”的定义可由表1.1.1表示之). 例: P: 10是素数 真值为F lp: 10不是素数 真值为T Q: 5是素数 真值为T lQ 5不是素数 真值为F 由于“否定”修改了命题，它是对单个命题进行操作，称它为一元联结词. 自然语言中,既…又…,不但…而且… 虽然…但是… 等都可以符号化为∧ 例1.3 将下列命题符号化. (1)张路即聪明又用功. (2)张路不仅聪明,而且用功. (3)张路虽然不太聪明,但他很用功. (4)张路不是不聪明,而是不用功, 解 设 P:张路聪明,Q:张路用功. 则(1)到(4)分别符号化P∧Q， P∧Q 　lP∧Q 　，　l（lP）∧lQ 自然语言中的“或”有二义性，有时具有相容性，有时具有排斥性，注意区分． 例1.3 将下列命题符号化 　(1)谢丹生于1972年或1973年. 　(2)吕小洲学过德语或法语． 　(3)派老王或老李中的一人到上海开会. 　　　分析: 上述例题(1) (3)的或为排斥或,而(2)中的或为可兼或. 解 设Ｒ：谢丹生于1972年　 S: 谢丹生于1973年 　 Q: 吕小洲学过德语　　 Ｍ：吕小洲学过法语　 Ｎ：派老王到上海开会　 Ｈ：派老李到上海开会　 则: (1) 可符号化为R∨S ; (2)可符号化为Q∨M ; (3)可符号化为(N∧lH)∨(lN∧H) 1.２ 命题公式与赋值 １. 命题变元 在命题逻辑中，命题又有命题常元和命题变元之分。一个确定的具体的命题，称为命题常元；一个不确定的泛指的任意命题，称为命题变元。 例1.7 求下列命题公式的真值表(1) (p∧lq)→r (3) l (p→q) ∧q∧r(记为A)