离散数学期末考试复习题及参考答案-专升本 .pdfVIP

《离散数学》复习题

一、填空题

1、若P，Q为二命题，真值为1，当且仅当。

PQ

2、对公式(yP(x,y)zQ(x,z))xR(x,y)中自由变元进行代入的公式

为。

3、xF(x)(xG(x))的前束范式为。

4、设x是谓词合式公式A的一个客体变元，A的论域为D，A（x）关于y的自由

的，则被称为全称量词消去规则，记为US。

5、与非门的逻辑网络为。



Z{x|xZx0}

6、，*表示求两数的最小公倍数的运算（Z表示整数集合），

对于*运算的幺元是，零元是。

7、代数系统A,*中，|A|1，如果e和分别为A,*的幺元和零元，

则e和的关系为。

8、设G,*是一个群，G,*是阿贝尔群的充要条件是。

9、图的完全关联矩阵为。

10、一个图是平面图的充要条件是。

二、选择题

1、下列各符号串，不是合式公式的有（）。

A、(PQ)R；B、((PQ)(RS)；

C、PQR；D、((PQ)R)S。

2、下列语句是命题的有（）。

A、2是素数；B、x+56；C、地球外的星球上也有人；D、这朵花多好看呀！。

3、下列公式是重言式的有（）。

A、(PQ)；B、(PQ)Q；C、(QP)P；D、(PQ)P

4、下列问题成立的有（）。

若ACBC，则AB；B、若ACBC，则AB；

C、若AB，则AB；D、若AB，则AB。

5、命题逻辑演绎的CP规则为（）。

A、在推演过程中可随便使用前提；

B、在推演过程中可随便使用前面演绎出的某些公式的逻辑结果；

C、如果要演绎出的公式为BC形式，那么将B作为前提，设法演绎

出C；

BA

D、设(A)是含公式A的命题公式，，则可用B替换(A)中的A。

6、命题“有的人喜欢所有的花”的逻辑符号化为（）。

设D：全总个体域，F（x）：x是花，M(x)：x是人，H(x,y)：x喜欢y

A、；B、；