离散数学试卷及答案
离散数学样卷十二套(含答案)
一、证明下列各题1、 （10分）证明蕴涵式：()P P Q Q ∧→⇒2、（10分）证明：,1111f g f g -⇒-I 为函数为函数。
5、 3、（10分）给定代数结构,N ⨯和{}0,1,⨯，其中N 是自然数集合，⨯是数的乘法。
设{}:0,1f N →，定义为：12,,()0k n n k N f n ⎧=∈=⎨⎩否则试证}01N ⨯≅⨯，，，。
4、（10分）给定代数结构,R *，其中R 是实数集合，对R 中任意元a 和b ，*定义如下：a b a b a b *=++⨯ 试证明：,R *是独异点。
二、求下列各题的解：1、试求下列公式的主析取范式和主合取范式（15分）：()()P Q P Q ⌝∨⌝→⌝€2、（15分）{}010*********R =设，，，，，，，，，，，，试求（1）、R R *，（2）、{}1R ↑，（3）、{}11R -↑，（4）、{}1R ⎡⎤⎣⎦，（5）、{}11R -⎡⎤⎣⎦3、（15分给定无向图,G V E =，如图，试求： F E DCA B（1） 从A 到D 的所有基本链； （2） 从A 到D 的所有简单链；（3） 长度分别是最小和最大的简单圈； （4） 长度分别是最小和最大的基本圈； （5） 从A 到D 的距离。
4、（15分）给定二部图12,,G E V =，如图 9v 8v 7v 6v 1V1v 2v 3v 4v 5v 2V 试求1V 到2V 的最大匹配一、证明下列各题1、 （10分）证明蕴涵式：()P Q P P Q →⇒→∧2、（10分）证明：()()()A B C A B A C ⨯-=⨯-⨯3、（10分）给定群,G ，则,G 为Abel 群⇔222()()(,())∀∀∈→=a b a b G a b a b4、（10分）给定代数结构,S *，其中S 中元为实数有序对，*定义为 ,,,2a b c d a c b d bd *=+++，试证,S *是可交换独异点。
(完整版)离散数学题目及答案
数理逻辑习题判断题1．任何命题公式存在惟一的特异析取范式 （ √ ） 2． 公式)(q p p →⌝→是永真式 （ √ ） 3．命题公式p q p →∧)(是永真式 （ √ ） 4．命题公式r q p ∧⌝∧的成真赋值为010 （ × ） 5．))(()(B x A x B x xA →∃=→∀ （ √ ）6．命题“如果1＋2＝3，则雪是黑的”是真命题 （ × ） 7．p q p p =∧∨)( （ √ ）8．))()((x G x F x →∀是永真式 （ × ） 9．“我正在撒谎”是命题 （ × ） 10． )()(x xG x xF ∃→∀是永真式（ √ ）11．命题“如果1＋2＝0，则雪是黑的”是假命题 （ × ） 12．p q p p =∨∧)( （ √ ）13．))()((x G x F x →∀是永假式 （ × ）14．每个命题公式都有唯一的特异（主）合取范式 （ √ ） 15．若雪是黑色的:p ，则q →p 公式是永真式 （ √ ） 16．每个逻辑公式都有唯一的前束范式 （ × ） 17．q →p 公式的特异（主）析取式为q p ∨⌝ （ × ） 18．命题公式 )(r q p →∨⌝的成假赋值是110 （ √ ） 19．一阶逻辑公式)),()((y x G x F x →∀是闭式（ × ）单项选择题1． 下述不是命题的是（ A ）A．花儿真美啊! B．明天是阴天。
C．2是偶数。
D．铅球是方的。
2．谓词公式（∀y）（∀x）（P（x）→R（x,y））∧∃yQ（x,y）中变元y （B）A．是自由变元但不是约束变元B．是约束变元但不是自由变元C．既是自由变元又是约束变元D．既不是自由变元又不是约束变元3．下列命题公式为重言式的是（ A ）A．p→ （p∨q）B．（p∨┐p）→qC．q∧┐q D．p→┐q4．下列语句中不是．．命题的只有（A ）A．花儿为什么这样红？B．2+2=0C．飞碟来自地球外的星球。
离散数学考试题及详细参考答案
离散数学考试题(后附详细答案)一、命题符号化（共6小题，每小题3分，共计18分）1.用命题逻辑把下列命题符号化a)假如上午不下雨，我去看电影，否则就在家里读书或看报。
b)我今天进城，除非下雨。
c)仅当你走，我将留下。
2.用谓词逻辑把下列命题符号化a)有些实数不是有理数b)对于所有非零实数x，总存在y使得xy=1。
c) f 是从A到B的函数当且仅当对于每个a∈A存在唯一的b∈B，使得f(a)=b.二、简答题（共6道题，共32分）1.求命题公式(P→(Q→R)) (R→(Q→P))的主析取范式、主合取范式，并写出所有成真赋值。
（5分）2.设个体域为{1,2,3}，求下列命题的真值（4分）a)x y(x+y=4)b)y x (x+y=4)3.求x(F(x)→G(x))→(xF(x)→xG(x))的前束范式。
（4分）4.判断下面命题的真假，并说明原因。
（每小题2分，共4分）a)（A B）－C=(A-B) (A-C)b)若f是从集合A到集合B的入射函数，则|A|≤|B|5.设A是有穷集，|A|=5，问（每小题2分，共4分）a)A上有多少种不同的等价关系？b)从A到A的不同双射函数有多少个？6.设有偏序集<A,≤>，其哈斯图如图1，求子集B={b,d,e}的最小元，最大元、极大元、极小元、上界集合、下界集合、上确界、下确界，(5分)f g图17.已知有限集S={a1,a2,…,a n},N为自然数集合，R为实数集合，求下列集合的基数S;P(S);N,N n;P(N);R,R×R,{o,1}N（写出即可）(6分)三、证明题（共3小题，共计40分）1.使用构造性证明，证明下面推理的有效性。
（每小题5分，共10分）a)A→(B∧C),(E→ F)→ C, B→(A∧ S) B→Eb)x(P(x)→ Q(x)), x(Q(x)∨R(x))，x R(x) x P(x)2.设R1是A上的等价关系，R2是B上的等价关系，A≠ 且B≠ ，关系R满足：<<x1,y1>,<x2,y2>>∈R，当且仅当< x1, x2>∈R1且<y1,y2>∈R2。
离散数学试卷及答案
一、单项选择题(本大题共15小题，每小题1分，共15分)在每小题列出的四个选项中只有一个选项是符合题目要求的，请将正确选项前的字母填在题后的括号内。
1.一个连通的无向图G，如果它的所有结点的度数都是偶数，那么它具有一条( )A.汉密尔顿回路B.欧拉回路C.汉密尔顿通路D.初级回路2.设G是连通简单平面图，G中有11个顶点5个面，则G中的边是( )A.10B.12C.16D.143.在布尔代数L中，表达式(a∧b)∨(a∧b∧c)∨(b∧c)的等价式是( )A.b∧(a∨c)B.(a∧b)∨(a’∧b)C.(a∨b)∧(a∨b∨c)∧(b∨c)D.(b∨c)∧(a∨c)4.设i是虚数，·是复数乘法运算，则G=<{1,-1,i,-i},·>是群，下列是G的子群是( )A.<{1},·>B.〈{-1},·〉C.〈{i},·〉D.〈{-i},·〉5.设Z为整数集，A为集合，A的幂集为P(A),+、-、/为数的加、减、除运算，∩为集合的交运算，下列系统中是代数系统的有( )A.〈Z，+，/〉B.〈Z，/〉C.〈Z，-，/〉D.〈P(A)，∩〉6.下列各代数系统中不含有零元素的是( )A.〈Q，*〉Q是全体有理数集，*是数的乘法运算B.〈Mn(R),*〉,Mn(R)是全体n阶实矩阵集合，*是矩阵乘法运算C.〈Z， 〉，Z是整数集， 定义为x xy=xy,∀x,y∈ZD.〈Z，+〉，Z是整数集，+是数的加法运算7.设A={1,2,3}，A上二元关系R的关系图如下：R具有的性质是A.自反性B.对称性C.传递性D.反自反性8.设A={a,b,c}，A上二元关系R={〈a,a〉，〈b,b〉,〈a,c〉}，则关系R的对称闭包S(R)是( )A.R∪I AB.RC.R∪{〈c,a〉}D.R∩I A9.设X={a,b,c},Ix是X上恒等关系，要使Ix∪{〈a,b〉，〈b,c〉，〈c,a〉，〈b,a〉}∪R为X上的等价关系，R应取( )A.｛〈c,a〉，〈a,c〉｝B.{〈c,b〉，〈b,a〉}C.{〈c,a〉，〈b,a〉}D.{〈a,c〉，〈c,b〉}10.下列式子正确的是( )A. ∅∈∅B.∅⊆∅C.{∅}⊆∅D.{∅}∈∅11.设解释R如下：论域D为实数集，a=0,f(x,y)=x-y,A(x,y):x<y.下列公式在R下为真的是( )A.( ∀x)( ∀y)( ∀z)(A(x,y))→A(f(x,z),f(y,z))B.( ∀x)A(f(a,x),a)C.(∀x)(∀y)（A(f(x,y),x))D.(∀x)(∀y)(A(x,y)→A(f(x,a),a))12.设B是不含变元x的公式，谓词公式(∀x)(A(x)→B)等价于( )A.(∃x)A(x)→BB.(∀x)A(x)→BC.A(x)→BD.(∀x)A(x)→(∀x)B13.谓词公式(∀x)(P(x,y))→(∃z)Q(x,z)∧(∀y)R(x,y)中变元x( )A.是自由变元但不是约束变元B.既不是自由变元又不是约束变元C.既是自由变元又是约束变元D.是约束变元但不是自由变元14.若P：他聪明；Q：他用功；则“他虽聪明，但不用功”，可符号化为( )A.P∨QB.P∧┐QC.P→┐QD.P∨┐Q15.以下命题公式中，为永假式的是( )A.p→(p∨q∨r)B.(p→┐p)→┐pC.┐(q→q)∧pD.┐(q∨┐p)→(p∧┐p)二、填空题(每空1分，共20分)16.在一棵根树中，仅有一个结点的入度为______，称为树根，其余结点的入度均为______。
离散数学考试题及答案
离散数学考试题及答案一、选择题1. 关于图论的基本概念，以下哪个说法是正确的？A. 无向图中的边无方向性，有向图中的边有方向性。
B. 有向图中的边无方向性，无向图中的边有方向性。
C. 无向图和有向图都是由顶点和边组成的。
D. 无向图和有向图都只由边组成。
答案：A2. “若顶点集合为V，边集合为E，那么图G可以表示为G(V, E)”是关于图的哪个基本概念的描述？A. 图的顶点B. 图的边C. 图的邻接D. 图的表示方法答案：D3. 以下哪个命题是正确的？A. 若集合A和B互相包含，则A和B相等。
B. 若集合A和B相交为空集，则A和B相等。
C. 若集合A和B相等，则A和B互相包含。
D. 若集合A和B相等，则A和B相交为空集。
答案：C二、填空题1. 有一个集合A = {1, 2, 3, 4}，则集合A的幂集的元素个数为__________。
答案：162. 设A = {a, b, c}，B = {c, d, e}，则集合A和B的笛卡尔积为__________。
答案：{(a, c), (a, d), (a, e), (b, c), (b, d), (b, e), (c, c), (c, d), (c, e)}3. 若p为真命题，q、r为假命题，则合取范式(p ∨ q ∨ r)的值为__________。
答案：真三、计算题1. 计算集合A = {1, 2, 3, 4}和集合B = {3, 4, 5, 6}的交集、并集和差集。
答案：交集：{3, 4}并集：{1, 2, 3, 4, 5, 6}差集：{1, 2}2. 计算下列命题的真值：(~p ∨ q) ∧ (p ∨ ~q)，其中p为真命题，q为假命题。
答案：真四、证明题证明：对于任意集合A和B，如果A和B互相包含，则A和B相等。
证明过程：假设A和B互相包含，即A包含于B且B包含于A。
设x为集合A中的任意元素，则x也必然存在于集合B中，即x属于B。
同理，对于集合B中的任意元素y，y也属于集合A。
离散数学考试题及答案
离散数学考试题及答案一、选择题（每题5分，共20分）1. 下列哪个选项不是离散数学的研究对象？A. 图论B. 组合数学C. 微积分D. 逻辑学答案：C2. 在逻辑学中，下列哪个命题是真命题？A. 如果今天是周一，那么明天是周二。
B. 如果今天是周一，那么明天是周三。
C. 如果今天是周一，那么明天是周四。
D. 如果今天是周一，那么明天是周五。
答案：A3. 在集合论中，下列哪个符号表示集合的并集？A. ∩B. ∪C. ⊆D. ⊂答案：B4. 在图论中，下列哪个术语描述的是图中的顶点集合？A. 边B. 路径C. 子图D. 顶点答案：D二、填空题（每题5分，共20分）1. 如果一个集合A包含5个元素，那么它的子集个数是______。
答案：322. 在逻辑学中，如果命题P和命题Q都是真命题，那么复合命题“P且Q”的真值是______。
答案：真3. 在图论中，如果一个图的顶点数为n，那么它的最大边数是______。
答案：n(n-1)/24. 如果一个二叉树的深度为3，那么它最多包含______个节点。
答案：7三、简答题（每题10分，共30分）1. 请简述什么是图的连通性，并给出一个例子。
答案：图的连通性是指在图中任意两个顶点之间都存在一条路径。
例如，在一个完全图K3中，任意两个顶点之间都可以通过一条边直接连接，因此它是连通的。
2. 解释什么是逻辑蕴含，并给出一个例子。
答案：逻辑蕴含是指如果一个命题P为真，则另一个命题Q也必须为真。
例如，命题P：“如果今天是周一”，命题Q：“明天是周二”。
如果今天是周一，那么根据逻辑蕴含，明天必须是周二。
3. 请描述什么是二叉搜索树，并给出它的一个性质。
答案：二叉搜索树是一种特殊的二叉树，其中每个节点的左子树只包含小于当前节点的数，右子树只包含大于当前节点的数。
它的一个性质是中序遍历可以得到一个有序序列。
四、计算题（每题15分，共30分）1. 给定一个集合A={1, 2, 3, 4, 5}，请计算它的幂集，并列出所有元素。
离散数学试题总汇及答案
离散数学试题总汇及答案一、单项选择题（每题2分，共20分）1. 在集合{1,2,3}和{3,4,5}的笛卡尔积中，元素(2,4)是否存在？A. 存在B. 不存在C. 无法确定D. 以上都不对2. 函数f: A→B是单射的，当且仅当对于任意的a1, a2∈A，若f(a1)=f(a2)，则a1=a2。
A. 正确B. 错误C. 无法确定D. 以上都不对3. 以下哪个命题是真命题？A. 所有的狗都会游泳。
B. 有些狗不会游泳。
C. 所有的狗都不会游泳。
D. 以上都不是真命题。
4. 如果p蕴含q为假，那么p和q的真值可以是？A. p为真，q为假B. p为假，q为真C. p为真，q为真D. p为假，q为假5. 以下哪个图是连通图？A. 一个孤立点B. 两个不相连的点C. 一个包含三个点且每对点都相连的图D. 以上都不是连通图6. 在有向图中，如果存在从顶点u到顶点v的路径，那么称v是u的后继顶点。
A. 正确B. 错误C. 无法确定D. 以上都不对7. 以下哪个等价关系是集合{1,2,3}上的？A. {(1,1), (2,2), (3,3)}B. {(1,2), (2,1), (2,2), (3,3)}C. {(1,1), (2,3), (3,2), (3,3)}D. {(1,1), (2,2), (3,3), (1,3)}8. 以下哪个命题是假命题？A. 所有的鸟都有羽毛。
B. 有些鸟不会飞。
C. 所有的哺乳动物都是温血动物。
D. 以上都不是假命题。
9. 在图论中，一个图的生成树是包含图中所有顶点的最小连通子图。
A. 正确B. 错误C. 无法确定D. 以上都不对10. 如果命题p和q互为逆否命题，那么它们具有相同的真值。
A. 正确B. 错误C. 无法确定D. 以上都不对二、填空题（每题2分，共20分）1. 集合{1,2,3}和{3,4,5}的并集是________。
2. 函数f: A→B是满射的，当且仅当对于任意的b∈B，存在a∈A，使得f(a)=________。
离散数学试题及答案解析
离散数学试题及答案解析一、选择题1. 在集合{1,2,3,4}中，含有3个元素的子集有多少个？A. 4B. 8C. 16D. 32答案：B解析：含有3个元素的子集可以通过组合数公式C(n, k) = n! / [k!(n-k)!]来计算，其中n为集合的元素个数，k为子集中的元素个数。
在本题中，n=4，k=3，所以C(4, 3) = 4! / [3!(4-3)!] = 4。
2. 下列哪个命题是真命题？A. 所有偶数都是整数。
B. 所有整数都是偶数。
C. 所有整数都是奇数。
D. 所有奇数都是整数。
答案：A解析：偶数是指能被2整除的整数，因此所有偶数都是整数，选项A是真命题。
选项B、C和D都是错误的，因为并非所有整数都是偶数或奇数。
二、填空题1. 逻辑运算符“非”（NOT）的真值表是：当输入为真时，输出为______；当输入为假时，输出为真。
答案：假解析：逻辑运算符“非”（NOT）是一元运算符，它将输入的真值取反。
如果输入为真，则输出为假；如果输入为假，则输出为真。
2. 命题逻辑中，合取词“与”（AND）的真值表是：当两个命题都为真时，输出为真；否则输出为______。
答案：假解析：合取词“与”（AND）是二元运算符，只有当两个命题都为真时，输出才为真；如果其中一个或两个命题为假，则输出为假。
三、简答题1. 解释什么是等价关系，并给出一个例子。
答案：等价关系是定义在集合上的一个二元关系，它满足自反性、对称性和传递性。
例如，考虑整数集合上的“同余”关系。
对于任意整数a，b，如果a和b除以同一个正整数n后余数相同，则称a和b模n同余。
这个关系是自反的（a同余a），对称的（如果a同余b，则b同余a），并且是传递的（如果a同余b且b同余c，则a同余c）。
2. 什么是图的连通性？一个图是连通的需要满足什么条件？答案：图的连通性是指在无向图中，任意两个顶点之间都存在一条路径。
一个图是连通的需要满足以下条件：图中的任意两个顶点v和w，都可以通过图中的边相互到达。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
填空10% （每小题 2 分）
1、若P，Q，为二命题，P Q 真值为0 当且仅当。
2、命题“对于任意给定的正实数，都存在比它大的实数” 令F（x）：x 为实数，L（x, y） : x
y 则命题的逻辑谓词公式为。
3、谓词合式公式xP（x） xQ（x）的前束范式为。
4、将量词辖域中出现的和指导变元交换为另一变元符号，公式其余的部分不变，这种方法称为
换名规则。
5、设x 是谓词合式公式A的一个客体变元，A的论域为D，A（x）关于y 是自由的，则被称为存
在量词消去规则，记为ES。
选择25% （每小题分）
1、下列语句是命题的有（）。
A、明年中秋节的晚上是晴天；
C、xy 0 当且仅当x 和y 都大于0； D 、我正在说谎。
2、下列各命题中真值为真的命题有（）。
A、2+2=4当且仅当3是奇数；
B、2+2=4当且仅当 3 不是奇数；
C、2+2≠4 当且仅当3是奇数；
D、2+2≠4当且仅当 3 不是奇数；
3、下列符号串是合式公式的有（）
A、P Q ；
B、P P Q；
C、( P Q) (P Q)；
D、(P Q) 。
4、下列等价式成立的有（
）。
A、P QQ P ；
B、P(P R) R；
C、P (P Q) Q； D 、P (Q R) (P Q) R。
5、若A1,A2
A n和B为
wff ，且A1 A2
A n
B 则
（
）。
A、称A1 A2 A n 为 B 的前
件； B 、称 B 为A1,A2 A n 的有效结论
C 、 x(M (x) Mortal (x)) ；
D 、 x(M(x) Mortal (x))
8、公式 A
x(P(x) Q(x))的解释 I 为：个体域 D={2} ，P(x) ：x>3, Q(x) ：x=4则 A 的
真
值为（
）。
A
、 1； B 、 0； C 、 可满足式； D 、无法判定。
9、 下列等价关系正确的是（ ）。
A
、
x(P(x) Q(x)) xP(x) xQ(x)； B
、
x(P(x) Q(x)) xP(x) xQ(x)； C
、
x(P(x)
Q)
xP(x)
Q ；
D
、
x(P(x) Q)
xP(x) Q 。
10
、
下列推理步骤错在（
）。
① x(F(x) G(x))
P
② F(y) G(y)
US ① ③ xF(x)
P
④ F(y)
ES ③ ⑤G(y)
T ②④I
⑥ xG(x)
EG ⑤
A 、②；
B 、④；
C 、⑤；
D 、⑥
逻辑判断 30%
1、 用等值演算法和真值表法判断公式
A ((P Q) (Q P)) (P Q) 的类型。
C 、当且仅当 A 1 A 2
A n
D 、当且仅当 A 1 A 2
A n B
F 。
6、 A ，B 为二合式公式，且
B ，则（
）。
7、 A 、 A C 、 A
B 为重言式； B 、 B ；
E 、 A B 为重言式。
人总是要死的”谓词公式表示为（ ）。
论域为全总个体域） M （x ） ： x 是人； Mortal(x)
x 是要死的。
A 、 M (x) Mortal (x) ； B
M (x) Mortal (x)
( 10 分)
2、下列问题，若成立请证明，若不成立请举出反例： ( 10 分)
(1) 已知A C B C ，问A B 成立吗？
(2) 已知A B，问A B 成立吗？
3、如果厂方拒绝增加工资，那么罢工就不会停止，除非罢工超过一年并且工厂撤换了厂长。
问：若厂方拒绝增加工资，面罢工刚开始，罢工是否能够停止。
(10 分)
四、计算10%
1、设命题A1，A2 的真值为1，A3，A4真值为0，求命题
(A1 (A2 (A3 A1))) (A2 A4) 的真值。
( 5分)
2、利用主析取范式，求公式(P Q) Q R 的类型。
( 5分)
五、谓词逻辑推理15%
符号化语句：“有些人喜欢所有的花，但是人们不喜欢杂草，那么花不是杂草” 。
并推证其结论。
六、证明：( 10%)
设论域D={a , b , c} ，求证：xA(x) xB(x) x(A(x) B(x)) 。
一、 填空 10%(每小题 2 分)
1、P 真值为 1，Q 的真值为 0；
2、 x(F(x) L(x,0) y(F(y) L(y,x)) ；
3、
x( P(x) Q(x)) ；4、约束变元； 5、 xA(x)
A(y)，y 为 D 的某些元素。
二、 选择 25%(每小题分)
三、 逻辑判断 30%
1、(1)等值演算法
A ((P Q) (Q P)) (P Q) (P Q) (P Q) T
(2)真值表法
所以 A 为重言式。
2、(1)不成立。
若取 C T 则A T T B
T
T 有A
C B C T
但 A 与 B 不一 定等价，
可为任意不等 价的
公
式。
( 2)成立。
证明： A
B 充要条件
A B T T(
即：
A
B) ( B A) (A B) (B A)
(B
A) ( A B) (A B) (B
A) A B
B T 故 A B 。
五、谓词逻辑推理 15%
x(M (x) y(F(y) H (x,y))) x(M (x) x(F(x) G(x))
证明：
⑶ M (a) ⑷ y(F(y) H(a, y))
前提：
P ( (R S) Q), P,
R 结论：
Q
①P ( (R
S) Q)
P
②P
P
③ (R
S)
Q
T ①②I
④R
P
⑤R S
T ④I
⑥ (R
S)
T ⑤E
⑦Q
T ③⑥I
罢工不会停止是有效结论。
计算 10%
1、
(1
(1 0 0))) (1 1) (1 (1
0) 1
解：
(1 0)
11 1
1
2、
(P Q) Q R (P Q) (Q
R)
(P Q) (Q R)
P QQ RF
3、解：设 P ：厂方拒绝增加工资； Q ：罢工停止； R 罢工超壶过一年； R ：撤换厂
长 它无成真赋值，所以为矛盾式。
四、
解：M (x):x 是人; F(x) :x 是花;
G( x) : x 是杂草 ;
H(x,y) :x 喜欢y ⑴ x(M (x) y(F(y) H (x,y))) ⑵ M (a)
y(F(y) H (a,y))
ES ⑴ y(G(y) H(x, y)))
T ⑵I
T ⑵I
四、 证明 10%
xA(x) xB(x) (A(a ) A(b) A(c) (B( a) B(b) B(c) (A(a)
B(a)) (A(a) B(b))
(A(a) B(c)) (A(b) B(a)) (A(b) B(b)) (A(b) B(c)) (A(c) B(a))
(A(c)
B(b))
(A(c) B(c))
(A(a) B(a)) (A(b) B(b)) (A(c) B(c) x(A( x) B( x))
⑹ M (a ) y(G(y) H(a, y)) US ⑸ ⑺ y(G( y)
H (a, y))
T ⑶⑹I ⑻ y(H (a, y) G( y))
T ⑺E ⑼ F ( z)
H (a, z)
US ⑷ ⑽ H ( a, z)
G(z)
US ⑻ ⑾ F ( z) G(z)
T ⑼⑽I ⑿ x(F (x)
G(x))
UG ⑾
⑸ x(M (x) y(G(y) H(x,y))) P。