《离散数学》考试题库及答案(三).pdfVIP

《离散数学》考试题库及答案

一、空10%（每小题2分）

PQ真为1，当且仅当。

1、若P，Q为二命题，

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

公式

为。

xF(x)(xG(x))

3、的前束范式

为。

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

则

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

US。

5、与非门的逻辑网络为

。

二、选择30%（每小题3分）

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

(PQ)R((PQ)(RS)

A、；B、；

PQR((PQ)R)S

C、；D、。

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

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

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

(PQ)(PQ)Q(QP)P(PQ)P

A、；B、；C、；D、

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

ACBCABACBCAB

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

ABABABAB

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

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

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

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

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

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

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

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

xMxyFyHxyxMxyFyHxy

A、(()(()(,)))；B、(()(()(