离散数学ch01.pdfVIP

1 第一部分 数理逻辑 主要内容  命题逻辑基本概念  命题逻辑等值演算  命题逻辑推理理论  一阶逻辑基本概念  一阶逻辑等值演算与推理 2 第一章命题逻辑的基本概念 主要内容  命题与联结词 命题及其分类 联结词与复合命题  命题公式及其赋值 3 1.1 命题与联结词 命题与真值 命题：判断结果惟一的陈述句 命题的真值：判断的结果 真值的取值：真与假 真命题与假命题 注意： 感叹句、祈使句、疑问句都不是命题 陈述句中的悖论，判断结果不惟一确定的不是命题 4 命题概念 例1 下列句子中那些是命题？ (1) 2是有理数. 假命题 (2) 2 + 5 = 7. 真命题 (3) x + 5 3. 不是命题 (4) 你去教室吗？ 不是命题 (5) 这个苹果真大呀！ 不是命题 (6) 请不要讲话！ 不是命题 (7) 2050年元旦下大雪. 命题，但真值现在不知道 5 命题分类 命题分类：简单命题（也称原子命题）与复合命题 简单命题符号化  用小写英文字母p , q, r, …, p , q , r (i1)表示简单命题 i i i  用“1”表示真，用“0”表示假 例如，令 p ： 是有理数，则p 的真值为0， 2 q ：2 + 5 = 7，则q 的真值为1 6 否定、合取、析取联结词 定义1.1 设p 为命题，复合命题“非p ”(或“p 的否定”)称 为p 的否定式，记作p ，符号称作否定联结词. 规定p 为真当且仅当p 为假. 定义1.2 设p,q 为两个命题，复合命题“p 并且q”(或“p 与 q”)称为p 与q 的合取式，记作p ∧q，∧称作合取联结词. 规定p ∧q为真当且仅当p 与q 同时为真. 定义1.3 设p , q为两个命题，复合命题“p 或q”称作p 与q 的 析取式，记作p ∨q，∨称作析取联结词. 规定p ∨q为假当 且仅当p 与q 同时为假. 7 合取联结词的实例 例2 将下列命题符号化. (1) 吴颖既用功又聪明. (2) 吴颖不仅用功而且聪明. (3)