离散数学第一章命题逻辑

数理逻辑部分

第1章 命题逻辑 1.1 命题符号化及联结词 命题: 判断结果惟一的陈述句 命题的真值: 判断的结果 真值的取值: 真与假 真命题: 真值为真的命题 假命题: 真值为假的命题

注意: 感叹句、祈使句、疑问句都不是命题，陈述句中的悖论以及判断结果不惟一确定的也不是命题。

简单命题(原子命题)：简单陈述句构成的命题

复合命题：由简单命题与联结词按一定规则复合而成的命题 简单命题符号化

用小写英文字母 p, q, r, … ,pi,qi,ri (i≥1）表示 简单命题

用“1”表示真，用“0”表示假

例如，令 p： 是有理数，则 p 的真值为 0

q：2 + 5 = 7，则 q 的真值为 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.1 命题符号化及联结词

[教学重点] 命题的概念和六个联结词的定义

[教学目的]1：使学生了解逻辑的框架，命题逻辑的基本要素是命题。 2：通过示例理解命题的概念。

3：通过示例理解合取、析取、异或、蕴涵、等价的含义，了解逻辑语言的精确性，为学习逻辑学打好基础。 4：学会命题符号化的方法。 [教学准备]

[教学方法]讲述法 [课时安排]二课时。 [教学过程] 讲述：

逻辑是解决推理方法的学科，中心是推理，基本要素是命题，称为命题逻辑。 数理逻辑则是用数学方法研究推理； 首先要理解命题是什么，然后了解怎样用数学方法描述命题，甚至逻辑推理。后者是命题符号化的问题。 板书：

第一章 命题基本概念 1.1 命题及其符号化 讲述： 首先讨论命题。 板书： 一 命题

A) 概念：

能判断真假的陈述句。 判断要点：

a 陈述句；b 或真或假，唯一真值； 讲述： 例：

(1) 地球是圆的； 真的陈述句，是命题 (2) 2+3=5； 真的陈述句，是命题 (3) 你知道命题逻辑吗？ 非陈述句，故非命题 (4) 3-x=5； 陈述句,但真假随x的变化而变

离散数学及其算法-曹晓东,可在华章网站免费下载

离散数学及算法

离散数学及其算法-曹晓东,可在华章网站免费下载

课程名称：离散数学及算法 课 时： 学 分： 主讲教师： 联系方式：

离散数学及其算法-曹晓东,可在华章网站免费下载

教材及参考书 教材:– 离散数学与算法. 曹晓东，原旭等编著 .机 械工业出版社. 2007.

参考书:– 离散数学及应用.(英文版.第4版)(美) KennethH.Rosen著 – 离散数学.陈莉编著.高等教育出版社,2000.

离散数学及其算法-曹晓东,可在华章网站免费下载

学习方式 听课 (启发式、讨论式) 读书 (预习、复习) 报告 (综合练习)

离散数学及其算法-曹晓东,可在华章网站免费下载

考试成绩 平时成绩 (书面作业、综合练习、大作业30%) 期末考试(70%)

离散数学及其算法-曹晓东,可在华章网站免费下载

内容安排 数理逻辑– 包括命题逻辑和谓词逻辑(教材第一、二章)

集合论– 包括集合、关系和函数(教材第三、四、五 章)

代数系统– 包括代数系统的基本概念，几类典型的代数 系统(第六章)

图论– 包括图的基本概念，几种特殊的图(第七章)

离散数学及其算法-曹晓东,可在华章网站免费

离散数学第一章知识点总结（仅供参考）

1.判断给定的句子是否为命题的基本步骤：首先应是陈述句；其次要有唯一的真值。 例：（1）我正在说谎。

不是命题。因为无法判定其真假值，若假设它为假即我正在说谎，则意味着它的反为真，即我正在说实话，二者相矛盾；若假定它为真即我正在说实话，则意味着它的反为假，我正在说谎，二者也相矛盾。这其实是一个语义上的悖论。悖论不是命题 （2）x-y ＞2。

不是命题。因为x, y的值不确定，某些x, y使x?y＞2为真，某些x, y使x?y＞2为假，即x?y＞2的真假随x, y的值的变化而变化。因此x?y＞2的真假无法确定，所以x?y＞2不是命题。

