021第14题图1928743第15题图610《计算机数学基础(1)》离散数学试题一、单项选择题(每小题2分,共10分)1
命题公式P(PP)的类型是()(A)永真式(B)矛盾式(C)非永真式的可满足式(D)析取范式2
设个体域是整数集合,P代表xy((xy)(xyx)),下面4个命题中为真的是()(A)P是真命题(B)P是假命题(C)P是一阶逻辑公式,但不是命题(D)P不是一阶逻辑公式3
设A,B,C都是集合,如果AC=BC,则有()(A)A=B(B)AB(C)当A-C=B-C时,有A=B(D)当C=U时,有AB4
设集合A={,a},则P(A)=()(A){∅,{a},{∅,a}}(B){{∅},{a},{∅,a}}(C){∅,{∅},{a},{∅,{a}}},A¿(D){∅,{∅},{a},{∅,a}}¿5
给定无向图如第5题图所示,下面给出的顶点集子集中,不是点割集的为()(A){b,d}(B){d}(C){a,c}(D){g,e}二、填空题(每小题3分,共15分)6
设F(x):x是素数,E(x):x是偶数,命题“不是所有的素数都不是偶数”符号化为:7
设A,B为任意集合,命题AB的真值为.8
设A、B为有限集,且m,n,那末A与B间存在双射,当且仅当.9
在有向图的邻接矩阵中,第i行元素之和与第j列元素之和分别为.10
无向图G为欧拉图,当且仅当G是连通的,且G中无结点.三、化简解答题(每小题8分,共32分)11
指出谓词公式∀x((P(x)→Q(x,y))∧∃xR(x))∧S(x)中x和x的辖域,并指出该公式的约束变元和自由变元以及约束出现次数和自由出现次数.12
化简集合表达式:((ABC)(AB))-((B(B-C))-A)13
设集合A={0,1,2,3,4},定义A上的二元关系R为