离散数学考试题详细答案
离散数学试题及答案

离散数学试题及答案一、选择题1. 在集合论中,下列哪个选项表示两个集合A和B的并集?A. A ∩ BB. A ∪ BC. A - BD. A × B答案:B2. 命题逻辑中,下列哪个符号表示逻辑非?A. ∧B. ∨C. ¬D. →答案:C3. 在有向图中,如果存在一条从顶点u到顶点v的路径,那么称顶点v为顶点u的:A. 祖先B. 后代C. 邻居D. 连接点答案:B二、填空题1. 一个命题函数P(x)表示为“x是偶数”,那么其否定形式为________。
答案:x是奇数2. 在关系R上,如果对于所有的a和b,如果(a, b)∈R且(b, a)∈R,则称R为________。
答案:自反的三、简答题1. 简述什么是等价关系,并给出其三个基本性质。
答案:等价关系是一种特殊的二元关系,它满足自反性、对称性和传递性。
自反性指每个元素都与自身相关;对称性指如果a与b相关,则b也与a相关;传递性指如果a与b相关,b与c相关,则a与c也相关。
2. 解释什么是图的连通分量,并给出如何判断一个图是否是连通图。
答案:连通分量是指图中最大的连通子图,即图中任意两个顶点之间都存在路径。
判断一个图是否是连通图,可以通过深度优先搜索或广度优先搜索算法遍历整个图,如果所有顶点都被访问,则图是连通的。
四、计算题1. 给定命题公式P:((p → q) ∧ (r → ¬p)) → (q ∨ ¬r),证明P是一个重言式。
答案:通过使用命题逻辑的等价规则和真值表,可以证明P在所有可能的p, q, r的真值组合下都为真,因此P是一个重言式。
2. 给定一个有向图G,顶点集合V(G)={1, 2, 3, 4},边集合E(G)={(1, 2), (2, 3), (3, 4), (4, 1), (2, 4)}。
找出所有强连通分量。
答案:通过Kosaraju算法或Tarjan算法,可以找到图G的强连通分量,结果为{1, 4}和{2, 3}。
离散数学试题及答案

离散数学试题及答案一、选择题1. 设A、B、C为三个集合,下列哪个式子是成立的?A) \(A \cup (B \cap C) = (A \cup B) \cap (A \cup C)\)B) \(A \cap (B \cup C) = (A \cap B) \cup (A \cap C)\)C) \(A \cup (B \cup C) = (A \cup B) \cup (A \cup C)\)答案:B2. 对于一个有n个元素的集合S,S的幂集中包含多少个元素?A) \(n\)B) \(2^n\)C) \(2 \times n\)答案:B二、判断题1. 对于两个关系R和S,若S是自反的,则R ∩ S也是自反的。
答案:错误2. 若一个关系R是反对称的,则R一定是反自反的。
答案:正确三、填空题1. 有一个集合A,其中包含元素1、2、3、4和5,求集合A的幂集的大小。
答案:322. 设a和b是实数,若a \(\neq\) b,则a和b之间的关系是\(\__\_\)关系。
答案:不等四、解答题1. 证明:如果关系R是自反且传递的,则R一定是反自反的。
解答:假设关系R是自反的且传递的,即对于集合A中的任意元素x,都有(x, x) ∈ R,并且当(x, y) ∈ R和(y, z) ∈ R时,(x, z) ∈ R。
反证法:假设R不是反自反的,即存在一个元素a∈A,使得(a, a) ∉ R。
由于R是自反的,所以(a, a) ∈ R,与假设矛盾。
因此,R一定是反自反的。
答案完整证明了该结论。
2. 已知集合A={1, 2, 3},集合B={2, 3, 4},求集合A和B的笛卡尔积。
解答:集合A和B的笛卡尔积定义为{(a, b) | a∈A,b∈B}。
所以,集合A和B的笛卡尔积为{(1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4)}。
(完整版)离散数学题目及答案

数理逻辑习题判断题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。
离散数学习题集(十五套含答案)

