离散数学及其应用（孙志海）习题及答案 第2--4章 谓词逻辑---图论.pdfVIP

《离散数学及应用》课后习题参考答案

第2章谓词逻辑

2.1个体词、谓词与量词

一、选择题

1.若有指明个体域，则使用()个体域。

A.自然数集合B.实数集合C.有限D.全总

解析：D

2.个体域包含()o(多选)

A.有限个体域B.无限个体域C.全总个体域

解析：A、B、C

3.量词包含()o(多选)

A.全称量词B.存在量词C.谓词

解析：A、B

4.在谓词逻辑中，令尸(幻：x为正数，G(y)：y为负数，L*,)，)：犬)，。则“正数大于

负数”这句话可以符号化为()o(多选)

A.Vx(F(x)-Vy(G(y)—L(x,y)))B.VxVy(F(x)AG(y)-L(