离散1.1-2.ppt

* 例 C= (p?q) ??r 的真值表 p q r p?q ?r (p?q)??r 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 0 * 公式的类型 定义 设A为一个命题公式 (1) 若A无成假赋值，则称A为重言式(也称永真式) (2) 若A无成真赋值，则称A为矛盾式(也称永假式) (3) 若A不是矛盾式，则称A为可满足式 注意：重言式是可满足式，但反之不真. 上例中A为重言式，B为矛盾式，C为可满足式 A= (q?p)?q?p，B =?(?p?q)?q，C= (p?q)??r 真值表－－判断命题公式类型的一种方法 * 主要内容 数理逻辑 集合论 代数结构 图论 组合分析初步 形式语言和自动机初步 * 教材与教学参考书 教材： 耿素云、屈婉玲、张立昂，离散数学（第三版），清华大学出版社, 2004. 教学参考书： 屈婉玲、耿素云、张立昂，离散数学题解（修订版），清华大学出版社，2004. * 数理逻辑部分 第1章 命题逻辑 第2章 一阶逻辑 * 第1章 命题逻辑 1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 对偶与范式 1.5 推理理论 * 1.1 命题符号化及联结词 命题与真值 原子命题 复合命题 命题常项 命题变项 联结词 * 命题与真值 命题: 判断结果惟一的陈述句 命题的真值: 判断的结果 真值的取值: 真与假 真命题: 真值为真的命题 假命题: 真值为假的命题 注意: 1.感叹句、祈使句、疑问句都不是命题； 2.陈述句中的悖论不是命题； 3.判断结果不惟一确定的不是命题 * 例 下列句子中那些是命题？ (1) 是无理数. (2) 2 + 5 ＝8. (3) x + 5 ＞ 3. (4) 你有铅笔吗？ (5) 这只兔子跑得真快呀！ (6) 请不要讲话！ (7) 我正在说谎话. 真命题 假命题 真值不确定 疑问句 感叹句 祈使句 悖论 (3)~(7)都不是命题 * 例 下列句子中那些是命题？ (8)明年10月1日是晴天. (9) 地球外的星球上也有人. （10）11＋1＝100. （8）、（9）的真值虽然现在还不知道，但它的真值是唯一的，因而是命题。 （10）在二进制中为真，在十进制中为假，需根据上下文才能确定其真值，因而不是命题。 * 命题的分类 1.简单命题(原子命题) 简单构成的命题 (不能分解成更简单的陈述句) 简单命题的真值是确定的，又称为命题常项或命题常元 2.复合命题 由简单命题与联结词按一定规则复合而成的命题 3.命题变项（命题变元） 真值不确定的陈述句，如:x+35 注意：命题变元不是命题！ * 简单命题符号化 用小写英文字母 p, q, r, … ,pi,qi,ri (i≥1）表示 简单命题 用“1”表示真，用“0”表示假 例如，令 p： 是有理数，则 p 的真值为 0 q：2 + 5 = 7，则 q 的真值为 1 命题变项： 也用小写英文字母 p, q, r, … ,pi,qi,ri (i≥1）表示 * 联结词与复合命题 1.否定式与否定联结词“?” 定义 设p为命题，复合命题 “非p”（或 “p的否定”）称 为p的否定式，记作?p，符号?称作否定联结词 ?p 为真当且仅当p为假 2.合取式与合取联结词“∧” 定义 设p,q为二命题,复合命题“p并且q”(或“p与q”)称 为p与q的合取式，记作p∧q，∧称作合取联结词，并规 定 p∧q为真当且仅当p与q同时为真 注意：描述合取式的灵活性与多样性 分清简单命题与复合命题 * 例 将下列命题符号化. (1) 王晓既用功又聪明. (2) 王晓不仅聪明，而且用功. (3) 王晓虽然聪明，但不用功. (4) 张辉与王丽都是三好生. (5) 张辉与王丽是同学. 解 令 p：王晓用功，q：王晓聪明，则 (1) p∧q (2) p∧q (3) q ∧? p. * 例 (续) 令 r : 张辉是三好学生，s