离散数学试题与答案试卷一一、填空20% (每小题2分)1.设}7|{)},5()(|{<∈=<∈=+xExxBxNxxA且且(+=⋃BA{0,1,2,3,4,6} 。
2.A,B,C表示三个集合,文图中阴影部分的集合表达式为。
3R,S的真值为1,则)()))(((SRPRQP⌝∨→⌝∧→∨⌝的真值= 1 。
4.公式PRSRP⌝∨∧∨∧)()(的主合取范式为)()(RSPRSP∨⌝∨⌝∧∨∨⌝。
5.若解释I的论域D仅包含一个元素,则)()(xxPxxP∀→∃在I下真值为1 。
6.设A={1,2,3,4},A上关系图为则R2 = {<a.b>,<a,c>,<a,d>,<b,d>,<c,d> 。
7.设A={a,b,c,d},其上偏序关系R的哈斯图为则R= {<a.b>,<a,c>,<a,d>,<b,d>,<c,d>} I A。
8.图的补图为9.设A={a,b,c,d} ,A上二元运算如下:那么代数系统<A,*>的幺元是 a ,有逆元的元素为a , b , c ,d,它们的逆元分别为 a , d , c , d 。
10.下图所示的偏序集中,是格的为 c 。
二、选择20% (每小题2分)1、下列是真命题的有(CD)A.}}{{}{aa⊆;B.}}{,{}}{{ΦΦ∈Φ;C.}},{{ΦΦ∈Φ;D.}}{{}{Φ∈Φ。
2、下列集合中相等的有(BC )A.{4,3}Φ⋃;B.{Φ,3,4};C.{4,Φ,3,3};D.{3,4}。
3、设A={1,2,3},则A上的二元关系有( C )个。
A.23 ;B.32 ;C.332⨯;D.223⨯。
4、设R,S是集合A上的关系,则下列说法正确的是(A )A.若R,S 是自反的,则SR 是自反的;B.若R,S 是反自反的,则SR 是反自反的;C .若R ,S 是对称的, 则S R是对称的;D .若R ,S 是传递的, 则S R 是传递的。
离散数学考试题及答案

离散数学考试题及答案一、选择题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},请计算它的幂集,并列出所有元素。
离散数学试题及答案解析

离散数学试题及答案解析一、选择题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)。
离散数学考试题(后附详细答案)一、命题符号化(共6小题,每小题3分,共计18分)1.用命题逻辑把下列命题符号化a)假如上午不下雨,我去看电影,否则就在家里读书或看报。
设P表示命题“上午下雨”,Q表示命题“我去看电影”,R表示命题“在家里读书”,S表示命题“在家看报”,命题符号化为:(PQ)(PRS)b)我今天进城,除非下雨。
设P表示命题“我今天进城”,Q表示命题“天下雨”,命题符号化为:Q→P或P→Qc)仅当你走,我将留下。
设P表示命题“你走”,Q表示命题“我留下”,命题符号化为:Q→P2.用谓词逻辑把下列命题符号化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))(PQR)(PQR)((PQR)→(PQR)) ((PQR) →(PQR)).((PQR)(PQR)) ((PQR) (PQR))(PQR)(PQR) 这是主合取范式公式的所有成真赋值为000,001,010,100,101,111,故主析取范式为(PQR(PQR(PQR(PQR(PQR(PQR2.设个体域为{1,2,3},求下列命题的真值(4分)a)xy(x+y=4)b)yx (x+y=4)a) T b) F3.求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))→yz(F(y)→G(z)) xyz((F(x)→G(x))→(F(y)→G(z)))4.判断下面命题的真假,并说明原因。
(每小题2分,共4分)a) (AB )-C=(A-B) (A-C)b) 若f 是从集合A 到集合B 的入射函数,则|A|≤|B|a) 真命题。
因为(AB )-C=(AB )~C=(A~C )(B~C )=(A-C )(B-C )b) 真命题。
因为如果f 是从集合A 到集合B 的入射函数,则|ranf|=|A|,且ranfB,故命题成立。
5. 设A 是有穷集,|A|=5,问(每小题2分,共4分)a) A 上有多少种不同的等价关系b) 从A 到A 的不同双射函数有多少个a) 52 b) 5!=1206. 设有偏序集<A,≤>,其哈斯图如图1,求子集B={b,d,e}的最小元,最大元、极大元、极小元、上界集合、下界集合、上确界、下确界,(5分)fec图1B 的最小元是b ,无最大元、极大元是d 和e 、极小元是b 、上界集合是{g}、下界集合是{a,b}、上确界是g 、下确界是b.7. 已知有限集S={a 1,a 2,…,a n },N 为自然数集合,R 为实数集合,求下列集合的基数S;P(S);N,N n ;P(N);R,R ×R,{o,1}N (写出即可)(6分)K[S]=n; K[P(S)]=n2; K[N]=0,K[N n ]=0, K[P(N)]=; K[R]=, K=[R ×R]= ,K[{0,1}N ]=三、证明题(共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)),xR(x) xP(x)a) 证 (1)B P(附加条件)(2)B →(A ∧S) P(3) A ∧S T(1)(2) I(4) A T(3) I(5) A →(B ∧C) P(6) B ∧C T(4)(5) I(7) C T(6) I(8) (E →F)→C P(9) (E →F) T(7)(8) I(10) E ∧F T(9) E(11) E T(10) I(12) B →E CPb) 证 (1) xR(x) P(2) R(c) ES(1)(3) x(Q(x)∨R(x)) P(4) Q(c)∨R(c) US(3)(5) Q(c) T(2)(4) I(6) x(P(x)→Q(x)) P(7) P(c)→Q(c) US(6)(8) P(c) T(5)(7) I(9) xP(x) EG(8)2. 设R 1是A 上的等价关系,R 2是B 上的等价关系,A ≠且B ≠,关系R 满足:<<x 1,y 1>,<x 2,y 2>>∈R ,当且仅当< x 1, x 2>∈R 1且<y 1,y 2>∈R 2。
试证明:R 是A ×B 上的等价关系。
(10分) 证 任取<x,y>,<x,y>∈A ×Bx ∈A y ∈B<x,x>∈R 1<y,y>∈R 2<<x,y>,<x,y>>∈R ,故R 是自反的任取<<x,y>,<u,v>>,<<x,y>,<u,v>>∈R<x,u>∈R 1<y,v>∈R 2<u,x>∈R 1<v,y>∈R 2<<u,v>,<x,y>>∈R.故R 是对称的。
任取<<x,y>,<u,v>>,<<u,v>,<s,t>>∈R<<x,y>,<u,v>>,<<u,v>,<s,t>>∈R<x,u>∈R 1<y,v>∈R 2<u,s>∈R 1<v,t>∈R 2(<x,u>∈R 1<u,s>∈R 1)(<y,v>∈R 2<v,t>∈R 2)<x,s> R 1<y,t>∈R 2<<x,y>,<s,t>>∈R, 故R 是传递的。
综上所述R 是A ×B 上的等价关系。
3. 用伯恩斯坦定理证明(0,1]和(a,b)等势。
(10分)证 构造函数f :(0,1]→(a,b),f(x)=22b x a +,显然f 是入射函数 构造函数g: (a,b)→(0,1],ab a x x g --=)(,显然g 是入射函数, 故(0,1]和(a,b)等势。
由于22122221⎪⎭⎫ ⎝⎛+++≥+++r m m m r m m m r r ΛΛ,所以22r n r s ≥4. 设R 是集合A 上的等价关系,A 的元素个数为n ,R 作为集合有s 个元素,若A 关于R的商集A/R 有r 个元素,证明:rs ≥n 2。
(10分)证 设商集A/R 的r 个等价类的元素个数分别为m 1,m 2,…,m r ,由于一个划分对应一个等价关系,m 1+m 2+…+m r =n , s m m m r =+++22221Λ 由于22122221⎪⎭⎫ ⎝⎛+++≥+++r m m m r m m m r r ΛΛ(r 个数的平方的平均值大于等于这r 个数的平均值的平方),所以22rn r s ≥,即2n rs ≥四、应用题(10分)在一个道路上连接有8个城市,分别标记为a,b,c,d,e,f,g,h 。
城市之间的直接连接的道路是单向的,有a →b, a →c, b →g, g →b, c →f, f →e, b →d, d →f.对每一个城市求出从它出发所能够到达的所有其他城市。
解 把8个城市作为集合A 的元素,即A={a,b,c,d,e,,f,g,h},在A 上定义二元关系R ,<x,y>∈R 当且仅当从x 到y 有直接连接的道路,即R={<a,b>,<a,c>,<b,g>,<g,b>,<c,f>,<f,e>,<b,d>,<d,f>}那么该问题即变为求R 的传递闭包。
利用Warshal 算法,求得t(R)=⎥⎥⎥⎥⎥⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢⎣⎡0000000001111010000100000000000000110000001100000111100001111110 那么从城市x 出发能到达的城市为})(,|{}])[{)((y x R t y x y x I R t A ≠∧>∈<=-, 故有},,,,,{}])[{)((g f e d c b a I R t A =-},,,{}])[{)((g f e d b I R t A =-},{}])[{)((f e c I R t A =-},{}])[{)((f e d I R t A =-}{}])[{)((e f I R t A =-},,,{}])[{)((f e d b g I R t A =-φ=-=-}])[{)((}])[{)((e I R t e I R t A A离散数学 考试题答案一、命题符号化(共6小题,每小题3分,共计18分)1. 用命题逻辑把下列命题符号化a) 设P 表示命题“上午下雨”,Q 表示命题“我去看电影”,R 表示命题“在家里读书”,S表示命题“在家看报”,命题符号化为:(PQ)(PRS)b)设P表示命题“我今天进城”,Q表示命题“天下雨”,命题符号化为:Q→P或P→Qc)设P表示命题“你走”,Q表示命题“我留下”,命题符号化为:Q→P2.用谓词逻辑把下列命题符号化a)设R(x)表示“x是实数”,Q(x)表示“x是有理数”,命题符号化为:x(R(x) Q(x)) 或x(R(x) →Q(x))b)设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(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))(PQR)(PQR)((PQR)→(PQR)) ((PQR) →(PQR)).((PQR)(PQR)) ((PQR) (PQR))(PQR)(PQR) 这是主合取范式公式的所有成真赋值为000,001,010,100,101,111,故主析取范式为(PQR(PQR(PQR(PQR(PQR(PQR2.a) T b) F3.x(F(x)→G(x))→(xF(x)→xG(x)) x(F(x)→G(x))→(yF(y)→zG(z))x(F(x)→G(x))→yz(F(y)→G(z)) xyz((F(x)→G(x))→(F(y)→G(z)))4.a) 真命题。