离散数学形成性考核作业（四）
数理逻辑部分
本课程形成性考核作业共4次，内容由中央电大确定、统一布置。本次形考作业是第四次作业，大家要认真及时地完成数理逻辑部分的形考作业，字迹工整，抄写题目，解答题有解答过程。
第6章命题逻辑
1．判断下列语句是否为命题，若是命题请指出是简单命题还是复合命题．
（1）8能被4整除．
（2）今天温度高吗？
（3）今天天气真好呀！
（4）6是整数当且仅当四边形有4条边．
（5）地球是行星．
（6）小王是学生，但小李是工人．
（7）除非下雨，否则他不会去．
（8）如果他不来，那么会议就不能准时开始．
解：此题即是教材P.184习题6（A）1
（1）、（4）、（5）、（6）、（7）、（8）是命题，（2）、（3）不是命题。
其中（1）、（5）是简单命题，（4）、（6）、（7）、（8）是复合命题。
2．翻译成命题公式
（1）他不会做此事．
（2）他去旅游，仅当他有时间．
（3）小王或小李都会解这个题．
（4）如果你来，他就不回去．
（5）没有人去看展览．
（6）他们都是学生．
（7）他没有去看电影，而是去观看了体育比赛．
（8）如果下雨，那么他就会带伞．
解：此题即是教材P.184习题6（A）2
会带伞。
：如果下雨，那么他就：他会带伞。
：天下雨。）（。是去观看了体育比赛。：他没有去看电影，而。
：他去观看了体育比赛：他去看电影。）（：他们都是学生。
）（：没有人去看展览。
：有人去看展览。）（去。
：如果你来，他就不回：他回去。：你来。）（道题。：小王或小李都会解这：小李会解这道题。
：小王会解这道题。）（时间。
：他去旅游，仅当他有：他有时间。
：他去游泳。）（：他不会做此事。：他会做此事。）（Q P Q P Q P Q P P P P Q P Q P Q P Q P Q P Q P P P →∧???→∧→?87654321
3．设P ，Q 的真值为1；R ，S 的真值为0，求命题公式(P ∨Q )∧R ∨S ∧Q 的真值． 解：此题即是教材P.184习题6（A ）4（2）
(P ∨Q )真值为1，(P ∨Q )∧R 真值为0，S ∧Q 真值为0，
从而(P ∨Q )∧R ∨S ∧Q 真值为0。
4．试证明如下逻辑公式
（1） ┐（A ∧┐B ）∧（┐B ∨C ）∧┐C ? ┐（A ∨C ） （2） (P →Q )∧(Q →R )∧┐R ??P
（此题即是教材P.185习题6（A ）5（1）、（4））
)
7()
()
8()6)(5()7()4)(2()6()4)(3()5()4()3()1()
2()()
1()(),
(),(由由由由由证明：结论：前提：T B A T B A T A T B P
C P C B T B A P B A B A C
C B B A ∨??∧????∨?∨??∧?∨??∨??∧?
)
4)(3()
5()4()2)(1()3()
2()
1(),
(),(由由证明：结论：前提：T P
P R T R P P
R Q P Q P P R
R Q Q P ??→→→??→→
5．试求下列命题公式的主析取范式，主合取范式． （1） （P ∨(Q ∧R )）→(P ∧Q ) （2） ┐(P →Q )∧Q
（此题即是教材P.185习题6（A ）6（2）、（4））
))
()()())
()()())()()(()()()()()()()()()
()()
()()()())
(())(())(()
())()()())()())()())(()())((1R Q P R Q P R Q P R Q P R Q P R Q P R Q P R Q P R Q P A
A R Q P R Q P R Q P A A R Q P R Q P R Q P R Q P R Q P R Q P R Q P R Q P R Q P R Q P R Q P R R Q P Q Q R P R R Q P Q P R P Q P Q P R Q P Q P R Q P Q P R Q P Q P R Q P ∨∨?∧?∨∨?∧?∨?∨??∧?∧?∧∧?∧?∧∧∧????∧?∧∨∧?∧∨∧∧???????∧?∧∨∧?∧∨∧∧????∧∧∨∧∧∨?∧∧?∨?∧?∧?∨∧?∧???∧∧∨∧∧∨?∧?∧?∨?∧∧?∨?∧?∧?∨∧?∧???∨∧∧∨?∨∧?∧?∨?∨∧?∧??∧∨?∧?∨?∧??∧∨?∨?∧??∧∨∧?∧??∧∨∧∨??∧→∧∨）
式为再求主合取范式（令公补齐法
已成为析取范式
已成为限定性公式
）先求主析取范式
解：（
)
()()()()()()()(2Q P Q P Q P Q P Q
Q P F
F P Q Q P Q
Q P Q Q P Q
Q P ?∨?∧∨?∧?∨∧∨?∧→??∧?∧?∧?∧?∧?∧∨???∧→?公式的主合取范式为式。
为永假式，无主析取范已成为限定性公式
）先求主析取范式
解：（
6．利用求公式的范式的方法，判断下列公式是否永真或永假． （2）（P ∨Q ）→R
（此题即是教材P.186习题6（A ）7（2））
假式，是可满足式。
不是永真式，也不是永所以；
为时，取，取，取当；
为时，取，取，取：事实上，当注意假式，是可满足式。不是永真式，也不是永所以解：R Q P R Q P R Q P R Q P R Q P R Q P R Q P R Q P R Q P R Q P R Q P R Q P Q Q R P Q Q R P R Q P R Q P R P R P R Q P R Q P R P R P R R Q P R P P Q P R
Q P R
Q P →∨→∨→∨→∨∧?∧?∨∧∧?∨∧?∧∨∧∧∨?∧?∧?∨∧?∧???∨∧∧?∨?∨∧∧∨?∧?∧?∨∧?∧??∧?∨∧∨?∧?∧?∨∧?∧??∧?∨∧∨?∨∧?∧??∧?∨∨?∧??∨∨??→∨)(0)(0111)(111][)(,)
()()
()()()())(())(()()()
()()()()
()())(()
)(()()()(
7．试证明C ∨D ，( C ∨D )→┐H ，┐H →(A ∧┐B )，(A ∧┐B )→(R ∨S )}蕴含R ∨S ． （此题即是教材P.186习题6（A ）8）
）
）（由（）
（）（））（由（）（）（））（由（）
（）（）
证明：（结论：
，前提：657643)()(5)()(421)
()(3)(2)(1)()(),(,)(T S
R P
D C T S R D C P
S R B A T B A D C P
B A H P H D
C S
R S R B A B A H H D C D C ∨∨∨→∨∨→?∧?∧→∨?∧→??→∨∨∨→?∧?∧→??→∨∨
8．设P ：昨天天晴，Q ：前天下雨，则命题“昨天天晴，但前天下雨”可符号化为（ A ）． A ．P ∧Q B ．P →Q C ．P ∨Q D ．Q → P
（此题即是教材P.186习题6（B ）1）
9．可以确定下述推理的步骤（ D ）是正确的． A ．（1） ┐P ∧Q P （2） P T （1）I
B ．（1） P →Q P （2） Q T （1）I
C ．（1） P ∨Q P （2） P T （1）I
D ．（1） P ∧Q P （2） P T （1）I （此题即是教材P.186习题6（B ）3）
第7章谓词逻辑
１．将下列命题翻译成谓词公式
(1) 有人能做这件事，但不是所有人都能做。
(2) 每个人都不会来。
(3) 没有人能做这件事。
(4) 所有的整数都是实数。
(5) 有些人能去，但不是所有人都能去。
(6) 如果每人都这样做，那么就没有什么事做不了。
(7) 没有什么非做不可的事。
(8) 不是每个人都愿意做这件事。
(9) 所有人都需要不断地努力学习，争取进步。
(10) 如果x大于y，那么x+4大于y+1。
（此题即是教材P.208习题7（A）1）
概念。
：本题用到了二元谓词注意于是，命题符号化为
。大于：，）（于是，命题符号化为争取进步。
：需要不断地努力学习。：是人。：）（于是，命题符号化为愿意做这件事。
：是人。：）（于是，命题符号化为必须做。：是事。：）（于是，命题符号化为能被做。：是一件事。：这样做事，：是人。：）（于是，命题符号化为
能去。
：是人。：）（于是，命题符号化为是实数。：是整数。：）（于是，命题符号化为
能做这件事。
：是人。：）（于是，命题符号化为会来。：是人。：）（于是，命题符号化为
能做这件事。
：是人。：）解：（][))
1,4(),()()(()(10))()()()(()()()(9))()()(())()()(()()(8))()()(())()()(()()(7))
()()(())()()(())
()()(())()()(()()()()(6))()()(())()()(())()()(())()()(()()(5))
()()(()()(4))()()(())()()(()()(3))
()()(())()()(()()(2))()()(())()()(())()()(())()()(()()(1++→??∧→??∧??→???→??∧??→?→→???∧??→→??∧?∧∧??→??∧∧?→??→??∧??∧????→??∧?∧∧??→??∧∧?y x A y x A y x y x y x A x C x B x A x x x C x x B x x A x B x A x x B x A x x x B x x A x B x A x x B x A x x x B x x A x D x C x x B x A x x D x C x x B x A x y y D y y C x x B x x A x B x A x x B x A x x B x A x x B x A x x x B x x A x B x A x x x B x x A x B x A x x B x A x x x B x x A x B x A x x B x A x x x B x x A x B x A x x B x A x x B x A x x B x A x x x B x x A
2．设谓词A (x )：x 是偶数，B (x )：x 是奇数，x 的取值为1至10之间的正整数，试求出下列谓词公式的值．
（1）（?x ）A （x ）∧（?x ）B （x ）． （2）?（?x ）（A （x ）→B （x ））．
（此题即是教材P.208习题7（A ）5（2）、（3））
。
真值为。从而真值为，真值为，为时，为，例如，取真值为因为。
真值为）（。真值为，从而真值为，真值为因为。
真值为解：F x B x A x T x B x A T x B F x A x T x B x A x F x B x A x T x B x x A x T x B x T x A x T x B x x A x ))()()(())()(()()(3))()()(())()()((2)()()()()()()()()()()())(1(→??→→?→???∧????∧?
3．试证明下列公式
（1）（? x ） A （x ）?（?x ）A （x ）．
（2）（?x ）（P （x ）∧R （x ））? （?x ）P （x ）∧（?x ）R （x ）． （3）?（?x ）A （x ）∨B ?（?x ）（A （x ）→B ）． （此题即是教材P.209习题7（A ）9（1）、（3）、（5））
)
3()
()()
4()1()()3()1()()2()()()
1()()()()(由由由证明：结论：前提：EG x A x T b A US a A P x A x x A x x A x ????
)
6)(5()()()()()2()4()
()()6()3()()()5()2()()4()2()()3()1()()()2())()()(()
1()()()()())()()((由由由由由由证明：结论：前提：T x R x x P x EG x R x EG x P x T c R T c P ES c R c P P x R x P x x R x x P x x R x P x ?∧???∧∧??∧?∧?
)
3()
)()(()
4()2())()(()3()1()()()2()()()
1())()(()()(由由由证明：结论：前提：T B x A x T B x A x T B x A x P B x A x B x A x B x A x →?∨??∨??∨??→?∨??
4．试证明（?x ）（?P （x ）→R （x ））,（?x ）?R （x ）可逻辑推出（?x ）P （x ）． （此题即是教材P.209习题7（A ）10）
）
由（）
（）由（）（））（由（）（）由（）（）（）由（）
（）
证明：（结论：前提集合：6)
()(75)(632)(53)(4)()(31)()(2))()()((1)
()()()()),()()((EG x P x T b P T c P US c R P x R x US c R c P P
x R x P x x P x x R x x R x P x ????→?→?????→??
5．设A （x ）：x 是人，B （x ）：x 犯错误，则命题“没有不犯错误的人”可符号化为（D ）． A ．(?x )(A (x )∧B (x )) B ．┐(?x )(A (x ) → ┐B (x ))
C ．┐(?x )(A (x )∧B (x ))
D ．┐(?x )(A(x ）∧┐B(x ））
（此题即是教材P.209习题7（B ）1）
))
()()(())()()(())()(()())()()((x B x A x x B x A x x B x A x x B x A x x x x x →??∨????∧????∧??必犯错误。”是人，则“所有的不犯错误是不对的”，是人且也就是“某个都犯错误。”
人。”即是“所有的人解：“没有不犯错误的
6．可以确定下述谓词推理的步骤（ A ）是正确的．
A ． （1） （?x ）P （x ） P （2） P （a ） US （1）
（3） （?x ）P （x ） ES （2） B ． （1） （?x ）P （x ） P
（2） P （a ） ES （1） （3） （?x ）P （x ） US （2）
C ． （1） P （a ） P
（2） （?x ）P （x ） US （1）
D ． （1） P （a ） P
（2） （?a ）P （a ） US （1）
（此题即是教材P.209习题7（B ）3）
离散数学考试试题（A卷及答案） 一、（10分）证明?(A∨B)→?(P∨Q)，P，(B→A)∨?P A。 证明：(1)?(A∨B)→?(P∨Q) P (2)(P∨Q)→(A∨B) T(1)，E (3)P P (4)A∨B T(2)(3)，I (5)(B→A)∨?P P (6)B→A T(3)(5)，I (7)A∨?B T(6)，E (8)(A∨B)∧(A∨?B) T(4)(7)，I (9)A∧(B∨?B) T(8)，E (10)A T(9)，E 二、（10分）甲、乙、丙、丁4个人有且仅有2个人参加围棋优胜比赛。关于谁参加竞赛，下列4种判断都是正确的： (1)甲和乙只有一人参加； (2)丙参加，丁必参加； (3)乙或丁至多参加一人； (4)丁不参加，甲也不会参加。 请推出哪两个人参加了围棋比赛。 解符号化命题，设A：甲参加了比赛；B：乙参加了比赛；C：丙参加了比赛；D：丁参加了比赛。 依题意有， (1)甲和乙只有一人参加，符号化为A⊕B?(?A∧B)∨(A∧?B)； (2)丙参加，丁必参加，符号化为C→D； (3)乙或丁至多参加一人，符号化为?(B∧D)； (4)丁不参加，甲也不会参加，符号化为?D→?A。 所以原命题为：(A⊕B)∧(C→D)∧(?(B∧D))∧(?D→?A) ?((?A∧B)∨(A∧?B))∧(?C∨D)∧(?B∨?D)∧(D∨?A) ?((?A∧B∧?C)∨(A∧?B∧?C)∨(?A∧B∧D)∨(A∧?B∧D))∧((?B∧D)∨(?B∧?A)∨(?D∧?A)) ?(A∧?B∧?C∧D)∨(A∧?B∧D)∨(?A∧B∧?C∧?D)?T 但依据题意条件，有且仅有两人参加竞赛，故?A∧B∧?C∧?D为F。所以只有：(A∧?B∧?C∧D)∨(A∧?B∧D)?T，即甲、丁参加了围棋比赛。 三、（10分）指出下列推理中，在哪些步骤上有错误？为什么？给出正确的推理形式。 (1)?x(P(x)→Q(x)) P (2)P(y)→Q(y) T(1)，US (3)?xP(x) P (4)P(y) T(3)，ES (5)Q(y) T(2)(4)，I (6)?xQ(x) T(5)，EG 解 (4)中ES错，因为对存在量词限制的变元x引用ES规则，只能将x换成某个个体常元c，而不能将其改为自由变元。所以应将(4)中P(y)改为P(c)，c为个体常元。 正确的推理过程为： (1)?xP(x) P (2)P(c) T(1)，ES (3)?x(P(x)→Q(x)) P (4)P(c)→Q(c) T(3)，US (5)Q(c) T(2)(4)，I (6)?xQ(x) T(5)，EG 四、（10分）设A＝{a，b，c}，试给出A上的一个二元关系R，使其同时不满足自反性、反自反性、对称性、反对称性和传递性。 解设R＝{
2017年11月上交的离散数学形考任务一 本课程的教学内容分为三个单元，其中第三单元的名称是（A ）． 选择一项： A. 数理逻辑 B. 集合论 C. 图论 D. 谓词逻辑 题目2 答案已保存 满分10.00 标记题目 题干 本课程的教学内容按知识点将各种学习资源和学习环节进行了有机组合，其中第2章关系与函数中的第3个知识点的名称是（D ）． 选择一项： A. 函数 B. 关系的概念及其运算 C. 关系的性质与闭包运算 D. 几个重要关系 题目3 答案已保存 满分10.00 标记题目 题干 本课程所有教学内容的电视视频讲解集中在VOD点播版块中，VOD点播版块中共有（B）讲． 选择一项： A. 18 B. 20 C. 19
D. 17 题目4 答案已保存 满分10.00 标记题目 题干 本课程安排了7次形成性考核作业，第3次形成性考核作业的名称是（ C）．选择一项： A. 集合恒等式与等价关系的判定 B. 图论部分书面作业 C. 集合论部分书面作业 D. 网上学习问答 题目5 答案已保存 满分10.00 标记题目 题干 课程学习平台左侧第1个版块名称是：（C）． 选择一项： A. 课程导学 B. 课程公告 C. 课程信息 D. 使用帮助 题目6 答案已保存 满分10.00 标记题目 题干 课程学习平台右侧第5个版块名称是：（D）． 选择一项：
A. 典型例题 B. 视频课堂 C. VOD点播 D. 常见问题 题目7 答案已保存 满分10.00 标记题目 题干 ―教学活动资料‖版块是课程学习平台右侧的第（A）个版块． 选择一项： A. 6 B. 7 C. 8 D. 9 题目8 答案已保存 满分10.00 标记题目 题干 课程学习平台中―课程复习‖版块下，放有本课程历年考试试卷的栏目名称是：（D ）． 选择一项： A. 复习指导 B. 视频 C. 课件 D. 自测 请您按照课程导学与章节导学中安排学习进度、学习目标和学习方法设计自己的学习计划，学习计划应该包括：课程性质和目标（参考教学大纲）、学习内容、考核方式，以及自己的学习安排，字数要求在100—500字．完成后在下列文本框中提交． 解答：学习计划 学习离散数学任务目标：
离散数学作业4 离散数学图论部分形成性考核书面作业 本课程形成性考核书面作业共3次，容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握．本次形考书面作业是第二次作业，大家要认真及时地完成图论部分的综合练习作业． 要求：学生提交作业有以下三种方式可供选择： 1. 可将此次作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，完成作业后交给辅导教师批阅． 2. 在线提交word文档 3. 自备答题纸，将答题过程手工书写，并拍照上传． 一、填空题 1．已知图G中有1个1度结点，2个2度结点，3个3度结点，4个4度结点，则G的边数是15 ． 2．设给定图G(如右由图所示)，则图G的点割集是 { f }，{ e,c} ． 3．设G是一个图，结点集合为V，边集合为E，则 G的结点度数之和等于边数的两倍． 4．无向图G存在欧拉回路，当且仅当G连通且不含奇数度结 点． 5．设G=
8．结点数v与边数e满足e=v - 1 关系的无向连通图就是树． 9．设图G是有6个结点的连通图，结点的总度数为18，则可从G中删去条边后使之变成树． 10．设正则5叉树的树叶数为17，则分支数为i = 4 ． 二、判断说明题（判断下列各题，并说明理由．） 1．如果图G是无向图，且其结点度数均为偶数，则图G存在一条欧拉回路． 答：错误。应叙述为：“如果图G是无向连通图，且其结点度数均为偶数，则图G存在一条欧拉回路。” 2．如下图所示的图G存在一条欧拉回路． 答：错误。因为图中存在奇数度结点，所以不存在欧拉回路。 3．如下图所示的图G不是欧拉图而是汉密尔顿图．
离散数学期末考试试卷(A卷) 一、判断题：（每题2分，共10分） （1） （1） （2）对任意的命题公式, 若, 则 （0） （3）设是集合上的等价关系, 是由诱导的上的等价关系，则。（1） （4）任意一个命题公式都与某一个只含合取和析取两种联结词的命题公式等价。 （0） （5）设是上的关系，分别表示的对称和传递闭包，则 （0） 二、填空题：（每题2分，共10分） (１) 空集的幂集的幂集为（）。 (２) 写出的对偶式（）。 （３）设是我校本科生全体构成的集合，两位同学等价当且仅当他们在 同一个班，则等价类的个数为（），同学小王所在 的等价类为（）。 （４）设是上的关系，则满足下列性质的哪几条：自反的，对称的，传递的，反自反的，反对称的。 （） (5)写出命题公式的两种等价公式( ）。 三、用命题公式符号化下列命题（１）（２）（３），用谓词公式符号化下列命题（４）（５）（６）。（12分） （１）（１）仅当今晚有时间，我去看电影。 （２）（２）假如上午不下雨，我去看电影，否则就在家里读书。 （3）你能通你能通过考试，除非你不复习。 （４）（４）并非发光的都是金子。 （５）（５）有些男同志，既是教练员，又是国家选手。 （６）（６）有一个数比任何数都大。 四、设，给定上的两个关系和分别是
（１）（１）写出 和 的关系矩阵。（２）求 及 （1２分） 五、求 的主析取范式和主合取范式。（１０分） 六、设 是 到 的关系， 是 到 的关系，证明： （8分） 七、设 是一个等价关系，设 对某一个 ,有 ，证明： 也是一个等价关系。（10分） 八、（1０分）用命题推理理论来论证 下述推证是否有效？ 甲、乙、丙、丁四人参加比赛，如果甲获胜，则乙失败；如果丙获胜，则乙也获 胜，如果甲不获胜，则丁不失败。所以，如果丙获胜，则丁不失败。 九、（１０分） 用谓词推理理论来论证下述推证。 任何人如果他喜欢步行，他就不喜欢乘汽车，每一个人或喜欢乘汽车，或喜欢骑 自行车（可能这两种都喜欢）。有的人不爱骑自行车，因而有的人不爱步行 (论 域是人)。 十、(8分) 利用命题公式求解下列问题。 甲、乙、丙、丁四人参加考试后，有人问他们，谁的成绩最好， 甲说：“不是我，”乙说：“是丁，”丙说：“是乙，” 丁说：“不是我。” 四人的回答只有一人符合实际，问若只有一人成绩最 好，是谁？ 离散数学期末考试试卷答案(A 卷) 一、判断题：（每题2分，共10分） （1）}}{{}{x x x -∈ （ ∨） (2) 对任意的命题公式C B A ,,, 若 C B C A ∧?∧, 则B A ? ( ? ) （3）设R 是集合A 上的等价关系, L 是由 R A 诱导的A 上的等价关系，则L R =。 ( ∨ ) （4） 任意一个命题公式都与某一个只含合取和析取两种联结词的命题公式等 价。 （ ? ） （5）设R 是A 上的关系，)(),(R t R s 分别表示R 的对称和传递闭包，则 )()(R st R ts ? （ ? ） 二、填空题：（每题2分，共10分）
试卷二十三试题与答案 一、单项选择题：（每小题1分，本大题共10分） 1．命题公式)(P Q P ∨→是（ ）。 A 、 矛盾式； B 、可满足式； C 、重言式； D 、等价式。 2．下列各式中哪个不成立（ ）。 A 、)()())()((x xQ x xP x Q x P x ?∨??∨?； B 、)()())()((x xQ x xP x Q x P x ?∨??∨?； C 、)()())()((x xQ x xP x Q x P x ?∧??∧?； D 、Q x xP Q x P x ∧??∧?)())((。 3．谓词公式)())()((x Q y yR x P x →?∨?中的 x 是（ ）。 A 、自由变元； B 、约束变元； C 、既是自由变元又是约束变元； D 、既不是自由变元又不是约束变元。 4．在0 Φ之间应填入（ ）符号。 A 、= ； B 、?； C 、∈； D 、?。 5．设< A ， > 是偏序集，A B ?，下面结论正确的是（ ）。 A 、 B 的极大元B b ∈且唯一； B 、B 的极大元A b ∈且不唯一； C 、B 的上界B b ∈且不唯一； D 、B 的上确界A b ∈且唯一。 6．在自然数集N 上，下列（ ）运算是可结合的。 （对任意N b a ∈,） A 、b a b a -=*； B 、),max(b a b a =*； C 、b a b a 5+=*； D 、b a b a -=*。 7．Q 为有理数集N ，Q 上定义运算*为a*b = a + b – ab ,则的幺元为（ ）。 A 、a ； B 、b ； C 、1； D 、0。 8．给定下列序列，（ ）可以构成无向简单图的结点度数序列。 A 、（1，1，2，2，3）； B 、（1，1，2，2，2）； C 、（0，1，3，3，3）； D 、（1，3，4，4，5）。 9．设G 是简单有向图，可达矩阵P(G)刻划下列 （ ）关系。 A 、点与边； B 、边与点； C 、点与点； D 、边与边。 10．一颗树有两个2度结点，1个3度结点和3个4度结点，则1度结点数为（ ）。 A 、5； B 、7； C 、9； D 、8。
作业答案：数理逻辑部分 P14：习题一 1、下列句子中，哪些是命题？在是命题的句子中，哪些是简单命题？哪些是真命题？哪些命题的真值现在还不知道？ （3 答：简单命题，真命题。 （9）吸烟请到吸烟室去！ 答：不是命题。 （12）8是偶数的充分必要条件是8能被3整除。 答：复合命题，假命题。 14、讲下列命题符号化。 （6）王强与刘威都学过法语。 答：:p 王强学过法语；:q 刘威学过法语。 符号化为： p q ∧ （10）除非天下大雨，他就乘班车上班。 答：:p 天下大雨；:q 他乘班车上班。 符号化为： p q → （13）“2或4是素数，这是不对的”是不对的。 答：:p 2是素数；:q 4是素数。 符号化为：(())p q ??∨ 15、设:p 2+3=5. :q 大熊猫产在中国。 :r 太阳从西方升起。 求下列复合命题的真值。 （2）(())r p q p →∧?? （4）()(())p q r p q r ∧∧???∨?→ 解答： p 真值为1；q 真值为1；r 真值为0. （2）p q ∧真值为1；()r p q →∧真值为1；p ?真值为0； 所以(())r p q p →∧??真值为0. （4） p q r ∧∧?真值为1，p q ?∨?真值为0，()p q r ?∨?→真值为1； 所以()(())p q r p q r ∧∧???∨?→真值为1. 19、用真值表判断下列公式的类型。 （4）()()p q q p →→?→?
所以为重言式。 )s 所以为可满足式。 P36:习题二 3、用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出其成真赋值。 （1）()p q q ?∧→ 解答： 所以为永假式。 （2）(())()p p q p r →∨∨→ 解答： 所以因为永真式。 （3）()()p q p r ∨→∧
电大离散数学作业答案3-7合集 离散数学作业3 离散数学集合论部分形成性考核书面作业 本课程形成性考核书面作业共3次.内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习.基本上是按照考试的题型（除单项选择题外）安排练习题目.目的是通过综合性书面作业.使同学自己检验学习成果.找出掌握的薄弱知识点.重点复习.争取尽快掌握。本次形考书面作业是第一次作业.大家要认真及时地完成集合论部分的综合练习作业。 一、填空题 1．设集合{1,2,3},{1,2} A B ==.则P(A)-P(B )= {{3}.{1,3}.{2,3}.{1,2,3}} .A? B= {<1,1>,<1,2>,<2,1>,<2,2>,<3,1>,<3.2>} ． 2．设集合A有10个元素.那么A的幂集合P(A)的元素个数为 1024． 3．设集合A={0, 1, 2, 3}.B={2, 3, 4, 5}.R是A到B的二元关系. } , , {B A y x B y A x y x R? ∈ ∈ ∈ > < =且 且 则R的有序对集合为 {<2, 2>.<2, 3>.<3, 2>}.<3,3> ．4．设集合A={1, 2, 3, 4 }.B={6, 8, 12}. A到B的二元关系 R＝} , , 2 , {B y A x x y y x∈ ∈ = > < 那么R－1＝ {<6,3>,<8,4>} 5．设集合A=｛a, b, c, d｝.A上的二元关系R={
习题与解答 1. 将下列命题符号化： (1) 所有的火车都比某些汽车快。 (2) 任何金属都可以溶解在某种液体中。 (3) 至少有一种金属可以溶解在所有液体中。 (4) 每个人都有自己喜欢的职业。 (5) 有些职业是所有的人都喜欢的。 解 (1) 取论域为所有交通工具的集合。令 x x T :)(是火车， x x C :)(是汽车， x y x F :),(比y 跑得快。 “所有的火车都比某些汽车快”可以符号化为))),()(()((y x F y C y x T x ∧?→?。 (2) 取论域为所有物质的集合。令 x x M :)(是金属， x x L :)(是液体， x y x D :),(可以溶解在y 中。 “任何金属都可以溶解在某种液体中” 可以符号化为))),()(()((y x D y L y x M x ∧?→?。 (3) 论域和谓词与(2)同。“至少有一种金属可以溶解在所有液体中” 可以符号化为))),()(()((y x D y L y x M x →?∧?。 (4) 取论域为所有事物的集合。令 x x M :)(是人， x x J :)(是职业， x y x L :),(喜欢y 。 “每个人都有自己喜欢的职业” 可以符号化为))),()(()((y x L y J y x M x ∧?→? (5)论域和谓词与(4)同。“有些职业是所有的人都喜欢的”可以符号化为))),()(()((x y L y M y x J x →?∧?。 2. 取论域为正整数集，用函数+（加法），?（乘法）和谓词<，=将下列命题符号化： (1) 没有既是奇数，又是偶数的正整数。 (2) 任何两个正整数都有最小公倍数。 (3) 没有最大的素数。 (4) 并非所有的素数都不是偶数。 解 先引进一些谓词如下： x y x D :),(能被y 整除，),(y x D 可表示为)(x y v v =??。 x x J :)(是奇数，)(x J 可表示为)2(x v v =???。 x x E :)(是偶数，)(x E 可表示为)2(x v v =??。 x x P :)(是素数，)(x P 可表示为)1)(()1(x u u x u v v u x =∨=?=???∧=?。
离散数学试题(A卷及答案） 一、证明题（10分） 1)(?P∧(?Q∧R))∨(Q∧R)∨(P∧R)?R 证明: 左端?(?P∧?Q∧R)∨((Q∨P)∧R)?((?P∧?Q)∧R))∨((Q∨P)∧R) ?(?(P∨Q)∧R)∨((Q∨P)∧R)?(?(P∨Q)∨(Q∨P))∧R ?(?(P∨Q)∨(P∨Q))∧R?T∧R(置换)?R 2)?x(A(x)→B(x))??xA(x)→?xB(x) 证明：?x(A(x)→B(x))??x(?A(x)∨B(x))??x?A(x)∨?xB(x)???xA(x)∨?xB(x)??xA(x)→?xB(x) 二、求命题公式(P∨(Q∧R))→(P∧Q∧R)的主析取范式和主合取范式（10分） 证明：(P∨(Q∧R))→(P∧Q∧R)??(P∨(Q∧R))∨(P∧Q∧R)) ?（?P∧(?Q∨?R)）∨(P∧Q∧R) ?(?P∧?Q)∨(?P∧?R))∨(P∧Q∧R) ?(?P∧?Q∧R)∨(?P∧?Q∧?R)∨(?P∧Q∧?R))∨(?P∧?Q∧?R))∨(P∧Q∧R) ?m0∨m1∨m2∨m7 ?M3∨M4∨M5∨M6 三、推理证明题（10分） 1）C∨D, (C∨D)→?E, ?E→(A ∧?B), (A∧?B)→(R∨S)?R∨S 证明：(1) (C∨D)→?E (2) ?E→(A∧?B) (3) (C∨D)→(A∧?B) (4) (A∧?B)→(R∨S) (5) (C∨D)→(R∨S) (6) C∨D (7) R∨S 2) ?x(P(x)→Q(y)∧R(x))，?xP(x)?Q(y)∧?x(P(x)∧R(x)) 证明（1）?xP(x) (2)P(a) (3)?x(P(x)→Q(y)∧R(x)) (4)P(a)→Q(y)∧R(a) (5)Q(y)∧R(a)
第四章部分课后习题参考答案 3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值: (1) 对于任意x,均有2=(x+)(x). (2) 存在x,使得x+5=9. 其中(a)个体域为自然数集合. (b)个体域为实数集合. 解： F(x): 2=(x+)(x). G(x): x+5=9. (1)在两个个体域中都解释为) ?，在（a）中为假命题，在(b)中为真命题。 (x xF (2)在两个个体域中都解释为) (x ?，在（a）(b)中均为真命题。 xG 4. 在一阶逻辑中将下列命题符号化: (1) 没有不能表示成分数的有理数. (2) 在北京卖菜的人不全是外地人. 解: (1)F(x): x能表示成分数 H(x): x是有理数 命题符号化为: )) x x∧ ? ?? F ( ) ( (x H (2)F(x): x是北京卖菜的人 H(x): x是外地人 命题符号化为: )) x F H x→ ?? (x ) ( ( 5. 在一阶逻辑将下列命题符号化: (1) 火车都比轮船快. (3) 不存在比所有火车都快的汽车. 解: (1)F(x): x是火车; G(x): x是轮船; H(x,y): x比y快 命题符号化为: )) F x G y x→ ? ? y ∧ )) ( , ( ) x ((y ( H (2) (1)F(x): x是火车; G(x): x是汽车; H(x,y): x比y快 命题符号化为: ))) y x F G y→ ?? ∧ ? x ( ) ( , H ( x ) (y ( 9.给定解释I如下: (a) 个体域D为实数集合R.
离散数学 2^m*n 一、选择题（2*10） 1．令P：今天下雨了，Q：我没带伞，则命题“虽然今天下雨了，但是我没带伞”可符号化为（）。 （A）P→?Q （B）P∨?Q （C）P∧Q （D）P∧?Q 2．下列命题公式为永真蕴含式的是（）。 （A）Q→（P∧Q）（B）P→（P∧Q） （C）（P∧Q）→P （D）（P∨Q）→Q 3、命题“存在一些人是大学生”的否定是(A)，而命题“所有的人都是要死的”的否定 是（）。 （A）所有人都不是大学生，有些人不会死 （B）所有人不都是大学生，所有人都不会死 （C）存在一些人不是大学生，有些人不会死 （D）所有人都不是大学生，所有人都不会死 4、永真式的否定是（）。
（A）永真式（B）永假式（C）可满足式（D）以上均有可能 5、以下选项中正确的是（）。 （A）0= ? （B）0 ? （C）0∈? （D）0?? 6、以下哪个不是集合A上的等价关系的性质？（） ）。 （A）2 （B）4 （C）3 （D）5 10．连通图G是一棵树，当且仅当G中（）。 （A）有些边不是割边（B）每条边都是割边 （C）无割边集（D）每条边都不是割边
二、填空题（2*10） 1、命题“2是偶数或-3是负数”的否定是________。 2、设全体域D是正整数集合，则命题?x?y(xy=y)的真值是______。 3、令R(x):x是实数，Q(x):x是有理数。则命题“并非每个实数都是有理数”的符号化表示为 4 5 6、设 7 8 (1)若A去，则C和D中要去1个人； (2)B和C不能都去； (3)若C去，则D留下 五、（15分）设A={1,2,3},写出下列图示关系的关系矩阵，并讨论它们的性质：
电大离散数学本形考任 务 HUA system office room 【HUA16H-TTMS2A-HUAS8Q8-HUAH1688】
离散数学集合论部分形成性考核书面作业 本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握．本次形考书面作业是第一次作业，大家要认真及时地完成集合论部分的综合练习作业． 要求：学生提交作业有以下三种方式可供选择： 1. 可将此次作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，完成作业后交给辅导教师批阅． 2. 在线提交word文档 3. 自备答题纸张，将答题过程手工书写，并拍照上传． 一、填空题 1．设集合{1,2,3},{1,2} A B ==，P(A)-P(B )={{3},{1,3},{2,3},{1,2,3}}，A B={<1,1>,<1,2>,<2,1>,<2,2>,<3,1>,<3,2>} ． 2．设集合A有10个元素，那么A的幂集合P(A)的元素个数为 1024 ．
3．设集合A={0, 1, 2, 3}，B={2, 3, 4, 5}，R是A到B的二元关系， 则R的有序对集合为{<2,2>,<2,3>,<3,2>,<3,3>}． 4．设集合A={1, 2, 3, 4 }，B={6, 8, 12}，A到B的二元关系 R＝} x∈ y y > <那么R－1＝{<6,3>,<8,4>}． x = ∈ 2 , , x , {B A y 5．设集合A=｛a, b, c, d｝，A上的二元关系R={
离散数学形成性考核作业(四） 数理逻辑部分 本课程形成性考核作业共4次，内容由中央电大确定、统一布置。本次形考作业是第四次作业，大家要认真及时地完成数理逻辑部分的形考作业，字迹工整,抄写题目，解答题有解答过程。 第６章命题逻辑 1.判断下列语句是否为命题,若是命题请指出是简单命题还是复合命题． （1）8能被4整除． (２）今天温度高吗? （３)今天天气真好呀! （４）6是整数当且仅当四边形有４条边． (5）地球是行星. （6)小王是学生,但小李是工人． （7)除非下雨,否则他不会去. （8)如果他不来,那么会议就不能准时开始. 解:此题即是教材P.18４习题6(A)1 （１）、（4)、（5)、（6)、（7）、（８)是命题,(2）、(3）不是命题。 其中(1）、(5)是简单命题,(４）、（６）、（7）、(8)是复合命题。 2．翻译成命题公式 （1）他不会做此事. (2)他去旅游,仅当他有时间． （3）小王或小李都会解这个题. (４)如果你来,他就不回去. (5）没有人去看展览． (6）他们都是学生． （7）他没有去看电影，而是去观看了体育比赛. （８）如果下雨，那么他就会带伞． 解:此题即是教材P.1８４习题6(A）2
会带伞。：如果下雨，那么他就：他会带伞。：天下雨。）（。 是去观看了体育比赛。：他没有去看电影，而。 ：他去观看了体育比赛：他去看电影。）（：他们都是学生。 ）（：没有人去看展览。：有人去看展览。）（去。：如果你来，他就不回：他回去。 ：你来。）（道题。 ：小王或小李都会解这：小李会解这道题。 ：小王会解这道题。）（时间。 ：他去旅游，仅当他有：他有时间。：他去游泳。）（：他不会做此事。 ：他会做此事。）（Q P Q P Q P Q P P P P Q P Q P Q P Q P Q P Q P P P →∧???→∧→?87654321 3．设P ，Q 的真值为1；R ,S 的真值为0，求命题公式（P ∨Q )∧Ｒ∨S ∧Q 的真值． 解：此题即是教材P.1８4习题６(A ）４(2) (P ∨Q ）真值为1,(P ∨Ｑ)∧Ｒ真值为0，S ∧Q 真值为0, 从而(P ∨Q ）∧R ∨S ∧Q 真值为０。 4．试证明如下逻辑公式 (1) ┐（A ∧┐B )∧(┐B ∨C )∧┐Ｃ ? ┐（A ∨C ) (2) (P →Ｑ）∧（Q →Ｒ)∧┐Ｒ ??Ｐ （此题即是教材P ．185习题６(A ）5(1)、(4)） ) 7()()8()6)(5() 7()4)(2() 6()4)(3() 5() 4() 3()1() 2()() 1()(),(),(由由由由由证明：结论： 前提： T B A T B A T A T B P C P C B T B A P B A B A C C B B A ∨??∧????∨?∨??∧?∨??∨??∧? ) 4)(3()5() 4()2)(1() 3() 2() 1(),(),(由由证明：结论： 前提： T P P R T R P P R Q P Q P P R R Q Q P ??→→→??→→
离散数学考试试题(A卷及答案） 一、证明题（10分） 1) (P∧Q∧A C)∧(A P∨Q∨C ) (A∧(P Q ))C。P<->Q=(p->Q)合取（Q->p） 证明: (P∧Q∧A C)∧(A P∨Q∨C) (P ∨Q ∨A∨C)∧(A∨P∨Q∨C) ((P ∨Q ∨A)∧(A∨P∨Q))∨C反用分配律 ((P∧Q∧A)∨(A ∧P ∧Q))∨C ( A∧((P∧Q)∨(P ∧Q)))∨C再反用分配律 GAGGAGAGGAFFFFAFAF
( A∧(P Q))∨C (A∧(P Q ))C 2) (P Q)P Q。 证明：(P Q)((P∧Q))(P ∨Q))P Q。 二、分别用真值表法和公式法求(P(Q∨R))∧(P∨(Q R))的主析取范式与主合取范式，并写出其相应的成真赋值和成假赋值（15分）。 主析取范式与析取范式的区别：主析取范式里每个括号里都必须有全部的变元。 主析取范式可由析取范式经等值演算法算得。 GAGGAGAGGAFFFFAFAF
证明： 公式法：因为(P(Q ∨R))∧(P∨(Q R)) (P∨Q∨R)∧(P∨(Q ∧R )∨(Q ∧R)) (P∨Q ∨R)∧(((P∨Q)∧(P ∨R ))∨(Q ∧R ))分配律 (P∨Q∨R)∧(P∨Q ∨Q)∧(P∨Q ∨R)∧(P∨R ∨Q)∧(P∨R ∨R) (P∨Q ∨R)∧(P∨Q ∨R )∧(P ∨Q∨R) M∧5M∧6M使（非P析取Q析取R）为0 4 GAGGAGAGGAFFFFAFAF
所赋真值，即100，二进制为4 GAGGAGAGGAFFFFAFAF
国家开发教育本科离散数学形考+答案 形考任务一 题目1：本课程的教学内容分为三个单元，其中第三单元的名称是（）． A. 数理逻辑 B. 集合论 C. 图论 D. 谓词逻辑 题目2：本课程的教学内容按知识点将各种学习资源和学习环节进行了有机组合，其 中第2章关系与函数中的第3个知识点的名称是（）． A. 函数 B. 关系的概念及其运算 C. 关系的性质与闭包运算 D. 几个重要关系 题目3：本课程所有教学内容的电视视频讲解集中在VOD点播版块中，VOD点播版块中共有（）讲． A. 18 B. 20 C. 19 D. 17 题目4：本课程安排了7次形成性考核作业，第3次形成性考核作业的名称是（）． A. 集合恒等式与等价关系的判定 B. 图论部分书面作业 C. 集合论部分书面作业
D. 网上学习问答 题目5：课程学习平台左侧第1个版块名称是：（）． A. 课程导学 B. 课程公告 C. 课程信息 D. 使用帮助 题目6：课程学习平台右侧第5个版块名称是：（）． A. 典型例题 B. 视频课堂 C. VOD点播 D. 常见问题 题目7：“教学活动资料”版块是课程学习平台右侧的第（）个版块． 选择一项： A. 6 B. 7 C. 8 D. 9 题目8：课程学习平台中“课程复习”版块下，放有本课程历年考试试卷的栏目名称是：（）． A. 复习指导 B. 视频 C. 课件
D. 自测 形考任务二 题目1：若集合 $$ A＝\{a,\{a\},\{1,2\}\}$$，则下列表述正确的是( )． A. $$\{a,\{a\} \in A$$ B. $$\{1，2\}\notin A$$ C. $$\{a\}\subseteq A $$ D. $$\emptyset \in A $$ 题目2：设集合A={1, 2, 3}，B={3, 4, 5}，C={5, 6, 7}，则A∪B–C =( )． A. {1, 2, 3, 4} B. {1, 2, 3, 5} C. {2, 3, 4, 5} D. {4, 5, 6, 7} 题目3：设集合A = {1,$$ a$$ }，则P(A) = ( )． A. {{1}, {$$a$$}} B. {?,{1}, {$$a$$}} C. $$\{\{1\}, \{a\}, \{1, a \}\}$$ D. $$?,\{1\}, \{a\}, \{1, a \}\}$$ 题目4：集合A={1, 2, 3, 4, 5, 6, 7, 8}上的关系R={
离散数学考试题(后附详细答案) 一、命题符号化（共6小题，每小题3分，共计18分） 1.用命题逻辑把下列命题符号化 a)假如上午不下雨，我去看电影，否则就在家里读书或看报。 设P表示命题“上午下雨”，Q表示命题“我去看电影”，R表示命题“在家里读书”，S表示命题“在家看报”，命题符号化为：（?P?Q）∧(P?R∨S) b)我今天进城，除非下雨。 设P表示命题“我今天进城”，Q表示命题“天下雨”，命题符号化为：?Q→P或?P→Q c)仅当你走，我将留下。 设P表示命题“你走”，Q表示命题“我留下”，命题符号化为： Q→P 2.用谓词逻辑把下列命题符号化 a)有些实数不是有理数 设R(x)表示“x是实数”，Q(x)表示“x是有理数”，命题符号化为： ?x(R(x) ∧?Q(x)) 或??x(R(x) →Q(x)) b)对于所有非零实数x，总存在y使得xy=1。 设R(x)表示“x是实数”，E(x,y)表示“x=y”,f(x,y)=xy, 命题符号化为：?x(R(x) ∧?E(x,0) →?y(R(y) ∧E(f(x,y),1)))) c) f 是从A到B的函数当且仅当对于每个a∈A存在唯一的b∈B，使得f(a)=b. 设F(f)表示“f是从A到B的函数”, A(x)表示“x∈A”, B(x)表示“x∈B”,E(x,y)表示“x=y”, 命题符号化为：F(f)??a(A(a)→?b(B(b) ∧ E(f(a),b) ∧?c(S(c) ∧ E(f(a),c) →E(a,b)))) 二、简答题（共6道题，共32分） 1.求命题公式(P→(Q→R))?(R→(Q→P))的主析取范式、主合取范式，并写出所有成真赋 值。（5分） (P→(Q→R))?(R→(Q→P))?（?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) ∨（?P∨?Q∨R）) ?(P∨?Q∨?R) ∧(?P∨?Q∨R) 这是主合取范式 公式的所有成真赋值为000,001,010,100,101,111,故主析取范式为 （?P∧?Q∧?R)∨（?P∧?Q∧R)∨（?P∧Q∧?R)∨（P∧?Q∧?R)∨（P∧?Q∧R)∨（P∧Q∧R) 2.设个体域为{1,2,3}，求下列命题的真值（4分） a)?x?y(x+y=4) b)?y?x (x+y=4) a) T b) F 3.求?x(F(x)→G(x))→(?xF(x)→?xG(x))的前束范式。（4分） ?x(F(x)→G(x))→(?xF(x)→?xG(x)) ??x(F(x)→G(x))→(?yF(y)→?zG(z))??x(F(x)→G(x))→?y?z(F(y)→G(z)) ??x?y?z((F(x)→G(x))→ (F(y)→G(z)))
离散数学作业4 离散数学图论部分形成性考核书面作业 本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握．本次形考书面作业是第二次作业，大家要认真及时地完成图论部分的综合练习作业． 要求：学生提交作业有以下三种方式可供选择： 1. 可将此次作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，完成作业后交给辅导教师批阅． 2. 在线提交word 文档 3. 自备答题纸张，将答题过程手工书写，并拍照上传． 一、填空题 1．已知图G 中有1个1度结点，2个2度结点，3个3度结点，4个4度结点，则G 的边数是 15 ． 2．设给定图G (如右由图所示)，则图G 的点割集是 { f }，{ e,c} ． 3．设G 是一个图，结点集合为V ，边集合为E ，则 G 的结点 度数之和 等于边数的两倍． 4．无向图G 存在欧拉回路，当且仅当G 连通且 不含奇数度结点 ． 5．设G=
第二章习题二 1、求证?x?y(P(x)→Q(y))??xP(x)→?yQ(y) ?x?y(P(x)→Q(y)) ??x?y(?P(x)∨Q(y)) 条件式的等值式 ??x(?P(x)∨?yQ(y)) 辖域的扩充与收缩规律 ??x?P(x)∨?yQ(y) 辖域的扩充与收缩规律 ???xP(x)∨?yQ(y) 量词的德摩律 ??xP(x)→?yQ(y) 条件式的等值式 2、把下列各式转换为前束范式 (1) ?x(?(?yP(x,y)→(?zQ(z)→R(x)))) ??x(?(?yP(x,y)→(??zQ(z)∨R(x)))) 条件式的等值式 ??x(?(??yP(x,y)∨(??zQ(z)∨R(x)))) 条件式的等值式 ??x((???yP(x,y)∧(???zQ(z)∧?R(x)))) 德摩律 ??x((?yP(x,y)∧(?zQ(z)∧?R(x)))) 否定的否定 ??x?y?z ((P(x,y)∧(Q(z)∧?R(x)))) 量词辖域的扩张与收缩 ??x?y?z (P(x,y)∧Q(z)∧?R(x)) 量词辖域的扩张与收缩 (2) ?x?y((?zP(x,y,z)∧?uQ(x,u))→?vQ(y,v)) ??x?y(? (?zP(x,y,z)∧?uQ(x,u)) ∨?vQ(y,v)) 条件式的等值式 ??x?y( (??zP(x,y,z) ∨??uQ(x,u)) ∨?vQ(y,v)) 德摩律 ??x?y( (?z?P(x,y,z) ∨?u?Q(x,u)) ∨?vQ(y,v)) 德摩律 ??x?y?z?u?v ( (?P(x,y,z) ∨?Q(x,u)) ∨Q(y,v)) 德摩律 ??x?y?z?u?v ( ?P(x,y,z) ∨?Q(x,u)∨Q(y,v)) 德摩律 (3) ?xF(x) →?yP(x,y) ??zF(z) →?yP(x,y) 约束变元与自由变元同名，故约束变元改名 ???zF(z)∨?yP(x,y) 条件式的等值式 ??z?F(z)∨?yP(x,y) 德摩律 ??z?y(?F(z)∨P(x,y)) 德摩律 (4) ?x(P(x,y)→?yQ(x,y,z)) ??x(P(x,y)→?sQ(x,s,z)) 约束变元y与自由变元y同名，故约束变元改名 ??x(?P(x,y) ∨?sQ(x,s,z)) 条件式的等值式 ??x?s(?P(x,y)∨Q(x,s,z)) 辖域的扩充与收缩 (5) ?x(P(x,y)??yQ(x,y,z)) ??x(P(x,y)??sQ(x,s,z)) 约束变元y与自由变元y同名，故约束变元改名 ??x((P(x,y)→?sQ(x,s,z)) ∧(?sQ(x,s,z)→P(x,y))) 双条件的等值式 ??x((P(x,y)→?sQ(x,s,z)) ∧(?tQ(x,t,z)→P(x,y))) 后面约束变元与前面同则后面换名??x((?P(x,y)∨?sQ(x,s,z))∧(??tQ(x,t,z)∨P(x,y))) 条件式的等值式 ??x((?P(x,y)∨?sQ(x,s,z))∧(?t?Q(x,t,z)∨P(x,y))) 德摩律