2025年(完整版)离散数学题目及答案 .pdfVIP

丹青不知老将至，贫贱于我如浮云。——杜甫

数理逻辑习题

判断题

√

1．任何命题公式存在惟一的特异析取范式（）

p(pq)√

2．公式是永真式（）

(pq)p√

3．命题公式是永真式（）

pqr×

4．命题公式的成真赋值为010（）

5．xA(x)Bx(A(x)B)（√）

×

6．命题“如果1＋2＝3，则雪是黑的”是真命题（）

7．p(pq)p（√）

x(F(x)G(x))×

8．是永真式（）

×

9．“我正在撒谎”是命题（）

10．xF(x)xG(x)是永真式（√）

×

11．命题“如果1＋2＝0，则雪是黑的”是假命题（）

12．p(pq)p（√）

x(F(x)G(x))×

13．是永假式（）

14．每个命题公式都有唯一的特异（主）合取范式（√）

15．若p:雪是黑色的，则公式pq是永真式（√）

×

16．每个逻辑公式都有唯一的前束范式（）

公式pqpq×

17．的特异（主）析取式为（）

18．命题公式p(qr)的成假赋值是110（√）

x(F(x)G(x,y))×

19．一阶逻辑公式是闭式（）

单项选择题

1．下述不是命题的是（A）

勿以恶小而为之，勿以善小而不为。——刘备

A．花儿真美啊!B