2026年数理逻辑试卷及分析.docxVIP

2026年数理逻辑试卷及分析

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

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

A.请完成课后的数理逻辑习题

B.我现在正在说的这句话是谎话

C.数值x是大于10的正整数

D.任意大于2的偶数都可以表示为两个素数之和

答案：D

解析：合法命题要求是具有唯一确定真值的陈述句，A选项是祈使句，不存在真假判定属性；B选项属于说谎者悖论，无法获得一致的真值判定；C选项中的自由变元x没有明确约束，真值随x取值变化无法确定；D选项虽然目前尚未被完全证明，但本身具备唯一确定的真值，属于合法命题。

命题逻辑中蕴含式P→Q为假的唯一情况是

A.P为真，Q为真

B.P为真，Q为假

C.P为假，Q为真

D.P为假，Q为假

答案：B

解析：蕴含式的语义为“当P成立时Q必须成立”，只有在前件P为真、后件Q为假时，该约定被打破，整个公式取值为假，其余三种情况蕴含式均取值为真。

下列命题逻辑公式中属于重言式（永真式）的是

A.P→(P∨Q)

B.(P∨Q)→P

C.?(P→Q)∧Q

D.(P∨?P)→Q

答案：A

解析：A选项中无论P取真还是假，P∨Q的真值都不会弱于P，整个蕴含式在所有指派下都为真，属于重言式；B选项当P为假Q为真时公式取值为假；C选项本身是永假式，矛盾式；D选项当Q取假值时，前件P∨?P永真，整个蕴含式取值为假。

一阶逻辑中，谓