离散数学简答题

合集下载

华理离散数学试题及答案

华理离散数学试题及答案

华理离散数学试题及答案一、单项选择题(每题2分,共10分)1. 在离散数学中,以下哪个概念是用来描述两个集合之间元素的对应关系的?A. 函数B. 映射C. 序列D. 集合答案:A2. 命题逻辑中,以下哪个符号表示逻辑“与”?A. ∧B. ∨C. →D. ¬答案:A3. 集合{1, 2, 3}和{3, 4, 5}的交集是什么?A. {1, 2}B. {3, 4}C. {3}D. {1, 2, 3, 4, 5}答案:C4. 以下哪个图是无向图?A. 有向图B. 无向图C. 完全图D. 部分图答案:B5. 在图论中,一个图的度是指什么?A. 顶点的数量B. 边的数量C. 顶点的度数D. 图的连通性答案:C二、填空题(每题2分,共10分)1. 在集合论中,空集用符号____表示。

答案:∅2. 如果A和B是两个集合,那么A和B的并集用符号____表示。

答案:A∪B3. 逻辑运算中的否定运算符用符号____表示。

答案:¬4. 在图论中,如果一个图的任意两个顶点都可以通过路径相连,则称这个图为____图。

答案:连通5. 一个有n个顶点的完全图,其边的数量为____。

答案:\(\frac{n(n-1)}{2}\)三、简答题(每题5分,共20分)1. 请解释什么是二元关系,并给出一个例子。

答案:二元关系是集合A和集合B之间的一种对应关系,它由有序对(a, b)组成,其中a属于A,b属于B。

例如,如果A是人名集合,B是年龄集合,那么“小于”就是一个二元关系。

2. 什么是归纳推理?请给出一个简单的例子。

答案:归纳推理是一种从特殊到一般的推理方法,它通过观察一系列具体实例来推断出一个普遍的结论。

例如,观察到太阳每天从东方升起,我们归纳出“太阳每天都会从东方升起”。

3. 什么是图的生成树?请简述其特点。

答案:图的生成树是包含图中所有顶点的子图,并且是一个树。

它的特点是没有环,并且任意两个顶点之间有且仅有一条路径。

离散数学简答题

离散数学简答题

简答题1.用真值表法判断下列公式的类型.(1)⌝(P∧Q)↔(⌝P∧⌝Q)(2)(P∧⌝Q)→R(3)(P→(P∨Q))∨R(4)⌝(P→Q)∧Q解:(1)⌝(P∧Q)↔(⌝P∧⌝Q)的真值表为:(2)(P∧⌝Q)→R的真值表为:(3)(P→(P∨Q))∨R的真值表为:(4)⌝(P →Q )∧Q 的真值表为:2.用真值表的方法求(P ∨Q )→(Q ↔R )的主析取范式和主合取范式。

解:(P ∨Q )→(Q ↔R )的真值表(P ∨Q )→(Q ↔R )⇔ 0147m m m m ∨∨∨ 主合取范式为:(P ∨Q )→(Q ↔R )⇔2356M M M M ∧∧∧3.用等值演算法求((P ∨Q )→R )→P 的主析取范式和主合取范式。

