1、阅卷密封装订线常熟理工学院20 20 学年第 学期离散数学考试试卷(试卷库01卷)试题总分: 100 分 考试时限:120 分钟题号一二三四五总分阅卷人得分一、单项选择题(每题2分,共20分)1. 下列表达式正确的有( )(A) (B)(C)(D)2. 设P:22=5,Q:雪是黑的,R:24=8,S:太阳从东方升起,下列( )命题的真值为真。(A)(B)(C)(D)3. 集合A=1,2,10上的关系R=|x+y=10,x,yA,则R 的性质为( )(A)自反的(B)对称的 (C)传递的,对称的 (D)传递的4. 设,其中表示模3加法,*表示模2乘法,在集合上定义如下运算:有称为的积代数,则的积
2、代数幺元是( )(A)(B)(C)(D)5. 下图中既不是Eular图,也不是Hamilton图的图是( )6. 设为无向图,则G一定是( )(A)完全图(B)树(C)简单图(D)多重图7. 设P:我将去镇上,Q:我有时间。命题“我将去镇上,仅当我有时间”符号化为( )。(A) PQ(B)QP(C)PDQ(D)8. 在有n个结点的连通图中,其边数( )(A)最多有n-1条 (B)最多有n 条 (C)至少有n-1条 (D)至少有n条9. 设AB,则有( )(A)B (B)B (C)AB (D)AB10. 设集合A上有3个元素,则A上的不同的等价关系的个数为( )(A)5 (B)7 (C)3 (D
3、)6二、填空题(每题2分,共20分)1 n个命题变元组成的命题公式共有 种不同的等价公式。 2 设L,为有界格,a为L中任意元素,如果存在元素bL,使 ,则称b是a的补元。3 设*,是定义在集合A上的两个可交换二元运算,如果对于任意的x,yA,都有 ,则称运算*和运算满足吸收律。4 设T是一棵树,则T是一个连通且 的图。5 一个公式的等价式称作该公式的主合取范式是指它仅由 组成。6 量词否定等价式 (x)P(x) , ($x)P(x) 。7 二叉树有5个度为2的结点,则它的叶子结点数为 。8 设是一个群,是阿贝尔群的充要条件是 。9 集合S=,上的二元运算*为*那么,代数系统中的幺元是 , 的
4、逆元是 。10 设A=,B=, = 。= 。三、判断题(每题1分,共10分)1. 命题公式是一个矛盾式。( )2. ,若,则必有。( )3. 设S为集合X上的二元关系,则S是传递的当且仅当(SS)S。( )4. 任何一棵二叉树的结点可对应一个前缀码。( )5. 代数系统中一个元素的左逆元一定等于该元素的右逆元。( )6. 一个有限平面图,面的次数之和等于该图的边数。( )7. AB = BA ( )8. 设*定义在集合A上的一个二元运算,如果A中有关于运算*的左零元l和右零r,则A中有零元。( )9. 一个循环群的生成元不是唯一的。( )10. 任何一个前缀码都对应一棵二叉树。( )四、解答题
5、(5小题,共30分)1. (5分)什么是欧拉路?如何用欧拉路判定一个图G是否可一笔画出?2. (8分)求公式 (PQ)R 的主析取范式和主合取范式。3. (5分)已知一棵无向树中有2个2度顶点、1个3度顶点、3个4度顶点,其余顶点度数都为1。问它有多少个1度顶点?4. (7分)权数1,4,9,16,25,36,49,64,81,100构造一棵最优二叉树。5. (5分)集合上的关系,写出关系矩阵,画出关系图并讨论R的性质。五、证明(3小题,共20分)1. (10分)用推理P,T规则证明:PQ, PR, QS RS。2. (5分)设,是三个集合,证明:(AB)(AC)=A(BC)。3. (5分)设
6、是群,aG。令H=xG|a*x=x*a。试证:H 是G 的子群。常熟理工学院20 20 学年第 学期离散数学考试试卷(试卷库02卷)试题总分: 100 分 考试时限:120 分钟题号一二三四五总分阅卷人得分一、选择题(每题2分,共20分)1. 下列公式中哪些是永真式?( )(A)(PQ)(QR)(B) (PQ)P (C) P(QQ) (D)P(PQ)2. 下列推导错在( )PUSESUG(A)(B) (C) (D)无3. 集合A=1,2,3,4上的偏序关系图为图(0),则它的Hass图为( )4. 设R是实数集合,“”为普通乘法,则代数系统 不是( )(A)群(B)独异点(C)半群(D)广群5
7、. 连通非平凡的无向图G有一条欧拉回路当且仅当图G ( )(A)只有一个奇度结点(B)只有两个奇度结点(C)只有三个奇度结点(D)没有奇度结点6. 若一棵完全二元(叉)树有2n-1个顶点,则它( )片树叶(A)n(B)2n (C)n-1 (D)27. 在谓词演算中,是的有效结论,根据是( )。(A)US规则 (B) UG规则 (C) ES规则 (D) EG规则8. 设在上海工作;是上海人。则命题“在上海工作的人未必都是上海人”的符号化为( )。A (B) (C) (D) 9. 集合A上的关系R是相容关系的必要条件是( )(A)自反,反对称的(B)反自反,对称的(C)传递,自反的(D)自反,对称
8、的10. 下列各式错误的是( )(A)(B)(C)(D)二、填空题(每题2分,共20分)1. 设P、Q是命题公式,填写如下的基本等价关系式:(1)(PQ) $ ;(2) PDQ ;2. 若集合A上的关系R 满足 的三个性质,则R是偏序关系。3. 设A,B是两命题公式,当且仅当 。4. 给定无孤立点图G,若存在一条路满足 ,该条路称为欧拉路。5. 一个 称为布尔格。6. 对于实数集合R,在下表所列的二元远算是否具有左边一列中的性质,请在相应位上填写“Y”或“N” MaxMin+可结合性可交换性存在幺元存在零元7. 设为偏序集,BA,记B = y | yA且y是B的上界,若B有最小元,则称该最小元
9、为B的 。8. 一个公式的等价式称作该公式的主析取范式是指它仅由 组成。9. 由集合A和B的所有共同元素组成的集合称为A和B的交集,记作AB ,即AB= 。 10. 的图称为完全图。三、判断题(每题1分,共10分)1. “北京与天津的距离很近”是复合命题。( )2. 如果ACBC,则有AB。( )3. 设R1和R2是集合A上的关系,且R1R2,则有r(R1) r(R2)。( )4. 若平面图共有v个结点,e条边和r个面,则v-e+r=2。( )5. 任何循环群必定是阿贝尔群,反之亦真。( )6. 命题公式是没有真假值的。( )7. 格L,所诱导的代数系统为L,,则运算,满足交换律。( )8.
10、设函数f: AB, 则f 的逆关系是函数当且仅当f 是入射。( )9. 群的运算表中的每一行或每一列不一定是G的元素的一个置换。( )10. 任何一棵二叉树可对应一个前缀码。( )四、解答题(3小题,共20分)1. (5分)简述二叉树的定义。如何将任何一棵有序树(m叉树)改写为对应的二叉树? 2. (8分)求公式 (PQ)R 的主析取范式和主合取范式。3. (7分)如下图所示的赋权图表示某七个城市及预先算出它们之间的一些直接通信线路造价,试给出一个设计方案,使得各城市之间能够通信而且总造价最小。 五、证明(4小题,共30分)1. (10分)用推理P,T规则证明:PQ,QR,R,SPS。2. (
11、10分)若R和S都是非空集A上的等价关系,则RS是A上的等价关系。3. (6分)若图G不连通,则G的补图是连通的。4. (4分)I(整数集)上的二元运算*定义为:a,bI,a*b=a+b-2。证明是群。常熟理工学院20 20 学年第 学期离散数学考试试卷(试卷库03卷)试题总分: 100 分 考试时限:120 分钟题号一二三四五总分阅卷人得分一、单项选择题(每题2分,共20分)1. 在下述公式中不是重言式为( )(A)(B)(C)(D)2. 设,则BA是( )(A) (B) (C) (D)3. 设A=1,2,10 ,则下面定义的运算*关于A封闭的有( )(A)x*y=max(x ,y)(B)x
12、*y=质数p的个数使得(C)x*y=gcd(x , y)(gcd (x ,y)表示x和y的最大公约数)(D)x*y=lcm(x ,y) (lcm(x ,y) 表示x和y的最小公倍数)4. 设是偏序集,“”定义为:,则当集合A=( )时,是格(A)1,2,3,4,6,12 (B)1,2,3,4,6,8,12,14 (C)1,2,3,12 (D)1,2,3,45. 在有n个顶点的连通图中,其边数( )(A)最多有n-1条(B)至少有n条(C)最多有n条(D)至少有n-1条6. 一棵树有2个2度顶点,1 个3度顶点,3个4度顶点,则其1度顶点为( )(A)5(B)7 (C)8 (D)97. 公式G=
13、PP ,则G是( )(A)永真的 (B)永假的 (C)可满足的 (D)析取的8. 设P,Q的真值为0,R,S的真值为T,则下面命题公式中真值为T的是( ).(A)RP (B)QS (C)PDS (D)QR9. A=1,2,3上的关系R=,则R具备( )(A)传递性与反对称性 (B)传递性与对称性 (C) 自反性与对称性 (D)反自反性与对称性10. 连通图G是一颗树,当且仅当满足下述条件中那一个( )(A)有些边不是割边。 (B)每条边都是割边 (C)每条边都不是割边 (D)无割边集二、填空题(每题2分,共20分)1. 设P、Q是命题公式,填写如下的基本等价关系式:(1) PQ ;(2)PQ
14、;2. 若对命题P赋值T,Q赋值F,则命题PDQ的真值为 。3. 代数系统中,|A|1,如果分别为的幺元和零元,则的关系为 (填相等或不相等) 。4. 设集合A=1,2,3,4,5,6,7,8,9,10,定义A上的二元关系“”为x y = x|y , 则xy= 。5. 公式的根树表示为 。6. 重言式又叫 式,其定义为 。7 给定无孤立点图G,若存在一条回路满足 ,该回路称为欧拉回路。8 设R为X到Y的关系,S为从Y到Z上的关系, RS称为R和S的复合关系,则RS= 。9 设为群,若在G中存在一个元素a,使得 ,则称该群为循环群。10 设G是一个连通平面图,一个面的 称作该面的次数。三、判断题
15、(每题1分,共10分)1. 设 命题“所有的研究生都读过大学”符号化为:。( )2. 设P,Q是两个命题,当且仅当P,Q的真值均为T时,PDQ的值为T。( )3. 设A=a,b,c, R AA且R=, 则R是传递的。( ) 4. 在有向图中顶点间的相互可达关系是等价关系。( )5. 代数系统中一个元素若有左逆元,则该元素一定也有右逆元。( )6. 合式公式的定义是用一个递归形式给出的。( )7. 格L,所诱导的代数系统为L,,则运算,满足分配律。( )8. 设函数f: AB, 则f 的逆关系是函数当且仅当f 是满射。( )9. 群的运算表中的每一行或每一列都是G的元素的一个置换。( )10.
16、K3,3不是平面图。( )四、解答题(4小题,共30分)1. (5分)请解释谓词演算推理理论的US规则,UG规则,ES规则和EG规则。2. (8分)求公式 (PQ)(RP) 的主析取范式和主合取范式。3. (10分)集合上的偏序关系R为整除关系。设,试画出R的哈斯图,并求A,B,C的最大元素、极大元素、下界、上确界。4. (7分)假设英文字母,a,e,h,n,p,r,w,y出现的频率分别为12%,8%,15%,7%,6%,10%,5%,10%,求传输它们的最佳前缀码,并给出happy new year的编码信息。五、证明(3小题,共20分)1. (8分)用推理P,T规则证明:BD,(EF)D,
17、EB。2. (6分)证明在6个结点12条边的简单连通平面图中, 每个面的次数都是3。3. (6分)是一个群,设IEx|x=2n,nI,证明是的子群。常熟理工学院20 20 学年第 学期离散数学考试试卷(试卷库04卷)试题总分: 100 分 考试时限:120 分钟题号一二三四五总分阅卷人得分一、选择题(每题2分,共20分)1. 命题“尽管有人聪明,但未必一切人都聪明”的符号化(P(x):x是聪明的,M(x):x是人)( )(A)(B)(C)(D)2. 谓词公式中的x是( )(A)自由变元(B)约束变元(C) 既不是自由变元又不是约束变元(D)既是自由变元又是约束变元3. 集合A=1,2,3,4上
18、的偏序关系如图(0),则它的哈斯图为( )4. 设是布尔代数,f是从An到A的函数,则( )(A)f是布尔代数(B)f能表示成析取范式,也能表示成合取范式(C)若A=0,1,则f一定能表示成析取范式,也能表示成合取范式(D)若f是布尔函数,它一定能表示成析(合)取范式5. 设,*为普通乘法,则是( )(A)代数系统(B)半群(C)群(D)都不是6. 设无向图G有18条边且每个顶点的度数都是3,则图G有( )个顶点(A)10(B)4(C)8(D)127. 一个割边集与任何生成树之间( )(A)没有关系(B)至少有一条公共边(C)有一条公共边(D)割边集诱导子图是生成树8. 集合A上的等价关系R,
19、决定了A的一个划分,该划分就是( )(A)商集A/R(B)交集AR(C)差集A-R(D)并集AR9. 公式G=PP ,则G是( )(A)永真的 (B)永假的 (C)可满足的 (D)析取的10. 在有n个结点的连通图中,其边数( )(A)最多有n-1条 (B)至少有n-1条 (C)最多有n 条 (D)至少有n条二、填空题(每题2分,共20分)1. 设P、Q是命题公式,填写如下的基本等价关系式:(1)(PQ) # ;(2) PDQ ;2. n个命题变元有 个互不等价的极小项。3. 设n阶图G中有m条边,每个结点的度数不是k的是k+1,若G中有Nk个k度顶点,Nk+1个k+1度顶点,则Nk= 。4.
20、 设集合S=,S上的运算*定义为*则代数系统中幺元是 ,左逆元是 。5. 具有 的图称为欧拉图。6. 设*是定义在集合A上的一个二元运算,为A中的一个元素,如果对于任一xA,有 ,则称为A中关于运算*的零元。7. 是存在量词消去规则,简称ES规则。 8. R在A上是自反的 R。 9. 若偏序集A的每一个非空子集存在最小元,则称偏序集A为 集。10. 设图G=,如果有图G= ,使得 ,则称图G是图G的子图。三、判断题(每题1分,共10分)1. 命题公式是重言式。( )2. 公式中的辖域为。( )3. 不可能有某种关系,既是对称的,又是反对称的。( )4. 在任何有向图中,所有结点的入度的平方和等
21、于所有结点的出度的平方和。( )5. 设S=1,2,则S在普通加法和乘法运算下都封闭。( )6. PQ是一个合取范式。( )7. 格L,所诱导的代数系统为L,,则运算,满足结合律。( )8. 设函数f: AB, 则f 的逆关系是函数当且仅当f 是双射。( )9. 群中,除幺元e外,不可能有任何别的等幂元。( )10. 在任意图中,存在奇数个度数为奇数的结点。( )四、解答题(5小题,共30分)1. (5分)简述Warshall在1962年提出的求传递闭包的方法。2. (8分)求公式 Q(PR) 的主析取范式和主合取范式。3. (4分)设全集U=a,b,c,d,e, A=a,d, B=a,b,c
22、,求P(A)-P(B)。4. (9分)在二叉树中(1)求带权为2,3,5,7,8的最优二叉树T;(2)求T对应的二元前缀码。5. (4分)设S=QQ,Q为有理数集合,*为S上的二元运算:对任意,S,有 *=,求出S关于二元运算*的幺元以及当a0时,关于*的逆元。6. 五、证明(2小题,共20分)1. (10分)用推理P,T规则证明:P(QR),R(QS) P(QS)。2. (10分)设是半群,e是左幺元且对每一个,存在,使得。证明:对于任意的,如果a*b=b*c则b=c。通过证明e是A中的幺元,证明是群。常熟理工学院20 20 学年第 学期离散数学考试试卷(试卷库05卷)试题总分: 100 分
23、 考试时限:120 分钟题号一二三四五总分阅卷人得分一、选择题(每题2分,共20分)1. 下列是真命题的有( )(A) (B)(C)(D)2. 下列集合中哪个是最小联结词集( )(A)(B),D(C) ,D(D)3. 设,S上关系R的关系图如下 ,则R具有( )性质(A)自反性、对称性、传递性(B)反自反性、反对称性(C)反自反性、反对称性、传递性 (D)自反性4. 设,*为普通乘法,则是( )(A)代数系统(B)半群(C)群(D)都不是5. 如右图 相对于完全图K5的补图为( )6. 设G是n个结点、m条边和r个面的连通平面图,则m等于( )(A)n+r-2 (B)n-r+2 (C)n-r-
24、2 (D)n+r+2 7. 连通图G是一颗树,当且仅当满足下述条件中那一个()(A)有些边不是割边。 (B)每条边都是割边 (C)每条边都不是割边 (D)无割边集8. 设集合A=1,2,3,10,在集合A上定义运算,不是封闭的为( )(A) (B)(最大公约数)(C)(最小公倍数) (D)9. 设R和S是集合A上的等价关系,则RS的对称性( )(A)一定不成立 (B)一定成立 (C)不一定成立 (D)不可能成立10. 图G和G的结点和边分别存在一一对应关系是G和G同构的( )(A) 必要条件 (B) 充分条件 (C)充要条件 (D)既不充分也不必要条件二、填空题(每题2分,共20分)1. 设P
25、、Q是命题公式,填写如下的基本等价关系式:(1) PQ ;(2)PQ ;2. 任意两个不同小项的合取为 ,全体小项的析取式为 。3. 设S=a1,a2,a8,Bi是S的子集,且设B1=a8,则由B31所表达的子集是 。4. 设集合S=,S上的运算*定义为*则代数系统中幺元是 ,左逆元是 。5. n阶完全图Kn的点色数X(KN)= 。6. 无向图G具有一条欧拉路,当且仅当G是连通的,且 。7. *是定义在A上的一个二元运算, e是A中关于运算*的幺元。如果对于A中的一个元素a存在着A中的某个元素b,使得 ,那么就称b是a的一个逆元。8. 是存在量词引入规则,简称EG规则。9. 设X和Y是任意两个
26、集合,而f 是X到Y的一个关系,如果 ,称关系f 为函数。10. 设图G的子图为G,如果 ,则称该图G为G的生成子图。三、判断题(每题1分,共10分)1. 命题公式是重言式。( )2. 设 命题“所有的研究生都读过大学”符号化为:。( )3. AB当且仅当AB=A。( )4. 在有向图中,所有结点的入度平方之和等于出度平方之和。( )5. 设是群的子群,则中幺元不一定是中幺元。( )6. 对于n个结点的完全图Kn,有X(Kn)n。( )7. A(BC) = (AB)(AC) ( )8. 群中的运算不满足消去律。( )9. 质数阶群必定是循环群。( )10. ($x)(A(x)B(x) ($x)
27、A(x)($x)B(x)( )四、解答题(5小题,共30分)1. (5分)什么是集合的划分,如何根据集合A的一个划分确定A的元素间的一个等价关系? 2. (8分)求公式 (PR)(PQ)的主析取范式和主合取范式。3. (4分)设A=a,d, B=a,b,c, C=b,d。求集合(A-B)(B-C)。4. (7分)在通讯中,八进制数字出现的频率如下:0:20%、1:30%、2:10% 、3:15%、4:10%、5:5%、6:5%、7:5%,求传输它们最佳前缀码(写出求解过程)。5. (6分)某年级共有9门选修课程,期末考试前必须提前将这9门课程考完,每人每天只在下午考一门课,若以课程表示结点,有
28、一人同时选两门课程,则这两点间有边(其图如右),问至少需几天?五、证明(2小题,共20分)1. (10分)用推理P,T规则证明:PQ,PR,RSSQ。2. (10分)设,在上定义关系当且仅当,证明是上的等价关系,并求出R。常熟理工学院20 20 学年第 学期离散数学考试试卷(试卷库06卷)试题总分: 100 分 考试时限:120 分钟题号一二三四五总分阅卷人得分一、单项选择题(每题2分,共20分)1. 设是人,犯错误,命题“没有不犯错误的人”符号化为( )(A)(B)(C)(D)2. 下列公式是重言式的有( )(A)(B)(C)(D)3. 设A= ,B=(A) 下列( )表达式不成立 (A)
29、(B) (C) (D) 4. 下面偏序集( )能构成格5. 6阶有限群的任何子群一定不是( )(A)2阶(B)3 阶(C)4 阶(D)6 阶6. 一棵无向树T有7片树叶,3个3度顶点,其余顶点均为4度。则T有( )个4度结点(A)1(B)2(C)3(D)47. 设G是一个哈密尔顿图,则G一定是( )(A)欧拉图 (B)树 (C)平面图 (D)连通图 8. 设R和S是集合A上的等价关系,则RS的对称性()(A)不一定成立 (B)一定不成立 (C)一定成立 (D)不可能成立9. 设G=,|V|=n,|E|=m为连通平面图且有r个面,则r=( )(A)n-m-2(B)m-n+2 (C)n+m-2 (
30、D)m+n+210. 在0_之间填上正确的符号是( ) (A) = (B) (C) (D)二、填空题(每题2分,共20分)1. 设P、Q是命题公式,填写如下的基本等价关系式:(1)(PQ) # ;(2) PDQ ;2. 若P,Q,为二命题,真值为F 当且仅当 。3. 设考虑下列子集,。,。则是A的覆盖的子集有 ,是A的划分的子集有 。4. 设是一个群,则(A)若a,b,xG,ax=b,则x= 。(B)若a,b,xG,ax=ab,则x= 。5. n阶无向完全图Kn的边数是 ,每个结点的度数是 。6. 无向图G具有一条欧拉回路,当且仅当G是连通的,且 。7. 一般来说,命题公式用 联结词组表示。8
31、. 是反对称的RRc 。9. 设函数f : AB,g: CD,如果A=C,B=D,且 ,则称函数f和g相等,记作f = g。10. 在无向图G中,如果结点u和v之间 ,则结点u和v称为是连通的。三、判断题(每题1分,共10分)1. 若P为命题变元,PP为主合取范式。 ( )2. 如果AB,则有AB。( )3. 设R1和R2是集合A上的关系,且R1R2,则有t(R1) t(R2)。( )4. 在完全二元树中,若有片叶子,则边的总数。( )5. 独异点的运算表中任意两行都是不相同的。( ) 6. 任意平面图G最多是5-色的。( )7. AB = BA ( )8. 群中的运算不满足消去律。( )9.
32、 质数阶群不一定是循环群。( )10. (x)F(x) ($x)F(x) ( )四、解答题(5小题,共30分)1. (5分)已知一个偏序关系,如何画出它的哈斯图?2. (8分)求公式 (PQ)(RP) 的主析取范式和主合取范式。3. (6分)如右图给出的赋权图表示六个城市及架起城市间直接通讯线路的预测造价。试给出一个设计方案使得各城市间能够通讯且总造价最小,并计算出最小总造价。4. (7分)构造H、A、P、N、E、W、R、对应的前缀码,并画出与该前缀码对应的二叉树,写出英文短语HAPPY NEW YEAR的编码信息。5. (4分)设全集U=a,b,c,d,e, A=a,d, B=a,b,c,
33、C=b,d。求集合(AB)C。五、证明(2小题,共20分)1. (10分)用推理P,T和CP规则证明:ABCD,DEFAF。2. (10分)R是实数集,是一个代数系统,*是R-1上的一个二元运算,使得对于R-1中任意元素a,b都有a*b=a+b+ab,证明0是的幺元,而且是群。常熟理工学院20 20 学年第 学期离散数学考试试卷(试卷库07卷)试题总分: 100 分 考试时限:120 分钟题号一二三四五总分阅卷人得分一、选择题(每题2分,共20分)1. 设L(x):x是演员,J(x):x是老师,A(x , y):x钦佩y,命题“所有演员都钦佩某些老师”符号化为( )(A)(B)(C)(D)2.
34、 命题逻辑演绎的CP规则为( )(A)在推演过程中可随便使用前提(B)在推演过程中可随便使用前面演绎出的某些公式的逻辑结果(C)设是含公式A的命题公式,则可用B替换中的A(D)如果要演绎出的公式为形式,那么将B作为前提,演绎出C3. 下列命题正确的是( )(A)(B)(C)(D)4. 设是一个有界格,如果它也是有补格,只要满足( )(A) 每个元素都至少有一个补元(B) 每个元素都有多个补元(C)每个元素都无补元(D) 每个元素都有一个补元 5. 设,*为普通乘法。则代数系统的幺元为( )(A)不存在 (B)(C)(D)6. 下列图中( )是根树(A)(B)(C)(D)7. 左图(0)相对于完全图K5的补图为( ) 8. 集合A上的关系R是相容关系的必要条件是( )(A)自反、反对称的 (B)反自反、对称的 (C)传递、自反的 (D)自反、对称的9. 公式G=PP ,则G是( )。(A)永真的 (B)永假的 (C)可满