2.命题可以分为两种类型：原子命题（不能再分解为更简单命题，又可称为简单命题）； 复合命题(通过联结词、标点符号将原子命题联结而成的命题） 3.命题常元：一个命题标识符如果表示确定的简单命题，就称为命题常元

命题变元：如果一个命题标识符只表示任意简单命题的位置标志，就称它为命题变元 注：当命题变元P用一个特定的简单命题取代时，P才能确定真值，这时也称对P进行指派

4.联接词：（1）否定联

第一部分

数理逻辑

2013年8月22日星期四

有一逻辑学家误入某部落，被拘于牢

狱，酋长欲放行，他对逻辑学家说： 逻辑学家手指一门问身旁一名战士说： 这扇门是死 今有两门，一为自由，一为死亡， 你可任意开启一门。为协助你脱逃， 今加派两名战士负责解答你所提的任 何问题。惟可虑者，此两战士中一名 天性诚实，一名说谎成性，今后生死 由你自己选择。 逻辑学家沉思片刻，

亡门，他(指另一名战士)将回答‘是’,对吗？

即向一战士发问，然后开门从容离去。

2013年8月22日星期四

P:被问战士是诚实人。 Q:被问战士的回答是 是 R:另一战士回答的是 是 S:这扇门是死亡门。

P T T F

Q T F F

R T F T

S F T F T

F T F 当被问人回答 是 时，此门是生门

当被问人回答 否 时，此门是死门

S (P∧ Q) ∨( P∧ Q)

(P∨ P) ∧ Q Q (S的真值总与Q的真值相反)

逻辑科学，它分为：

2013年8月22日星期四

逻辑，是研究思维形式及思维规律的科学,也把它称为研究推理的 概念是思维的基本单位 由一个或几个判断推出 通过概念对事物是否具有

辨证逻辑——是研究人的思维中的辩证法。

另一判断的思维形式， 某种属性进行肯定或否定

第一章习题

1.1&1.2 判断下列语句是否为命题,若是命题请指出是简单命题还

是复合命题.并将命题符号化,并讨论它们的真值. (1) √2是无理数.

是命题,简单命题.p:√2是无理数.真值:1 (2) 5能被2整除.

是命题,简单命题.p:5能被2整除.真值:0 (3) 现在在开会吗?

不是命题. (4) x+5>0.

不是命题.

(5) 这朵花真好看呀! 不是命题.

(6) 2是素数当且仅当三角形有3条边.

是命题,复合命题.p:2是素数.q:三角形有3条边.p?q真值:1

(7) 雪是黑色的当且仅当太阳从东方升起.

是命题,复合命题.p:雪是黑色的.q:太阳从东方升起. p?q真值:0

(8) 2008年10月1日天气晴好.

是命题,简单命题.p:2008年10月1日天气晴好.真值唯一.

(9) 太阳系以外的星球上有生物.

是命题,简单命题.p:太阳系以外的星球上有生物.真值唯一.

(10) 小李在宿舍里.

是命题,简单命题.P:小李在宿舍里.真值唯一. (1

第一章 命题逻辑

习题与解答

⒈ 判断下列语句是否为命题，并讨论命题的真值。 ⑴ 2x ? 3 = 0。 ⑵ 前进！

⑶ 如果8 + 7 > 20，则三角形有四条边。 ⑷ 请勿吸烟！

⑸ 你喜欢鲁迅的作品吗？

⑹ 如果太阳从西方升起，你就可以长生不老。 ⑺ 如果太阳从东方升起，你就可以长生不老。

解 ⑶,⑹,⑺表达命题，其中⑶,⑹表达真命题，⑺表达假命题。 ⒉ 将下列命题符号化： ⑴ 逻辑不是枯燥无味的。

⑵ 我看见的既不是小张也不是老李。 ⑶ 他生于1963年或1964年。 ⑷ 只有不怕困难，才能战胜困难。 ⑸ 只要上街，我就去书店。

⑹ 如果晚上做完了作业并且没有其它事情，小杨就看电视或听音乐。 ⑺ 如果林芳在家里，那么他不是在做作业就是在看电视。 ⑻ 三角形三条边相等是三个角相等的充分条件。 ⑼ 我进城的必要条件是我有时间。 ⑽ 他唱歌的充分必要条件是心情愉快。

⑾ 小王总是在图书馆看书，除非他病了或者图书馆不开门。 解 ⑴ p：逻辑是枯燥无味的。

“逻辑不是枯燥无味的”符号化为 ?p。 ⑵ p：我看见的是小张。q：我看见的是老李。

“我看见的既不是小张也不是老李”符号化为?p??q。 ⑶ p：他生于1963年。q：他生于19

【课题】1．1命题逻辑

【教学目标】

知识目标：

（1）理解命题的概念．知道真命题与假命题的意义； （2）了解简单命题和复合命题的概念；

（3）掌握“且”、“或”、“非”、“如果?，那么?”、“当且仅当”等联结词． 能力目标：

通过简单命题和复合命题的学习，提高学生的数学思维能力.

【教学重点】

命题的真假．

【教学难点】

复合命题的真假．

【教学设计】

（1）通过日常生活、生产中的实例导入命题的概念； （2）引导学生认识命题、真命题和假命题的概念；

（3）通过概括、归纳的方法，让学生理解并掌握逻辑。联结词“且”、“或”、“非”的使用；

（4）通过分析例题，学会应用逻辑连接词的真值表判断命题的真假； （4）通过练习，巩固知识． （5）教学过程符合学生思维特点．

【教学备品】

教学课件．

【课时安排】

2课时．(90分钟)

【教学过程】

教 学 过 程 *第一章引言 我们经常说到一个词叫做“逻辑”,它指的是思维的规律.人们常说“说话要有条有理”,有条有理就是思路清晰,思路清晰就是思维逻辑合理.通常我们说的每一句话都需要合乎逻教师 学生 教学 时行为 行为 意图 间 介绍 说明 倾听 了解 引入教学内容 5

1. 设命题p1，p2的真值为1，p3，p4真值为0，求命题

(p1?(p2?(p3??p1)))?(p2??p4)的真值。

2. 给定3个命题：p：北京比天津人口多；q：2大于1；r：15是素数。 求复合命题：

(q?r)?(p??r)的真值。

3. 用等值演算法和真值表法判断公式A?((p?q)?(q?p))?(p?q)的类型。 4. 下列问题，若成立请证明，若不成立请举出反例：

已知p?r?q?r，问p?q成立吗？ 已知?p??q，问p?q成立吗？

5. 如果厂方拒绝增加工资，那么罢工就不会停止，除非罢工超过一年并且工厂撤换了厂长。

问：若厂方拒绝增加工资，罢工刚开始，罢工是否能够停止。

6. 或者逻辑难学，或者有少数学生不喜欢它；如果数学容易学，那么逻辑并不难学。因此，如

果许多学生喜欢逻辑，那么数学难学。

7. 用反证法证明(p?q),(p?r),(q?s)?s?r。

8. 用CP规则证明p?(q?r),r?(q?s)?p?(q?s)。 9. 用CP规则证明：(s?q)?r,?r?p10. p?q?r?s,s?t?u?p?u

,?p?s??q

第一章：逻辑代数基础

一、单选题:

1: 逻辑函数F?A?B 和 G=A⊙B满足关系（ ）相等。 A. F?G B. F??G C. F?G D. F?G 2: 下列逻辑门类型中，可以用（ ）一种类型门实现另三种基本运算。 A．与门 B．非门 C．或门 D．与非门

3：下列各门电路符号中，不属于基本门电路的是 （ ）

图2201

4：逻辑函数F?A?(AB)，欲使F?1，则AB取值为（ ） A．00

B．01 C．10

D．11

5：已知逻辑函数的真值表如下，其表达式是（ ）

A．Y?C B．Y?ABC C．Y?AB?C

图2202

6：已知逻辑函数Y?ABC?CD ，可以肯定Y = 0的是 （ ）A． A = 0，BC = 1； B． BC = 1，D = 1； C． AB = 1，CD =0；

7：能使下图输出 Y = 1 的 A，B 取值有