解:((P ∨Q )→R )→P ⇔⌝(⌝(P ∨Q )∨R )∨P ⇔((P ∨Q )∧⌝R )∨P⇔(P ∧⌝R )∨(Q ∧⌝R )∨P (析取范式) ⇔P ∨(Q ∧⌝R )(析取范式)⇔(P ∧(Q ∨⌝Q )∧(R ∨⌝R ))∨((Q ∧⌝R )∧( P ∨⌝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 ) ⇔24567m m m m m ∨∨∨∨ (主析取范式) 由主合取范式与主析取范式的关系得:((P ∨Q )→R )→P ⇔013M M M ∧∧ (主合取范式) 4.求下列公式的主析取和合取范式。

(1)(┐P → Q)∧(P → R) (2)(P → Q)∨(P∧R) (3) P ∧Q ∨R解:(1)(┐P → Q)∧(P → R)⇔(P∨Q)∧(┐P∨R) (合取范式) ⇔((P∨Q)∨(R∧┐R ))∧((┐P∨R)∨(Q ∧┐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) (主合取范式) ⇔0146M M M M ∧∧∧由主合取范式与主析取范式的关系得:(┐P → Q)∧(P → R)⇔2567m m m m ∨∨∨(主析取范式) (2)(P → Q)∨(P∧R)⇔(┐P∨Q)∨(P∧R ) ⇔(P∨┐P∨Q )∧(┐P∨Q ∨R) (合取范式)⇔(1∨Q )∧(┐P∨R∨Q )⇔┐P ∨Q∨R (主合取范式) ⇔4M由主合取范式与主析取范式的关系得: (P →Q)∨(P∧R)⇔0123567m m m m m m m ∨∨∨∨∨∨ (3) P ∧Q ∨R ⇔(P ∨R)∧(Q∨R)⇔(P ∨(Q ∧┐Q)∨R)∧((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) ⇔024M M M ∧∧ (合取范式) 由主合取范式与主析取范式的关系得:P ∧Q ∨R ⇔13567m m m m m ∨∨∨∨ (主析取范式)5.给定解释I如下:(1)D={2,3};I(2)D中的特定元素a=2;I(3)D上的函数f(x)为f(2)=3,f(3)=2;I(4)D上的谓词F(x)为F(2)=0,F(3)=1;.IG(x,y)为G(2,2)= G(2,3)= G(3,2)=1, G(3,3)=0;L(x,y)为L(2,2)=L(3,3)=1,L(2,3)= L(3,2)= 0;在这个解释下,求下列各式的值:(1)∀x(F(x)∧G(x,a));(2) ∃x(F(f(x))∧G(x,f(x))) ;(3) ∀x∃yL(x,y);(4)∃y∀xL(x,y);(5)∀x∀y( L(x,y) →L(f(x),f(y)))解:(1) ∀x(F(x)∧G(x,a))⇔(F(2)∧G(2,2))∧(F(3)∧G(3,2))⇔(0∧1)∧(1∧1)⇔ 0(2)∃x(F(f(x))∧G(x,f(x)))⇔(F(f(2))∧G(2,f(2))) ∨ (F(f(3))∧G(3,f(3)))⇔ (F(3)∧G(2,3)) ∨ (F(3)∧G(3,3))⇔(1∧1) ∨(0∧1)⇔1(3)∀x∃yL(x,y)⇔∃yL(2,y)∧∃yL(3,y)⇔(L(2,2)∨L(2,3))∧(L(3,2)∨L(3,3))⇔1∧1⇔1(4)∃y∀xL(x,y)⇔∃y(L(2,y)∧L(3,y))⇔(L(2,2)∧L(3,2))∨ (L(2,3)∧L(3,3))⇔0 ∨ 0⇔0(5)∀x∀y( L(x,y) →L(f(x),f(y)))⇔∀y(L(2,y)→L(f(2),f(y)))∧∀y(L(3,y)→L(f(3),f(y)))⇔(L(2,2)→L(f(2),f(2)))∧(L(2,3)→L(f(2),f(3)))∧(L(3,2)→L(f(3),f(2)))∧(L(3,3)→L(f(3),f(3)))⇔(1→L(3,3))∧(0→L(3,2))∧(0→L(2,3))∧(1→L(2,2))⇔(1→1)∧(0→0)∧(0→0)(1→1)⇔06.给定解释I如下:D为实数集合R;(a)个体域I(b)D中的特定元素a=0;ID上的特定函数f(x,y)=x-y;(c)ID上的特定谓词F(x,y):x=y,G(x,y):x<y(d)I说明下列公式在I下的含义,并指出其真值。

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

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

离散数学考试题(后附详细答案)一、命题符号化(共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。

离散数学题库简答题

离散数学题库简答题
答:解:传输它们的最佳前缀码如上图所示,happy new year的编码信息为:
10 011 0101 0101 001 110 111 0100 001 111 011 000
附:最优二叉树求解过程如下:
简答题
8
7.2
3
用washall方法求图的可达矩阵,并判断图的连通性。
答:
1:A[2,1]=1, ; 2:A[4,2]=1,
简答题
8
4.4
3
用Warshall算法,对集合A={1,2,3,4,5}上二元关系R={<1,1>,<1,2>,<2,4>,<3,5>,<4,2>}求t(R)。
答:
1时, [1,1]=1, A =
2时,M[1,2]=M[4,2]=1
A=
3时,A的第三列全为0,故A不变
4时,M[1,4]=M[2,4]=M[4,4]=1
答:若 是自反的,则 也是自反的。因为
自反, ,从而 ,即 也是自反的。
若 是对称的,但 不一定是对称的。
如:A = {a , b , c}, , ,则 是对称的,但 不是对称的。
简答题
8
4.3
4
如图给出的赋权图表示六个城市 及架起城市间直接通讯线路的预测造价。试给出一个设计方案使得各城市间能够通讯且总造价最小,并计算出最小总造价。
2)、画一个有一条欧拉回路,但没有一条汉密尔顿回路的图。
3)、画一个有一条欧拉回路,但有一条汉密尔顿回路的图。
答:
简答题
8
6.4
3
求 的主合取范式。
答:
简答题
8
2.3
3
在下面关系中:

离散数学考试题及答案

离散数学考试题及答案

离散数学考试题及答案一、选择题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。

离散数学样题

离散数学样题

离散数学样题⼀、简答题(本⼤题共10⼩题,每⼩题3分,共30分)1.求下列公式的真值表:r q p ) (?→?∧2.含有n 个命题变元且互不等值的命题公式共有多少个。

3.将下列命题符号化:晚上我或者在家看电视,或者去图书馆看书。

4.在谓词逻辑中将下列命题符号化:有的兔⼦⽐所有的乌龟跑得快。

5. 给定解释I ,说明公式))),,(()),,(((x a y g P y a x f P y x →??在I 下的含义,并讨论真值。

解释I : (a) 个体域N D =(N 为⾃然数集合)(b) D 中特定元素2=a(c) D 上特定函数y x y x f +=),(,xy y x g =),((d) D 上谓词y x y x P =:),(6. 设},{b a A =,试写出A A P ?)(的所有元素。

7.集合x x S {30=为30的正因⼦}关于整除关系做成偏序集,试画出该偏序集的Hasse 图。

8.设}20,15,12,10,9,8,7,6,5,4,3,2{=A ,R 为A 上的整除关系,试写出该偏序集的极⼤元和极⼩元。

9.画出所有具有五个点三条边的互不同构的简单图。

10.设有⼀棵树,它有⼆个点度为2,⼀个点度为3,三个点度为4,其余为1度点,则它共有⼏个点?⼆、计算题(本⼤题共4⼩题,每⼩题7分,共28分)1.求下列公式的主析取范式:)() (r q q p →∧?→2.某公司在六个城市621,,,C C C 中的每⼀个城市都设有分公司。

从i C 到j C 的班机旅费由下列矩阵中的第i ⾏第j列元素给出(∞表⽰没有直接班机): ∞∞∞∞∞∞05525251055010202525100102040 2010015252015050102540500 公司所关⼼的是计算任意两城市之间的最便宜路线。

试求解之(只求出1C 到其余各城市的最便宜路线即可。

)3.给出定义在集合}3,2,1{=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. 什么是集合的子集?子集是指一个集合中的所有元素都属于另一个集合。

如果集合A中的每一个元素都是集合B的元素,那么集合A就是集合B的子集。

2. 描述有限集合和无限集合的区别。

有限集合是指元素数量有限的集合,可以被一一列举。

无限集合则包含无限多个元素,无法被完全列举。

3. 什么是二元关系?二元关系是集合A和集合B之间的一种对应关系,它由有序对(a, b)组成,其中a属于集合A,b属于集合B。

4. 什么是函数?函数是一种特殊的二元关系,其中每个定义域中的元素都与值域中的一个且仅一个元素相关联。

5. 什么是等价关系?等价关系是一种自反的、对称的、传递的二元关系。

在集合A上的等价关系将A划分为若干个不相交的等价类。

6. 什么是偏序关系?偏序关系是一种自反的、反对称的、传递的二元关系。

它在集合上定义了一个部分顺序。

7. 什么是有向图和无向图?有向图是一种图,其中的边有方向,表示从一个顶点指向另一个顶点。

无向图的边没有方向,表示两个顶点之间的双向连接。

8. 什么是强连通分量?在有向图中,强连通分量是指图中的一组顶点,这些顶点中的每一个顶点都可以到达集合中的其他任何顶点。

9. 什么是二进制数?二进制数是一种基数为2的数制,只使用0和1两个数字来表示数值。

10. 什么是逻辑运算?逻辑运算是对逻辑值(真或假)进行的操作,包括与(AND)、或(OR)、非(NOT)等运算。

11. 什么是归纳法?归纳法是一种数学证明方法,通过证明一个基本情况,然后假设某个情况成立,再证明下一个情况也成立,从而证明整个命题。

12. 什么是图的遍历?图的遍历是指按照一定的规则访问图中的每个顶点,确保每个顶点都被访问一次。

常见的遍历算法有深度优先搜索(DFS)和广度优先搜索(BFS)。

13. 什么是正规表达式?正规表达式是一种描述字符串集合的模式,用于文本搜索和文本处理。

它由一系列字符和元字符组成,定义了字符串的匹配规则。

离散数学试题及答案解析

离散数学试题及答案解析

离散数学试题及答案解析一、选择题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,都可以通过图中的边相互到达。

离散数学考试题及答案

离散数学考试题及答案

离散数学考试题及答案一、选择题(每题2分,共20分)1. 在集合论中,下列哪个符号表示属于关系?A. ∈B. ∉C. ⊆D. ∩答案:A2. 对于命题逻辑,下列哪个是真值表的表示方法?A. 真值表B. 逻辑图C. 布尔代数D. 集合论答案:A3. 以下哪个是图论中的基本单位?A. 点B. 线C. 面D. 体答案:A4. 函数f(x) = x^2 + 3x + 2在x=-1处的值是:A. 0C. 4D. 6答案:C5. 在关系数据库中,以下哪个操作用于删除表中的记录?A. SELECTB. INSERTC. UPDATED. DELETE答案:D6. 以下哪个是离散数学中的归纳法证明方法?A. 直接证明法B. 反证法C. 归纳法D. 构造性证明法答案:C7. 在逻辑中,以下哪个是析取命题?A. P ∧ QB. P ∨ QC. ¬PD. P → Q答案:B8. 以下哪个是图的遍历算法?B. BFSC. Dijkstra算法D. Floyd算法答案:B9. 在集合{1, 2, 3}上,以下哪个是幂集?A. {∅, {1}}B. {1, 2}C. {1, 2, 3}D. 所有选项答案:D10. 以下哪个是递归算法的特点?A. 不能自我调用B. 必须有一个终止条件C. 必须有一个基本情况D. 所有选项答案:D二、填空题(每空2分,共20分)1. 在离散数学中,_________ 表示一个命题的否定。

答案:¬P2. 如果集合A和集合B的交集为空集,那么A和B被称为_________。

答案:不相交3. 一个函数f: A → B是_________,如果对于集合B中的每个元素b,集合A中至少有一个元素a与之对应。

答案:满射4. 在图论中,一个没有环的连通图被称为_________。

答案:树5. 一个命题逻辑公式是_________,如果它在所有可能的真值分配下都是真的。

答案:重言式6. 一个关系R在集合A上是_________,如果对于A中的任意两个元素a和b,如果(a, b)属于R,则(b, a)也属于R。

离散数学题库简答题e

离散数学题库简答题e

编号 题目答案题型 分值 大纲难度 11 设集合A={a ,b ,c ,d}上的关系R={<a , b > ,< b , a > ,< b, c > , <c ,d >}用矩阵运算求出R 的传递闭包t (R)。

答: ⎪⎪⎪⎪⎪⎭⎫⎝⎛=0000100001010010R M , ⎪⎪⎪⎪⎪⎭⎫⎝⎛==00000000101001012R R R M M M ⎪⎪⎪⎪⎪⎭⎫⎝⎛==000000000101101023R R R M M M ⎪⎪⎪⎪⎪⎭⎫⎝⎛==000000001010010134R R R M M M ⎪⎪⎪⎪⎪⎭⎫⎝⎛=+++=0000100011111111432)(R R R R R t M M M M M∴t (R)={<a , a> , <a , b> , < a , c> , <a , d > , <b , a > , < b ,b > , < b , c . > , < b , d > , < c , d > }简答题8 32如以下图所示的赋权图表示某七个城市721,,,v v v 及预先算出它们之间的一些直接通信线路造价,试给出一个设计方案,使得各城市之间能够通信而且总造价最小。

答: 用Kruskal 算法求产生的最优树。

算法略。

结果如图:树权C(T)=23+1+4+9+3+17=57即为总造价。

简答题833设<Z6,+6>是一个群,这里+6是模6加法,Z6={[0 ],[1],[2],[3],[4],[5]},试求出<Z6,+6>的所有子群。

答: 子群有<{[0]},+6>;<{[0],[3]},+6>;<{[0],[2],[4]},+6>;<{Z6},+6> 简答题8 34权数1,4,9,16,25,36,49,64,81,100构造一棵最优二叉树。

离散数学考试试题及答案

离散数学考试试题及答案

离散数学考试试题及答案一、单项选择题(每题5分,共20分)1. 在离散数学中,以下哪个概念不是布尔代数的基本元素?A. 逻辑与B. 逻辑或C. 逻辑非D. 逻辑异或答案:D2. 下列哪个命题不是命题逻辑中的命题?A. 所有学生都是勤奋的B. 有些学生是勤奋的C. 学生是勤奋的D. 勤奋的学生答案:D3. 在集合论中,以下哪个符号表示集合的并集?A. ∩B. ∪C. ⊆D. ⊂答案:B4. 以下哪个图不是无向图?A. 简单图B. 完全图C. 有向图D. 多重图答案:C二、填空题(每题5分,共20分)1. 如果一个命题的逆否命题为真,则原命题的________为真。

答案:逆命题2. 在图论中,如果一个图的任意两个顶点都由一条边连接,则称这个图为________图。

答案:完全3. 一个集合的幂集是指包含该集合的所有________的集合。

答案:子集4. 如果一个函数的定义域和值域都是有限集合,那么这个函数被称为________函数。

答案:有限三、简答题(每题10分,共30分)1. 请简述什么是图的欧拉路径。

答案:欧拉路径是一条通过图中每条边恰好一次的路径。

2. 解释什么是二元关系,并给出一个例子。

答案:二元关系是指定义在两个集合之间的关系,它将第一个集合中的元素与第二个集合中的元素联系起来。

例如,小于关系就是一个二元关系。

3. 请说明什么是递归函数,并给出一个简单的例子。

答案:递归函数是一种通过自身定义来计算函数值的函数。

例如,阶乘函数就是一个递归函数,定义为:n! = n * (n-1)!,其中n! = 1当n=0时。

四、计算题(每题10分,共30分)1. 计算以下逻辑表达式:(P ∧ Q) ∨ ¬R答案:首先计算P ∧ Q,然后计算¬R,最后计算两者的逻辑或。

2. 给定集合A = {1, 2, 3},B = {2, 3, 4},求A ∪ B。

答案:A ∪ B = {1, 2, 3, 4}3. 已知函数f(x) = 2x + 3,求f(5)。

离散数学(简答题)

离散数学(简答题)

1、设简单图G所有结点的度数之和为12,则G一定有_____条边。

问题反馈【教师释疑】正确答案:【6 】62、设X={a,b,c},Ix是X上恒等关系,要使Ix∪{〈a,b〉,〈b,c〉,〈c,a〉,〈b,a〉}∪R为X 上的等价关系,R应取_______. 问题反馈【教师释疑】正确答案:【{〈a,c〉,〈c,b〉} 】{〈a,c〉,〈c,b〉}3、命题公式的任意两个不同极小项的合取式一定为_________. 问题反馈【教师释疑】正确答案:【永假式】永假式4、一个公式在等价意义下,_______范式写法是唯一的。

问题反馈【教师释疑】正确答案:【主析取】主析取5、若P:他聪明;Q:他用功;则“他虽聪明,但不用功”,可符号化为_______ 问题反馈【教师释疑】正确答案:【P∧┐Q 】P∧┐Q6、设R是A上的二元关系,且RRR为R的子集,可以肯定R应是_____关系。

问题反馈【教师释疑】正确答案:【传递】传递7、设集合A={1, 2, 3, 4},A上的二元关系R={(1,1),(1,2),(2,3)}, S={(1,3),(2,3),(3,2)}。

则R×S =__________________, 问题反馈【教师释疑】正确答案:【{(1,3),(2,2)} 】{(1,3),(2,2)}8、设谓词的定义域为{a, b},将表达式"任意xR(x)→彐xS(x)"中量词消除,写成与之对应的命题公式是__________________. 问题反馈【教师释疑】正确答案:【(R(a)∧R(b))→(S(a)∨S(b)) 】(R(a)∧R(b))→(S(a)∨S(b))9、设集合A,B,其中A={1,2,3}, B= {1,2}, 则A - B=____________________; 问题反馈【教师释疑】正确答案:【{3} 】{3}10、设G是完全二叉树,G有7个点,其中4个叶点,则G的总度数为__________ 问题反馈【教师释疑】正确答案:【12 】1211、设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A∩B=_________________________; 问题反馈【教师释疑】正确答案:【{4} 】{4}12、设A={a, b, {a, b}},B={a, b},则B-A =________ 问题反馈【教师释疑】正确答案:【Φ】Φ13、设G是具有8个顶点的树,则G中增加_________条边才能把G变成完全图。

离散数学试题及答案

离散数学试题及答案

离散数学试题及答案一、选择题(每题2分,共20分)1. 集合A={x|x<5},集合B={x|x>2},则A∩B为:A. {x|x>2}B. {x|x<2}C. {x|2<x<5}D. {x|x≥5}2. 命题p:"x>0"是命题q:"x^2>0"的:A. 必要条件B. 充分条件C. 充分必要条件D. 无关条件3. 函数f(x)=x^2+3x-2的值域是:A. (-∞, -1]B. [1, +∞)C. (-∞, 4]D. (-∞, 2]4. 逻辑表达式((P∨Q)∧(¬P))的真值表中,当P为真时,表达式的值为:A. 真B. 假C. 不确定D. 无法判断5. 已知二元关系R定义在集合A上,若对于任意a,b,c∈A,若aRb且bRc,则aRc,那么R是:A. 自反的B. 对称的C. 传递的D. 完全的6. 有限状态自动机(DFA)与确定有限状态自动机(DFA)的区别在于:A. DFA可以识别非正则语言B. DFA可以有多个起始状态C. DFA可以有多个接受状态D. DFA可以有多个状态7. 命题逻辑中,若命题P的否定为P',则P和P'的关系是:A. 互为对立B. 互为矛盾C. 互为等价D. 互为同一律8. 集合{1,2,3}的子集个数是:A. 3B. 4C. 7D. 89. 一个命题逻辑公式的真值表中,若存在一行结果为假,则该公式:A. 总是假B. 有时真,有时假C. 总是真D. 无法判断10. 布尔代数中,逻辑与(AND)操作的特点是:A. 有0则0B. 有1则1C. 非0即1D. 非1即0二、简答题(每题5分,共10分)1. 简述集合论中的幂集概念。

2. 描述图的邻接矩阵表示方法。

三、计算题(每题10分,共30分)1. 证明函数f(x)=x^3-3x^2+2x-1在R上是单调递增的。

离散数学试题及答案解析

离散数学试题及答案解析

离散数学试题及答案解析一、单项选择题(每题2分,共10分)1. 集合A={1,2,3},集合B={2,3,4},则A∩B等于:A. {1,2,3}B. {2,3}C. {1,4}D. {3,4}答案:B2. 以下哪个命题是真命题?A. 所有天鹅都是白色的。

B. 有些天鹅不是白色的。

C. 所有天鹅都不是白色的。

D. 没有天鹅是白色的。

答案:B3. 函数f: A→B的定义域是A,值域是B,那么f是:A. 单射B. 满射C. 双射D. 既不是单射也不是满射答案:D4. 逻辑表达式(p∧q)→r的逆否命题是:A. ¬r→¬(p∧q)B. ¬r→¬p∨¬qC. r→(p∧q)D. ¬r∧¬p∨¬q答案:B5. 有限集合A={a, b, c}的子集个数为:A. 3B. 4C. 7D. 8答案:D二、填空题(每题3分,共15分)1. 如果一个关系R在集合A上是自反的,那么对于A中的每一个元素a,都有___________。

答案:(a, a)∈R2. 命题逻辑中,合取(AND)的逻辑运算符用___________表示。

答案:∧3. 在图论中,一个连通图是指图中任意两个顶点之间都存在___________。

答案:路径4. 集合{1, 2, 3}的幂集包含___________个元素。

答案:85. 如果一个函数f是单射,那么对于任意的x1, x2∈A,如果f(x1)=f(x2),则x1___________x2。

答案:=三、解答题(每题10分,共20分)1. 证明:若p是q的充分条件,q是r的充分条件,则p是r的充分条件。

证明:假设p成立,由于p是q的充分条件,所以q成立。

又因为q是r的充分条件,所以r成立。

因此,p成立可以推出r成立,即p是r的充分条件。

2. 给定一个有向图,其中包含顶点A、B、C、D,边为(A, B),(B, C),(C, D),(D, A),(A, C)。

离散数学本科试题及答案

离散数学本科试题及答案

离散数学本科试题及答案一、选择题(每题5分,共20分)1. 在集合论中,空集的定义是:A. 包含所有集合的集合B. 不包含任何元素的集合C. 包含所有非空集合的集合D. 包含所有有限集合的集合答案:B2. 在逻辑运算中,非运算的符号是:A. ∧B. ∨C. ¬D. →答案:C3. 以下哪个选项是图的邻接矩阵表示法?A. 邻接表B. 顶点列表C. 边列表D. 所有选项都是答案:A4. 以下哪个命题是真命题?A. 所有的偶数都是整数B. 所有的整数都是偶数C. 所有的奇数都是整数D. 所有的整数都是奇数答案:A二、填空题(每题5分,共20分)1. 在布尔代数中,逻辑与运算的符号是________。

答案:∧2. 如果一个图是无向图且任意两个顶点都相连,则称这个图是________。

答案:完全图3. 在关系数据库中,关系模式的属性名集合称为________。

答案:关系模式4. 一个命题的逆否命题与其原命题的________是相同的。

答案:真假性三、简答题(每题10分,共30分)1. 描述什么是二元关系,并举例说明。

答案:二元关系是定义在两个集合上的一个关系,它由有序对组成,每个有序对的第一个元素来自第一个集合,第二个元素来自第二个集合。

例如,小于关系是实数集上的一个二元关系,因为对于任意两个实数a和b,如果a小于b,那么有序对(a, b)属于这个关系。

2. 解释什么是图的哈密顿回路,并给出一个例子。

答案:图的哈密顿回路是一条通过图中每个顶点恰好一次的闭合路径。

例如,在一个五边形的顶点上,可以画出一条哈密顿回路,即从任一顶点出发,依次经过其他顶点,最后回到起始顶点。

3. 什么是正规文法?请给出一个例子。

答案:正规文法是一种形式文法,它能够生成正规集合,即可以被有限自动机接受的字符串集合。

例如,正规文法可以定义为:S -> aSb| ε,其中S是开始符号,a和b是字母,ε表示空字符串。

这个文法生成的字符串集合是所有长度为偶数的字符串,其中a和b交替出现。

离散数学考试试题及答案

离散数学考试试题及答案

离散数学考试试题及答案一、选择题(每题2分,共20分)1. 在集合论中,以下哪个选项表示“属于”关系?A. ⊆B. ⊂C. ∈D. ⊇答案:C2. 以下哪个命题是真命题?A. p ∧ ¬pB. p ∨ ¬pC. p → ¬pD. ¬(p → q) → p答案:B3. 以下哪个选项是命题逻辑中的德摩根定律?A. ¬(p ∨ q) = ¬p ∧ ¬qB. ¬(p ∧ q) = ¬p ∨ ¬qC. ¬(p → q) = p ∧ ¬qD. ¬(p ∨ q) = ¬p ∨ ¬q答案:A4. 以下哪个选项是命题逻辑中的蕴含等价?A. p → q ≡ ¬p ∨ qB. p → q ≡ ¬q → ¬pC. p → q ≡ p ∨ ¬qD. p → q ≡ ¬p ∧ q答案:A5. 以下哪个选项是关系的性质?A. 反身性B. 对称性C. 传递性D. 所有选项都是答案:D6. 以下哪个选项是图论中的有向图?A. 无向图中的边没有方向B. 有向图中的边有方向C. 混合图中的边既有方向也有无方向D. 所有选项都是答案:B7. 在图论中,以下哪个选项是树的性质?A. 树是无环的B. 树是连通的C. 树是无向图D. 所有选项都是答案:D8. 以下哪个选项是布尔代数的基本运算?A. 与(AND)B. 或(OR)C. 非(NOT)D. 所有选项都是答案:D9. 以下哪个选项是组合数学中的排列?A. 从n个不同元素中取出m个元素的组合B. 从n个不同元素中取出m个元素的排列C. 从n个相同元素中取出m个元素的组合D. 从n个相同元素中取出m个元素的排列答案:B10. 以下哪个选项是集合论中的幂集?A. 一个集合的所有子集的集合B. 一个集合的所有真子集的集合C. 一个集合的所有超集的集合D. 一个集合的所有子集的个数答案:A二、简答题(每题10分,共30分)1. 简述命题逻辑中的等价命题是什么?答案:等价命题是指两个命题在所有可能的真值赋值下都具有相同真值的命题。

离散数学题库简答题之欧阳家百创编

离散数学题库简答题之欧阳家百创编

欧阳索引创编 2021.02.02编号欧阳家百(2021.03.07)题目答案题型 分值大纲难度 11 设集合A={a ,b ,c ,d}上的关系R={<a , b > ,< b , a > ,< b, c > , <c ,d >}用矩阵运算求出R 的传递闭包t (R)。

答: ⎪⎪⎪⎪⎪⎭⎫⎝⎛=0000100001010010R M , ⎪⎪⎪⎪⎪⎭⎫⎝⎛==00000000101001012R R R M M M ⎪⎪⎪⎪⎪⎭⎫⎝⎛==000000000101101023R R R M M M ⎪⎪⎪⎪⎪⎭⎫⎝⎛==000000001010010134R R R M M M ⎪⎪⎪⎪⎪⎭⎫⎝⎛=+++=0000100011111111432)(R R R R R t M M M M M∴t (R)={<a , a> , <a , b> , < a , c> , <a , d > , <b , a > , < b ,b > , < b , c . > , < b , d > , < c , d > }简答题8 4.332如下图所示的赋权图表示某七个城市721,,,v v v 及预先算出它们之间的一些直接通信线路造价,试给出一个设计方案,使得各城市之间能够通信而且总造价答: 用Kruskal 算法求产生的最优树。

算法略。

结果如图:简答题8 7.2 3最小。

树权C(T)=23+1+4+9+3+17=57即为总造价。

3设<Z6,+6>是一个群,这里+6是模6加法,Z6={[0 ],[1],[2],[3],[4],[5]},试求出<Z6,+6>的所有子群。

答: 子群有<{[0]},+6>;<{[0],[3]},+6>;<{[0],[2],[4]},+6>;<{Z6},+6> 简答题8 8.3 34权数1,4,9,16,25,36,49,64,81,100构造一棵最优二叉树。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

简答题1.用真值表法判断下列公式的类型.(1)(P Q)(P Q)(2)(P∧Q)R(3)(P(P Q))R(4)(P Q)Q解:(1)(P∧Q)(P∧Q)的真值表为:P Q R (P Q)P∧Q (P Q)(P Q)0 0 0 1 1 10 0 1 1 1 10 1 0 1 0 00 1 1 1 0 01 0 0 1 0 01 0 1 1 0 01 1 0 0 0 11 1 1 0 0 1由真值表得,此公式(1)为可满足式。

(2)(P Q)R的真值表为:P Q R Q P Q (P Q)R0 0 0 1 0 10 0 1 1 0 10 1 0 0 0 10 1 1 0 0 11 0 0 1 1 01 0 1 1 1 11 1 0 0 0 11 1 1 0 0 1(3)(P(P Q))R的真值表为:P Q R P Q P(P∨Q)(P(P Q))R0 0 0 0 1 10 0 1 0 1 10 1 0 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 111由真值表得,此公式(3)为永真式。

(4)(P Q )Q 的真值表为: P Q PQ (P Q )(PQ )Q0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 1 1 10 0由真值表得,此公式(4)为永假式。

2.用真值表的方法求(P Q )(Q R )的主析取范式和主合取范式。

解:(P Q )(Q R )的真值表P Q R P QQ R (PQ )(Q R )0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 0 0 1 1 0 1 0 0 1 1 1 1 11(P Q )(Q R ) 0147m m m m ∨∨∨主合取范式为:(P Q )(QR )2356M M M M ∧∧∧3.用等值演算法求((P Q )R )P 的主析取范式和主合取范式。

解:((PQ )R )P ((P Q )R )P ((PQ )R )P(P R )(Q R )P (析取范式) P (Q R )(析取范式)(P (Q Q )(R R ))((Q R )( P P )) (P Q R )(P Q R )(PQR )(P Q R ) (P Q R )(PQ R )(六个极小项,其中重复了一个) (PQR )(PQR )(PQ R )(PQR )(P QR )24567m m m m m ∨∨∨∨ (主析取范式)由主合取范式与主析取范式的关系得: ((PQ )R )P013M M M ∧∧ (主合取范式)4.求下列公式的主析取和合取范式。

(1)(┐P Q)∧(P R)(2)(PQ)∨(P∧R)(3) P ∧Q ∨R 解:(1)(┐PQ)∧(PR) (P∨Q)∧(┐P∨R) (合取范式) ((P∨Q)∨(R∧┐R ))∧((┐P∨R)∨(Q ∧┐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) (主合取范式)0146M M M M ∧∧∧由主合取范式与主析取范式的关系得: (┐P Q)∧(P R)2567m m m m ∨∨∨(主析取范式)(2)(P Q)∨(P∧R)(┐P∨Q)∨(P∧R ) (P∨┐P∨Q )∧(┐P∨Q ∨R) (合取范式)(1∨Q )∧(┐P∨R∨Q )┐P ∨Q∨R (主合取范式) 4M由主合取范式与主析取范式的关系得: (P Q)∨(P∧R)0123567m m m m m m m ∨∨∨∨∨∨(3) P ∧Q ∨R (P ∨R)∧(Q∨R)(P ∨(Q ∧┐Q)∨R)∧((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)024M M M ∧∧ (合取范式)由主合取范式与主析取范式的关系得: P ∧Q ∨R13567m m m m m ∨∨∨∨ (主析取范式)5.给定解释I 如下: (1)I D ={2,3};(2)I D 中的特定元素a=2;(3)I D 上的函数f(x)为f(2)=3,f(3)=2; (4)I D 上的谓词F(x)为F(2)=0,F(3)=1;.G (x,y)为G(2,2)= G(2,3)= G(3,2)=1, G(3,3)=0;L(x,y)为L(2,2)=L(3,3)=1,L(2,3)= L(3,2)= 0;在这个解释下,求下列各式的值:(1)x(F(x)∧G(x,a));(2) x(F(f(x))∧G(x,f(x))) ; (3) x yL(x,y); (4)y xL(x,y);(5)x y( L(x,y) →L(f(x),f(y)))解:(1) x(F(x)∧G(x,a))(F(2)∧G(2,2))∧(F(3)∧G(3,2)) (0∧1)∧(1∧1) 0(2)x(F(f(x))∧G(x,f(x)))(F(f(2))∧G(2,f(2))) ∨ (F(f(3))∧G(3,f(3))) (F(3)∧G(2,3)) ∨ (F(3)∧G(3,3)) (1∧1) ∨(0∧1) 1 (3)xyL(x,y)yL(2,y)∧yL(3,y)(L(2,2)∨L(2,3))∧(L(3,2)∨L(3,3))1∧1 1 (4)y xL(x,y)y(L(2,y)∧L(3,y))(L(2,2)∧L(3,2))∨ (L(2,3)∧L(3,3))0 ∨ 0(5)x y( L(x,y) →L(f(x),f(y)))y(L(2,y)→L(f(2),f(y)))∧y(L(3,y)→L(f(3),f(y))) (L(2,2)→L(f(2),f(2)))∧(L(2,3)→L(f(2),f(3)))∧(L(3,2)→L(f(3),f(2)))∧(L(3,3)→L(f(3),f(3)))(1→L(3,3))∧(0→L(3,2))∧(0→L(2,3))∧(1→L(2,2)) (1→1)∧(0→0)∧(0→0)(1→1)6.给定解释I如下:(a)个体域D为实数集合R;ID中的特定元素a=0;(b)ID上的特定函数f(x,y)=x-y;(c)I(d)D上的特定谓词F(x,y):x=y,G(x,y):x<yI说明下列公式在I下的含义,并指出其真值。

(1)x y(G(x,y) →┐F(x,y))(2) x y(F(f(x,y),a) →G(x,y))(3) x y(G(x,y) →┐F(f(x,y),a) )(4) x y(G(f(x,y),a) → F(x,y) )解:(1) x y(G(x,y) →┐F(x,y))含义:任意两个实数x,y,若x<y,则就不会有x=y.真值为1。

(2) x y(F(f(x,y),a) →G(x,y))含义:任意两个实数x,y,若x-y=0,则x<y。

真值不确定。

(3) x y(G(x,y) →┐F(f(x,y),a) )含义:任意两个实数x,y,若x<y,则就不会有x-y=0。

真值为1。

(4) x y(G(f(x,y),a) → F(x,y) )含义:任意两个实数x,y,若x-y<0,则x=y。

真值不确定.7.设个体域为D={a,b,c},将下列各公式的量词去掉。

(1) x(F(x)→G(x))(2) x(F(x)∨yG(y))(3) x yF(x,y)(4) x(F(x,y) → yG(y))解: (1)x(F(x)→G(x))(F(a)→G(a))∧(F(b)→G(b))∧(F(c)→G(c))(2)xF(x)∨yG(y)(F(a)∧F(b)∧F(c))∨(G(a)∨ G(b)∨ G(c))(3)x yF(x,y)x( F(x,a)∧F(x,b)∧F(x,c))(F(a,a)∧F(a,b)∧F(a,c))∨(F(b,a)∧F(b,b)∧F(b,c))∨(F(c,a)∧F(c,b)∧F(c,c))(4) x(F(x,y) → yG(y))xF(x,y) → yG(y)F(a,y)∨F(b,y)∨F(c,y)→G(a)∨G(b)∨G(c)8.求公式下列公式的前束范式。

(1)"xF(x,y) →$yG(x,y)(2) xF(x)∧xG(x)(3) xF(x) → yG(x,y)(4) x(F(x,y) → y G(x,y,z) )(5) (xF(x,y) →yG(y)) → xH(x,y,z)(6) xF(x,y) →(F(x) →┐yH(x,y))解:(1) "xF(x,y) →$yG(x,y)Û"xF(x, t) → $yG(s,y)Û $x(F(x, t) → $yG(s,y))Û $x$y(F(x, t) →G(s,y))(2) xF(x)∧xG(x)xF(x)∧yG(y) (换名规则)x y(F(x)∧G(y)) (量词辖域扩张等值式)(3)xF(x) → yG(x,y)xF(x) → yG(z,y) (换名规则)x y(F(x) → G(z,y)) (量词辖域扩张等值式)(4)x(F(x,y) → y G(x,y,z))x(F(x,a) → y G(x,y,z)) (代替规则)x y(F(x,a) → G(x,y,z))(量词辖域扩张等值式)(5)(xF(x,y) →yG(y)) → xH(x,y,z) (xF(x,a) →y G(y))→ b H(b,a,z) (换名规则)x y(F(x,a) →G(y))→ b H(b,a,z) (量词辖域扩张等值式)x y b ((F(x,a) →G(y))→H(b,a,z)) (量词辖域扩张等值式)(6) xF(x,y) →(F(x) →┐yH(x,y))xF(x,y) →(F(a) →┐yH(a,y))xF(x,y)→(F(a) →y ┐H(a,y))xF(x,y)→y(F(a) →┐H(a,y))x y(F(x,y)→(F(a) →┐H(a,y))9.化简下式各式(1).((A∪B∪C)-(B∪C))∪A(2).(A∩B)-(C-(A∪B))(3).((AÈBÈC)Ç(AÈB))-((AÈ(B-C))ÇA)解:(1)((A∪B∪C)-(B∪C))∪A=((A∪(B∪C))∩(B∪C))∪A=(A∩(B∪C))∪((B∪C)∩(B∪C))∪A=(A∩(B∪C))∪Φ∪A=A 吸收律(2)(A∩B)-(C-(A∪B))=(A∩B)-(C∩(A∪B))=(A∩B)-(C∩(A∩B))=(A∩B)∩(C∩A∩B)=(A∩B)∩(C∪A∪B)=A∩B 吸收律(3)((AÈBÈC)Ç(AÈB))-((AÈ(B-C))ÇA)=(AÈB)-A (利用两次吸收律)=(AÈB)Ç A=(AÇA)È(BÇA)=ΦÈ(BÇA)=B- A10.设A={a, b, {a, b}}, B={a, b},试求B-A,A⊕B解:B-A=B-B∩A={a, b}-{a, b}∩{a, b, {a, b}}={a, b}-{a, b}=ΦA⊕B=A∪B-A∩B={a, b, {a, b}}∪{a, b}-{a, b, {a, b}}∩{a, b}={a, b, {a, b}}-{a, b}={{a, b}}11.对60个学生参加课外活动的情况进行调查。

相关文档
最新文档