1.1命题与联结词
注意： p∨q的逻辑关系为p与q中至少一个成立， p∨q为真当且仅当p与q中至少一个为真。
与合取联结词一样，使用析取联结词时，也不要求两 命题间一定有任何关系
“如果q，则s”；“q当且仅当s”
— 10 —
2.联接词
定义1.1 设p为命题, 复合命题“非p”(或“p的否 定”)称为p的否定式,记作┐p, 符号┐称作否定联结 词. 并规定┐p为真当且仅当p为假
由于否定修改了命题，它是对单个命题进行操作， 称它为一元联结词。
否定联结词“┐”的定义可由表1表示之。
三人都摸了一顶帽子戴在头上，同时商人将余下的两顶帽子
藏了起来，接着把灯打开。这时，那两个应试者看到商人头
上戴的是一顶红帽子，其中一个人便喊道：“我戴的是黑帽
子。”
— 3—
请问这个人说得对吗？他是怎么推导出 来的呢？
要回答这样的问题，实际上就是看由一些诸如“商 人戴的是红帽子”这样的前提能否推出“猜出答 案的应试者戴的是黑帽子”这样的结论来。这又 需要经历如下过程：
— 5—
1.1 命题与连接词
1. 命题的概念
命题 是指具有非真必假的陈述句。 疑问句、祈使句和感叹句等因都不能判断其真假，
故都不是命题。 命题仅有两种可能的真值—真和假，且二者只能居
其一。真用1或T表示，假用0或F表示。由于命题只 有两种真值，所以称这种逻辑为二值逻辑。 命题的真值是具有客观性质的，而不是由人的主观 决定的。
（1） 2 是有理数是不对的. （2） 2是偶素数. （3） 2或4是素数. （4） 如果2是素数, 则3也是素数. （5） 2是素数当且仅当3也是素数.
— 9—
将上述原子命题分别符号化为： p： 是有理数。 q：2是素数。 r：2是偶数。s：3是素数。t：4是素数 p，t 的真值为0，其余的真值为1： 将 符号代入：“非p”；“q并且（与）r”；“q或t”；
(1) 什么是前提？有哪些前提？ (2) 结论是什么？ (3) 根据什么进行推理？ (4) 怎么进行推理？
— 4—
第一章 数理逻辑
研究
数理逻辑
推理
包含 前提和 结论
基本 要素
组成 成分
命题 能判断真假 陈述句
数理逻辑研究的中心问题是推理，而推理的前提和结论 都是表达判断的陈述句，因而表达判断的陈述句就成了 推理的基本要素。
注意：“既……又……”、“不但……而且……”、“虽 然……但是……”、“一面……一面……”等联结词都可 以符号化为∧.而不要见到与或和就使用联结词∧ .
合取联结词∧的定义由表2表示之。
— 13 —
表2
p
q
p∧q
0
0
0
0
1
0
1
0
0
1
1
1
— 14 —
例1.3 将下列命题符号化
（1）吴颖既用功又聪明. （2）吴颖不仅用功而且聪明. （3）吴颖虽然聪明，但不用功. （4）张辉与王丽都是三好生. （5）张辉与王丽是同学.
(pq)(pq) (5) p:王小红生于 1975 年, q:王小红生于1976 年,
— 7—
例1.1 判断下列句子是否为命题 (1) 4是素数.
(2) 5 是无理数.
(3) x+5〉3. (4)ห้องสมุดไป่ตู้月球上有冰. (5) 2050年元旦下大雪.
(6) π大于 2吗？
(7) 请不要讲话！ (8) 这朵花真美丽啊！ (9) 我正在说假话.
— 8—
例1.2 识别下列命题类型，并指出联接词，试着下面各陈述句 中出现的原子命题符号化。
— 11 —
表1
p
lp
0
1
1
0
— 12 —
方式二：例1.2中“2是偶素数”是“2是偶数”且“2 是素数”的复合.
定义1.2 设p,q为二命题, 复合命题“p并且q”(或“p 与q”)称为p与q的合取式, 记作p∧q, ∧称作合取联结 词. 并规定p∧q为真当且仅当p与q同时为真. 称∧为合 取联结词。
— 17 —
表3
p
q
p∧q
0
0
0
0
1
1
1
0
1
1
1
1
— 18 —
例1.4 将下列命题符号化
(1) 2 或 4 是素数. (2) 2 或 3 是素数. (3) 4 或 6 是素数. (4) 小元元只能拿一个苹果或一个梨. (5) 王小红生于 1975 年或 1976 年.
— 19 —
解
(1) 令p:2是素数, q:4是素数, pq (2) 令p:2是素数, q:3是素数, pq (3) 令p:4是素数, q:6是素数, pq (4) 令p:小元元拿一个苹果, q:小元元拿一个梨
离散数学
应用数理学院
1
知识结构
离散数学
数理逻辑 集合论 代数结构
图论
命途逻辑
一阶逻辑
集合的基本概念和运算
二元关系和函数
代数系统的一般概念
几个典型的代数系统
图的基本概念
树
二部图、欧拉图、哈密尔顿图
平面图及图的着色
— 2—
第一部分 数理逻辑
著名物理学家爱因斯坦出过的一道题：
一个土耳其商人想找一个十分聪明的助手协助他经商，有
— 6—
判断给定句子是否为命题，分两步： 首先判定它是否为陈述句， 其次判断它是否有唯一的真值。
命题分为两类:
如果一陈述句再也不能分解成更为简单的语句，由它构成的 命题称为原子命题。原子命题是命题逻辑的基本单位。原子 命题用英文字母p，q，r…及其带下标的pi，qi，ri，…表示。
由简单命题由联接词联接而成的命题为复合命题。
— 15 —
解 令p:吴颖用功, q:吴颖聪明 (1) pq (2) pq (3) pq (4) 设p:张辉是三好生, q:王丽是三好生
pq (5) p:张辉与王丽是同学
(1)—(3) 说明描述合取式的灵活性与多样性 (4)—(5) 要求分清 “与” 所联结的成分
— 16 —
方式三：例1.2中“2或4是素数”为“2是素数”与“4 是素数”通过“或”复合而成.
两人前来应聘，这个商人为了试试哪个更聪明些，就把两个
人带进一间漆黑的屋子里，他打开灯后说：“这张桌子上有
五顶帽子，两顶是红色的，三顶是黑色的，现在，我把灯关
掉，而且把帽子摆的位置弄乱，然后我们三个人每人摸一顶
帽子戴在自己头上，在我开灯后，请你们尽快说出自己头上
戴的帽子是什么颜色的。”说完后，商人将电灯关掉，然后
离散数学第一章 命题逻辑
令Q表示：张亮是跳远运动员。
于是命题，张亮可能是跳高或跳远运动员就可以用P∨Q来表示，因为这里的或是可 兼或。 逻辑联结词析取也是个二元运算符。
1.1 命题和联结词
逻辑联结词单条件—“→”
设P是一个命题，Q是一个命题，由联结词→把P、Q连接成P→Q，称P→Q为P、 Q的条件式复合命题，把P和Q分别称为P→Q的前件和后件，或者前提和结论。 P→Q读作“如果P则Q”或“如果P那么Q”。其中P被称为前件，Q被称为为后件。 很多时候联结词→也被称为蕴涵。 P→Q的真值是这样定义的，当且仅当P→Q的前件P的真值为T，后件Q的真值为F
1.1 命题和联结词
逻辑联结词否定—“┓”
设P是一个命题，则联结词┓和命题P构成┓P，┓P为命题P的否定式复合 命题，读作“非P”。联结词┓是自然语言中的“非”、“不”和“没有” 等的逻辑抽象。 其真值是这样定义的，若P的真值是T，那么┓P的真值是F；若P的真值 是F，则┓P的真值是T。命题P与其否定┓P的如表1.1所示。
1.2 合式公式与真值表
例1.4 令P表示：小明现在正在睡觉。
令Q表示：小明现在正在打球。 于是命题，小明现在正在睡觉或者正在打球不能用P∨Q来表示。因为这里自然语言陈述的或是 排斥或，这种意义的或我们用另一个逻辑联结词“异或”“”来表示，后面我们将给出它的 定义。
1.1 命题和联结词
逻辑联结词析取——“∨”
例1.5 将句子“他昨晚做了20或者30道作业题”表示为复合命题。 在此例中，该句子不能被表示成复合命题，因为这里的“或”表示的是近似或者猜 测的意思。 例1.6 令P表示：张亮是跳高运动员。
P F F T T Q F T F T P∧Q F F F T P 0 0 1 1 Q 0 1 0 1 P∧Q 0 0 0 1
2020秋高中数学人教版2-1学案：1.1.1命题含解析
2020秋高中数学人教A版选修2-1学案：1.1.1命题含解析第一章常用逻辑用语德国伟大的诗人歌德,有一次在魏玛公园散步．当他走在一条仅能容一个人通过的小路上时，迎面走来了一位曾经把歌德的所有作品都贬得一文不值的文艺批评家．那位批评家站在歌德的对面，傲慢地说：“对一个傻子,我绝不让路．" “我却正好相反．"歌德边说边微笑着站到了一边．顿时，那位批评家满脸通红，羞得无地自容．这里反映的就是常用逻辑用语在现实生活中的应用．日常生活中,我们经常涉及一些逻辑上的问题．无论是进行思考、交流，还是从事各项工作，都需要正确地运用逻辑用语表达自己的思维，需要对一些命题进行判断和推理．因此，正确地使用逻辑用语是现代社会公民应该具备的基本素质．本章我们将学习常用逻辑用语，体会逻辑用语在表述和论证中的作用．学习目标1．了解命题的概念，会判断命题的真假．2．通过生活和数学中的丰富实例，理解全称量词与存在量词的意义．3．通过数学实例,了解逻辑联结词“且”“或"“非”的含义．4．能够正确地对含有一个量词的命题进行否定．5．理解必要条件、充分条件与充要条件的意义．6．了解命题的逆命题、否命题与逆否命题，会分析四种命题的相互关系．本章重点命题及其关系；充分条件、必要条件、充要条件的意义;逻辑联结词“或”“且”“非”的含义；全称量词与存在量词的应用．本章难点必要条件的含义;含有一个量词的全称命题和特称命题的否定．1。
1命题及其关系1。
1。
1命题自主预习·探新知情景引入中国古代伟大的逻辑学家公孙龙提出过一个命题:白马非马．对于一般人来说,“白马是马”就如同说“苹果是水果”一样清楚明白，怎么可能“白马非马”呢？孔子的六世孙孔穿，为了驳倒公孙龙的主张，找上门去辩论，结果公孙龙说：“如果白马是马，那么黑马也是马，因此就有白马是黑马，也就是说白等于黑．像你这样黑白不分，我不值得和你辩论．”孔穿几句话就败下阵来．公孙龙在这里正是运用了逻辑推理才将这个错误的命题“证明”了，它的破绽在哪里呢？新知导学命题及相关的概念（1)定义：用__语言、符号或式子__表达的,可以__判断真假__的陈述句．（2）分类:①真命题：判断为__真__的语句；②假命题:判断为__假__的语句．(3)形式:命题的结构形式是“__若p,则q__”，其中__p__是命题的条件，__q__是命题的结论．预习自测1．下列语句中,命题的个数是（C）①空集是任何集合的真子集；②请起立；③单位向量的模为1;④你是高二的学生吗?A．0B．1C．2D．3［解析］由命题的定义知，语句①③能判断真假,所以是命题，故选C．2．下列语句中是命题的是（D）A．两点确定一条直线吗？B．在线段AB上任取一点C．作∠A的平分线AMD．两个锐角的和大于直角［解析]两个锐角的和大于直角是一个假命题，A、B、C都不能判断真假．3．下列命题为假命题的是（C)A．log24＝2B．直线x＝0的倾斜角是错误!C．若｜a|＝｜b|,则a＝bD．若直线a⊥平面α，直线a⊥平面β,则α∥β［解析]由|a｜＝|b|得a与b的模相等,但方向不定,故a与b不一定相等，故选C．4．下列命题为真命题的是(A)A．若错误!＝错误!，则x＝y B．若x2＝1,则x＝1C．若x＝y，则错误!＝错误!D．若x〈y，则x2〈y2［解析]B中,若x2＝1,则x＝±1;C中,若x＝y<0,则x与错误!无意义；D中，若x＝－2,y＝－1，满足x〈y，但x2〉y2,故选A．5．把命题“函数f(x)＝sin x是奇函数”改写成“若p，则q”的形式是__若一个函数是f（x）＝sin x，则该函数是奇函数__。
知识点1.1 命题、联结词及命题符号化
第1 章命题逻辑第1 章命题逻辑授课内容知识点1：命题、联结词及命题符号化知识点2：命题公式、真值表及公式分类知识点3：等价式与等价演算知识点4：对偶式与蕴涵式知识点5：范式第1 章命题逻辑授课内容知识点6：主析取范式与主合取范式知识点7：命题演算的推理理论知识点8：有效结论证明方法知识点9：命题演算推理实例解析知识点1：命题、联结词及命题符号化一问题的引入命题逻辑是研究由命题为基本单位构成的前提和结论之间的可推导关系。
那么，什么是命题？如何表示和构成？如何进行推理的？例如：已知：如果今天星期三，那么公鸡会下蛋。
今天是星期三。
问题：根据以上前提你能推出什么结论？二命题、联结词及命题符号化1 命题的概念定义1.1.1：能够判断真假的陈述句称作命题。
命题仅有两种可能的真值：真和假，且二者只能居其一。
真用1或T表示，假用0或F表示。
由于命题只有两种真值，所以称这种逻辑为二值逻辑。
例1.1.1 判断下列语句哪些是命题①-1是整数。
②地球是围绕月亮转的。
③3+5=8。
④木星的表面温度是20 F。
⑤不要讲话！⑥你吃饭了吗？⑦本命题是假的。
（他正在说谎。
等）解①-④都是命题，①和③的真值为真，②真值是假，④不知真和假，但真值是可以确定的。
⑤⑥都不是命题。
⑦无法确定它的真值，当它假时，它便真；当它真时，它便假。
这种断言叫悖论。
2 命题的分类与表示•命题分为两类，第一类是原子命题，它是由再也不能分解成更为简单的语句构成的命题，称为原子命题。
用英文字母P，Q，R，…或带下标Pi，Qi，Ri，…表示之。
例如，用P表示武汉是一座美丽的城市，记为P：武汉是一座美丽的城市。
冒号：代表表示的意思•第二类是复合命题，它由原子命题、命题联结词和圆括号组成。
3 联结词1.3.1 否定联结词﹁P定义1.1.2设P表示一个命题，由命题联结词⎤和命题P连接成⎤P，称⎤P为P的否定式复合命题，⎤P读“非P”。
称⎤为否定联结词。
⎤P是真当且仅当P为假；否定联结词“⎤”的定义可由表1-1表示。
离散数学II
c)：最外层括号可省。 如，(¬((P ∧ ¬Q) ∨R) →((R ∨P)∨Q))
¬(P ∧ ¬Q∨R) →R ∨P∨Q
21/73
1.1 命题与命题联结词
• 例1.3：符号化下列命题。
a)：他既有理论知识又有实践经验 b)：i. 如果明天不是雨夹雪则我去学校
26/73
1.2 公式的解释与真值表
• 原子命题在不指派真值时称为命题变元，而
复合命题由原子命题和联结词构成，可以看 作是命题变元的函数，且该函数的值仍为 “真”或“假”，可以称为真值函数（True Value Function）或命题公式。但不是说原 子命题和联结词的一个随便的组合都可以为 命题公式，我们用递归的方法来定义命题公 式。
• 例，(¬ P∧Q)，(P→(¬P ∧Q)) ，(((P∧Q) ∧(R
∨Q)) ↔(P →R))是命题公式 (P →Q )∧¬ Q)， (P →Q， (¬ P∨Q ∨(R， P∨Q ∨不是命题公式
28/73
1.2 公式的解释与真值表
• 注意：
– 如果G是含有n个命题变元 P1, P2, …,Pn的公式， 通常记为G（P1, …,Pn）或简记为G。
汇集起来的一门综合学科。离散数学的应用遍
及现代科学技术的诸多领域。
–离散数学是随着计算机科学的发展而逐步建立
起来的一门新兴的工具性学科，形成于上上个
世纪七十年代。
2/73
引言
• 课程意义
–离散数学是计算机科学的数学基础，其基本概念、 理论、方法大量地应用在数字电路、编译原理、数 据结构、操作系统、数据库系统、算法设计、人工 智能、计算机网络等专业课程中，是这些课程的基 础课程。
1.1命题符号化及联结词
规定P→Q是F当且仅当P是T，Q是F。
（5）等价(双条件)联结词
P Q (双条件式、命题)：P当且仅当Q
规定P Q是T当且仅当P，Q或者都是T，或者都是F。
命题符号化的目的在于用五个联结词将日常语言中的命题转化为数理逻辑中的形式命题，其关键在于使用适当的联结词。对自然语言中语句之间的逻辑关系以及命题联结词的含义要有正确的理解：
教学手段：
合理运用多媒体教学手段提高信息量、加强课堂讨论。
课后复习及作业或思考题：
习题册相关、P32:课后习题相关
课后反思：
1.1命题符号化及联结词
1.1.1命题
命题是一个非真即假的陈述句。因此不能判断真假的陈述句、疑问句、祈使句和感叹句都不是命题。
（1）一个命题的真或假称为命题的真值。真用T或1表示，假用F或0表示；
（1）确定语句是否是一个命题；
（2）找出句中连词，用适当的命题联结词表示。
［例1.1.2］试将下列命题符号化：
（1）若你不看电影，则我也不看电影。
（2）小王一边吃饭，一边看书。
信息工程学院——《离散数学》
教学参考书：
1.《离散数学导论》第二版 徐洁磐编著，高等教育出版社
2.《离散数学》左孝凌、李为槛、刘永才编著，上海科学技术文献出版社。
3.《离散数学结构》（第四版影印版）
4.《离散数学》李盘林李丽双李洋王春立编著高等教育出版社1999.6
5.《离散数学》孙吉贵,杨风杰,欧阳丹彤,李占山,高等教育出版社2002.8 (吉林大学)
（2）原子命题(简单命题)：最简单的命题，通常用大写字母p,q,r表示；几个简单命题用联结词连接起来得到的命题叫复合命题。
1命题逻辑基本概念
东南大学
Introduction
Assume a very fast PC:
1 flop = 1 nanosecond = 10-9 sec. = 1,000,000,000 ops/sec = 1 GHz.
7
东南大学
Introduction
If n=8, T(n) = 7•8! = 282,240 flops < 1/3 sec. If n=50, T(n) = 49•50! = 1.48 1066 = 1.49 1057 seconds = 2.48 1055 minutes = 4.13 1053 hours = 1.72 1052 days = 2.46 1051 weeks = 4.73 1049 years.
定义1.1 设原子命题为p，则复合命题“p的否定” 或“非p”称为p的否定式。记做¬p，符号 ¬称 作否定联结词。规定¬p为真当且仅当p为假。
15
东南大学
1.1 命题与联结词
（２）严格由真值表定义 （３）举例： 北京是一座城市。 p 北京不是一座城市。 ¬p 每一种生物均是动物。 q 有一些生物不是动物。 ¬q 不是每一种生物均是动物。¬q 每一种生物均不是动物。 p ¬p T F F T
circuit design many other CS problems n cities c1, c2, . . . , cn distance between city i and j, dij
Given:
Find the shortest tour.
5
东南大学
Introduction
A tour requires n-1 additions. How many different tours?
离散数学-第1章
练习1解答
提示： 分清复合命题与简单命题 分清相容或与排斥或 分清必要与充分条件及充分必要条件
答案: (1) 是简单命题
(2) 是合取式
(3) 是析取式（相容或）(4) 是析取式（排斥或）
设 p: 交通阻塞，q: 他迟到
(5) pq,
(6) pq或qp
(7) qp 或pq, (8) qp或pq
假命题 真命题 不是命题 不是命题
不是命题 不是命题
命题，但真值现在不知道
5
命题分类
命题分类：简单命题（也称原子命题）与复合命题 简单命题符号化
用小写英文字母 p, q, r, …, pi, qi, ri (i1)表示简单命题
用“1”表示真，用“0”表示假 例如，令
p： 2是有理数，则 p 的真值为0，
p q p pq (pq) (pq)q
00 1 1
0
0
01 1 1
0
0
10 0 0
1
0
11 0 1
0
0
成假赋值:00,01,10,11; 无成真赋值
24
公式的类型
定义1.10 (1) 若A在它的任何赋值下均为真, 则称A为重言式或永真式; (2) 若A在它的任何赋值下均为假, 则称A为矛盾式或永假式; (3) 若A不是矛盾式, 则称A是可满足式.
30
练习3解答
(1) pr(qp)
pqr
qp (qp) pr(qp)
000
1
0
0
001
1
0
0
010
0
1
0
011
0
1
0
100
1
0
0
101
01命题基本概念及联接词
解：这9个句子中，（7）～（9）都不是陈述句， 因而都不是命题。 （1）是真命题，（2）是假命题。 （3）的真值虽然现在还不能判断，到2100年就能 判断了，因而是命题。 （4）在十进制中为假，在二进制中为真，当确定 了进位制时其真值就确定了，因而是命题。 （5）是命题，真值视具体情况惟一确定（不是真 就是假）。 （6）是陈述句，但无法给出真假值。这种自相矛 盾的判断称为悖论，以后再讲。
1.2.2 合取联结词∧
定义1.2.2 设P,Q为二命题，复合命题“P并且Q”（或 “ P 与 Q” ）称为 P 与 Q 的合取式，记作 P∧Q ，符号 “∧” 称为合取联结词 . P属于二元 ∧Q为真当且仅当 P和Q同时为真 . 说明：1、“∧” (binary)运算符 . 2、联结词“∧”的定义真值表如下：
从上述例子可以看出，原命题与逆否命题意思相同, 即等价：
P Q Q P
逆命题与反命题意思相同。 这一点非常重要，在推理过程中，有时按原命题进 行推导比较困难，而用逆否命题却可收到事半功倍 的效果。
1.2.5 双条件联结词（等价联结词）
定义1.2.5 设P,Q为二命题，复合命题“P当且仅当Q” 称为P与Q的双条件命题，记作P iff Q或PQ，符号 称为双条件（等价）联结词。PQ为真当且仅当
Q:今天天下雨。
定义1-3 如果一个命题标识符代表任意未知命题，则 称该命题标识符为命题变元（命题变项）.如果一 个命题标识符代表一个确定的命题，则称之为命 题常元。
命题变元类似代数中的变量，命题常元类似
常量，但两者有着本质的区别。命题变元或常元
代表的是命题元素，而变量和常量代表的是一个
数值。
例如，x+y≥ 5 这是一个代数表达式，其中x和y是 变量，不是命题变元，但该表达式也可以作为一 个命题变元。假设代表该表达式的命题变元为z， 当变量x和y的值确定后，表达式成为一个命题常 元，命题变元z被该命题常元所取代成为命题，且 命题的真值随变量x和y不同取值而变化。 当用确定的命题代入命题变元时称为对命题 变元的代入。
离散数学作业册
离散数学作业册第一章命题逻辑1.1 命题与逻辑联结词1.判断下列语句是否是命题，不是划“×”，是划“√”，且指出它的真值.(1)所有的素数都是奇数. ( ) 其真值( )(2)明天有离散数学课吗？ ( ) 其真值( )(3)326+>． ( ) 其真值( )(4)实践出真知. ( ) 其真值( )(5)这朵花真好看呀！ ( ) 其真值( )(6)5x=． ( ) 其真值( )(7)太阳系外有宇宙人． ( ) 其真值( )2.将下列命题符号化．(1)如果天下雨，那么我不去图书馆.(2)若地球上没有水和空气，则人类无法生存.(3)我们不能既划船又跑步．(4)大雁北回，春天来了.3.将下列复合命题分解成若干个原子命题，并找出适当的联结词.(1)天下雨，那么我不去图书馆.(2)若地球上没有水和空气，则人类无法生存.1.2 命题公式1. 判断下列各式是否是命题公式，不是的划“×”，是的划“√”．(1)(Q→R∧S). ( )(2)((R→(Q→R)→(P→Q)). ( )(3) (P∨QR)→S. ( )(4)((?P→Q)→(Q→P)). ( )2．写出五个常用命题联结词的真值表.1.3 真值表与等价公式1.指出下列命题的成真赋值与成假赋值．(1)?(P∨?Q).(2)?P→(Q→P).2.构造真值表，判断下列公式的类型．(1)(P∧Q)∧?(P∨Q).(2) P→(P∧┑Q))∨R.3.用等值演算法验证下列各等价式．(1) ((P→Q)∧(Q→R))→(P→R)?T.(2)P→(Q∧R)?(P→Q)∧(P→R).(3)?(P∨Q)∨(?P∧Q)??P．1.4 蕴涵式及其他联结词1.试证明下列各式为重言式．(1)(P→Q)∧(Q→R)?(P→R)．(2) (P→Q)→Q?P∨Q．(3)?(P↓Q)??P↑?Q．2.将下列公式化成与之等价且仅含{┑，∨}中联结词的公式．(1) (P∨Q)∧┑P(2) (P→(Q∨┑R))∧(┑P∧Q)3.证明{?，∧}是最小全功能联结词组.4.设A、B、C为任意的三个命题公式，试问下面的结论是否正确？(1)若A∧C?B∧C，则A?B．(2)若?A??B，则A?B．(3)若A→C?B→C，则A?B．1.6 对偶与范式1.试给出下列命题公式的对偶式．(1)T∨(P∧Q)．(2)?(P∧Q)∧(?P∨Q)．2.试求下列各公式的主析取范式和主合取范式．(1) (P→(Q∧R))∧(┑P→(┑Q→R))．(2)(?(P→Q)∧Q)∨R．(3)(P→(Q∨R))∧(?P∨(Q?R)).3.试用将公式化为主范式的方法，证明下列各等价式．(1) (┑P∨Q)∧(P→R)?P→(Q∧R)(2) ┑(P?Q)?(P∧┑Q)∨(┑P∧Q)1.7 推理理论1.试用推理规则，论证下列各式．(1) ┑(P∧┑Q),┑Q∨R,┑R?┑P(2) P∨Q,Q→R,P→S,┑S?R∧(P∨Q)(3) ┑P∨Q,┑Q∨R,R→S?P→S(4) P∨Q,P→R,Q→S?R∨S第二章谓词逻辑2.1 词的概念与表示1.用谓词表达写出下列命题．(1)高斯是数学家，但不是文学家.(2)小王既是运动员也是大学生.(3)张宁和李强都是三好学生.(4)若是x奇数，则2x不是奇数.2.2 命题函数与量词1.用谓词表达式写出下列命题．(1)每个计算机系的学生都学离散数学.(2)直线A平行于直线B当且仅当直线A不相交于直线B.(3)不存在既是奇数又是偶数的自然数.(4)没有运动员不是强壮的.(5)有些有理数是实数但不是整数.(6)所有学生都钦佩某些教师.2.3 谓词公式与变元的约束1.利用谓词公式翻译下列命题． (1)没有一个奇数是偶数.(2)一个整数是奇数，如果它的平方是奇数.2. 设个体域为自然数集N ，令P(x)：x 是素数；E(x)：x 是偶数；O(x)：x 是奇数；D(x ，y)：x 整除y ．将下列各式译成汉语．(1)?x(E(x)∧D(x ，6))．(2)?x(O(x)→?y(P(x)→?D(x ，y)))．3.指出下列表达示中的自由变元和约束变元，并指明量词的辖域．(1)()()(,)()()x F x Q x y xP x R x ?∧→?∨．(2)?x(P(x ，y)∨Q(z))∧?y(R(x ，y)→ ?zQ(z))．4.设个体域为A ＝{a ，b ，c}，消去公式?xP(x)∧?xQ(x)中的量词．2.4 谓词演算的等价式与蕴含式1.试证下列等价式或蕴涵式,其中A(x),B(x)表示含x自由变量的公式,A,B 表示不含变量x（不论是自由的还是约束的）的公式.(1)（?x A(x)→B）?(?x(A(x)→B))．(2)（?x A(x)→B）??x(A(x)→B)．2.试将下列公式化成等价的前束范式．(1)?x（（┑?yP(x,y)）→(?zQ(z)→R(x))）．(2)?x(F(x)→G(x))→(?xF(x)→?xG(x))．2.5 谓词演算的推理理论1.证明下列推理．(1)所有有理数都是实数，某些有理数是整数。
第1章 命题逻辑(二)
p，q的极小项为：p∧q，p∧¬ q，¬ p∧q，p∧¬ q
两个命题变元的极小项共4(=22)个, 三个命题变元的极小项 共8(=23)个, …。一般地说，n个命题变元共有2n个极小项。
1.5.2 主析取范式
极小项有下列的性质： ⑴每个极小项只有一个成真赋值，且各极小项的成真赋值 互不相同。极小项和它的成真赋值构成了一一对应的关系。
1.5.2 主析取范式
真值表法：即用真值表求主析取范式。 用真值表求主析取范式的步骤如下： ① 构造命题公式的真值表。
② 找出公式的成真赋值对应的极小项。
③ 这些极小项的析取就是此公式的主析取范式。
1.5.2 主析取范式
【例1.24】用真值表法，求(p→q)→r的主析取范式。 解：表1.15是(p→q)→r的真值表 p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 表1.15 p→q 1 1 1 1 0 0 1 1 (p→q)→r 0 1 0 1 1 1 0 1
1.5.2 主析取范式
矛盾式无成真赋值，因而主析取范式不含任何极小项， 将矛盾式的主析取范式记为0。 重言式无成假赋值，因而主析取范式含2n (n为公式中命题
变元的个数)个极小项。
可满足式，它的主析取范式中极小项的个数一定小于等于 2n。
1.5.3主合取范式
定义1.5.7 在基本和中，每个变元及其否定不同时存在， 但两者之一必须出现且仅出现一次，这样的基本和叫作布 尔析取，也叫大项或极大项。 两个变元p，q构成的极大项为： p∨q，p∨¬q，¬p∨q，¬p∨¬q 三个命题变元p，q，r构成的极大项为： p∨q∨r， p∨q∨¬r， p∨¬q∨r， p∨¬q∨¬r， ¬p∨q∨r，¬p∨q∨¬r，¬p∨¬q∨r，¬p∨¬q∨¬r 两个命题变元的极大项共4(=22)个, 三个命题变元的极大 项共8(=23)个, …。一般地说，n个变元共有2n个极大项。