西北大学《离散数学》2019-2020学年期末试卷

西北大学《离散数学》2019-2020学年第二学期期末试卷一、填空题（本大题共12小题，每小题2分，共24分）1.求合式公式3xP(x)→3xQ(x,y)的前束范式2.设集合A={a,b,{a,b},p},B={a,b},},求B-A=3.设p与q的真值为0，r,s的真值为1则命题(sv(g→(rvp))→(rΛ一p)的真值是4.设R是在正整数集合Z+上如下定义的二元关系R=(x,yEZ)(x+y=10),则它一共有个有序对，且有自反性、对称性、传递性、反自反性和反对称性各性质中的性质。5.公式x(P(x)→Q(xy)→S(x)中的自由变元为约束变元为6.设有命题Tx):x是火车，C(x:x是汽车，Q(x,y少x跑得比y快，那么命题“有的汽车比一些火车跑得快”的逻辑表达式是7.设G是n阶m条边的无向图，若G连通且m=则G是无向树」8.设X={1,2,3},f:X→X,g:X→X,f={<1,2>,<2,3>,<3,1>},g={<1,2>,<2,3>,<3,3>},则f1。g=gof=9.不能再分解的命题称为至少包含一个联结词的命题称为10.连通无向图G含有欧拉回路的充分必要条件是11.设集合A={O,{a},则A的幂集P(A)=IP(4)=12.设G=为两个图（同为无向图或有向图），若E'sE且则称G'是G的子图，若E'sE且则称G是G的生成子图。二、单选题（本大题共12小题，每小题2分，共26分）1,下列命题公式为重言式的是()