2026年数理逻辑习题集及答案.docxVIP

2026年数理逻辑习题集及答案

一、单项选择题（共10题，每题1分，共10分）

下列语句中属于数理逻辑定义下的命题的是

A.这个图形真的非常好看

B.请你立刻完成课后习题

C.x的取值大于正整数5

D.素数只能被1和自身整除

答案：D

解析：命题的核心定义是具有唯一确定真值的陈述句，选项A是感叹句无确定真值，选项B是祈使句不属于陈述判断，选项C的真值随x取值变化没有唯一确定性，只有选项D是真值为真的陈述句，符合命题定义。

蕴含式P→Q的真值为假的唯一情况是

A.P取值为真，Q取值为真

B.P取值为真，Q取值为假

C.P取值为假，Q取值为真

D.P取值为假，Q取值为假

答案：B

解析：蕴含式的语义为“如果P成立则Q一定成立”，只有当前件P为真而后件Q不成立时，整个命题才为假，其余三种赋值下蕴含式的真值均为真，其余三个选项对应的真值都不符合假的要求。

下列关于合取式描述正确的是

A.合取式为真当且仅当所有支命题的真值都为真

B.合取式为真当且仅当至少一个支命题的真值为真

C.合取式的支命题顺序会直接影响整个公式的最终真值

D.任意两个命题的合取都等价于二者的析取

答案：A

解析：合取运算满足“同真才真，一假即假”的规则，选项B描述的是析取式的性质，选项C错误是因为合取运算满足交换律，支命题顺序不改变最终真值，选项D混淆了合取和析取的定义，二者不存在等价关系。

谓