西安电子科技大学考研复试科目-离散数学01命题逻辑a

若一个命题已不能分解成更简单的命题, 则这个命题叫原 子命题或本原命题。 例 1 中(a) , (b) , (d) , (e)都是本原命题, 但(c) 不是, 因为它可写成“2 是偶数”和“3 是奇数”两个命题。 命题和本原命题常用大写字母P , Q , R表示。 如用P表示 “4 是质数”, 则记为 ; P: 4 是质数。 表示命题的符号称为命题标识符。一个命题标识符如果表示确 定的命题，就称为命题常元；如果表示任意命题，就称为命题 变元。命题变元不是命题。可以对命题变元进行指派。
4
……
西安电子科技大学计算机学院 毛立强
lqmao@
课程信息
离散数学是现代数学的一个分支，以离散对象的结 构和相互关系为研究对象。 主要包括数理逻辑、集合论、代数结构和图论四部 分 通过学习本课程，掌握基本的离散信息的组织和管 理方法，了解计算机科学的部分理论基础。 强调逻辑性、抽象性，注重概念、方法与应用。
西安电子科技大学计算机学院 毛立强
14
lqmao@
在代数式x+3 中, x , 3 叫运算对象, +叫运算符, x+3 表示运算结果。在命题演算中, 也用同样术语。联 结词就是命题演算中的运算符, 叫逻辑运算符或叫逻 辑联结词（logic connective） 。常用的有以下 5 个：否定、合取、析取、条件、双条件
22
lqmao@
3. 析取∨ 如果P和Q是命题，那么“P或Q”是一个复合命题，记做P∨Q， 称为P和Q的析取（disjunction）。当且仅当P、Q至少有一个为T 时，P∨Q为T，否则，P∨Q为F。
P 0 0 1 1 Q 0 1 0 1
23
P∨Q 0 1 1 1 西安电子科技大学计算机学院 毛立强
西安电子科技大学计算机学院 毛立强
9
lqmao@
例 2 下述都不是命题: ; (a) x+y＞4。 (b) x=3。 (c) 真好啊! (d) 你去哪里?
(a)和(b)是断言, 但不是命题, 因为它的真值取决于x和y的 值。 (c)和(d)都不是断言, 所以不是命题。
西安电子科技大学计算机学院 毛立强
21
lqmao@
例7 在大多数编程语言中，“与”的定义与“合取”定义相同。例 如Java语言中，（逻辑）“与”记做&&，表达式 x<10 && y>1 为 真当且仅当变量x小于10并且变量y大于1。
西安电子科技大学计算机学院 毛立强
2
lqmao@
课程信息
54学时，27次课 作业与辅导： 考试：闭卷，与平时成绩加权
西安电子科技大学计算机学院 毛立强
3
lqmao@
课程信息
离散数学是计算机相关专业的重要基础课程。
操作系统 数据结构 编译原理 算法分析 数字电路 数据库系统 人工智能
11
西安电子科技大学计算机学院 毛立强
lqmao@
练习： 判断下列语句是否为命题。 （1）雪是黑的。 （2）1＋101＝110 （3）别的星球上有生物。 （4）下课吧？ （5）下课！
西安电子科技大学计算机学院 毛立强
12
lqmao@
西安电子科技大学计算机学院 毛立强
26
lqmao@
7
lqmao@
命题及其表示法
命题 断言是一陈述语句。一个命题（proposition） 是一个或真或假而不能两者都是的断言。如果命题 是真, 我们说它的真值（truth value）为真 （T），如果命题是假, 我们说它的真值是假 （F）。
西安电子科技大学计算机学院 毛立强
8
lqmao@
例 1 下述都是命题: ; (a) 今天下雪 ; (b)能整除7的正整数只有1和7本身; (c) 2 是偶数而 3 是奇数; (d) 李自成起义那天, 杭州下雨; (e) 较大的偶数都可表示为两个质数之和。 以上命题, (a)的真值取决于今天的天气, (b)和(c)是真, (d) 已无法查明它的真值, 但它是或真或假的, 将它归属于命题。 (e)目前尚未确定其真假, 但它是有真值的, 应归属于命题。
西安电子科技大学计算机学院 毛立强
24
lqmao@
例9 在大多数编程语言中，“兼或”的定义与析取定义相 同。例如Java语言中，（逻辑）“或”记做||，表达式 x<10 || y>1 为真当且仅当变量x小于10或者变量y大于1或者两者都 为真。
西安电子科技大学计算机学院 毛立强
西安电子科技大学计算机学院 毛立强
13
lqmao@
命题联结词
命题和原子命题常可通过一些联结词构成新命题, 这种新命题 叫复合命题。例如 ; P : 明天下雪, Q : 明天下雨 是两个命题, 利用联结词“不”, “并且”, “或”等可分别构成新命 题: “非P” “明天不下雪”; “P并且Q” “明天下雪并且明天下雨”; “明天下雪或者明天下雨”等。“P或者Q”
西安电子科技大学计算机学院 毛立强
6
lqmao@
第一章 数理逻辑
1.1 命题 1.2 重言式 1.3 范式 1.4 联结词的扩充与规约 1.5 推理规则和证明方法 1.6 谓词和量词 1.7 谓词演算的永真公式 1.8 谓词演算的推理规则
西安电子科技大学计算机学院 毛立强
西安电子科技大学计算机学院 毛立强
5
lqmao@
第一章 数理逻辑（mathematical logic）
逻辑学是一门研究推理规律的科学；数理逻辑就是 用数学方法研究推理规律，这里的“数学方法”是指 引入一套符号体系的方法，所以数理逻辑又称为“符 号逻辑”。 传统的数理逻辑包括“四论一演算”：递归论、公理 化集合论、模型论和证明论，逻辑演算，目前新提 出了很多新的逻辑，如多逻辑、模态逻辑、时序逻 辑、算法逻辑、程序逻辑等等。 本课程主要学习命题逻辑（proposition logic）和谓 词逻辑（predication logic） 。
25
lqmao@
例 10
Web搜 索 许多Web搜索引擎（如Google、
Yahoo）都允许用户输入关键词，然后由搜索引擎与网页进 行 匹 配 。 例 如 ， 输 入 mathematics 会 产 生 一 个 包 含 mathematics的列表。有些搜索引擎允许用户使用操作符 AND、OR和NOT以及括号进行关键词的组合，这样可以实 现更复杂的搜索。例如，为了搜索包含关键词“discrete”和 “ mathematics” 的 网 页 ， 用 户 应 该 输 入 discrete AND mathematics 。 如 果 搜 索 包 含 关 键 词 “ discrete” 和 “mathematics”或关键词“finite”和“mathematics”的网页，用 户应该输入（discrete OR finite）AND mathematics。
lqmao@
这张表叫真值表, 定义运算符的真值表, 指明如何用运算对象 的真值, 来决定一个应用运算符的命题的真值。 真值表的左边列 出运算对象的真值的所有可能组合, 结果命题的真值列在最右边 的一列。为了便于阅读, 我们通常用符号T(true)或 1 代表真, 符号 F(false)或 0 代表假。 一般在公式中采用T和F, 在真值表中采用 1 和 0。 这样, 以上真值表可写成
19
lqmao@
2. 合取∧ 如 果 P 和 Q 是 命 题 ， 那 么 “ P 并 且 Q” 是 一 个 复 合 命 题 ， 记 做 P∧Q，称为P和Q的合取（conjunction）。当且仅当P、Q同时 为T时，P∧Q为T，否则，P∧Q为F。
P 0 0 1 1 Q 0 1 0 1
西安电子科技大学计算机学院 毛立强
15
lqmao@
1. 否定 ¬ 设P为一命题，P的否定（negation）是一个新的命题，记做¬P， 称为“非P”。如果P为T，则¬P为F；如果P为F，则¬P为T。所以否 定词可以用下表定义。
P F T
16
¬P T F
西安电子科技大学计算机学院 毛立强
西安电子科技大学计算机学院
数 学 离 散
毛立强 主讲
西安电子科技大学计算机学院 毛立强
1
lqmao@
课程信息
教材：
离散数学，方世昌，西电出版社 离散数学习题解答，孙学红，秦伟良，西电出版社
参考书：
离散数学，左孝凌等，上海科学技术文献出版社
西安电子科技大学计算机学院 毛立强
西安电子科技大学计算机学院 毛立强
18
lqmao@
例5 在大多数编程语言中，“非”的定义和“否定”联结词定 义相同。例如在Java语言中，（逻辑）“非”记做！，表达 式 ！（x<100）为真当且仅当变量x不小于100，也就是大于 等于100。
西安电子科技大学计算机学院 毛立强
lqmao@
例8 (a) P: 今晚我写字, Q: 今晚我看书。 P∨Q: 今晚我写字或看书 “或”字常见的含义有两种: 一种是“可兼或”, 如上例中的 或, 它不排除今晚既看书又写字这种情况。一种是“排斥或”, 例如“人固有一死, 或重于泰山, 或轻于鸿毛”中的“或”, 它表 示非此即彼, 不可兼得。 运算符∨表示可兼或, 排斥或以后 用另一符号表达。 (b)她今年30岁或者40岁。 表示近似，不能用“析取”联结词表达。
西安电子科技大学计算机学院 毛立强
10
lqmao@
例 3 一个人说:“我正在说谎”。 他是在说谎还是在说真话呢? 如果他讲真话, 那么他所说的 是真, 也就是他在说谎。 我们得出结论如果他讲真话, 那么他是 在说谎。另一方面, 如果他是说谎, 那么他说的是假; 因为他承认 他是说谎, 所以他实际上是在说真话, 我们得出结论如果他是说 谎, 那么他是讲真话。 从以上分析, 我们得出他必须既非说谎也不是讲真话。这样, 断言“我正在说谎”事实上不能指定它的真假, 所以不是命题。 这 种断言叫悖论（paradox） 。