数理逻辑语言专项测试卷（满分100分，考试时长60分钟）.docxVIP

数理逻辑语言专项测试卷（满分100分，考试时长60分钟）

一、试卷说明

1.考察范围：命题逻辑、联结词运算、命题等价演算、范式、逻辑形式证明、日常自然语言逻辑翻译、谓词逻辑基础；

2.题型设置：选择题、填空题、逻辑翻译题、计算题、形式证明题，贴合大学离散数学期末随堂测真实出题难度；

3.答案全部分步解析，标注易错考点，无笼统答案，贴合手写答题规范。

一、单项选择题（共6题，每题3分，共18分）

1.下列语句中，属于合法命题的是（）

A.今天天气真好啊！B.请关闭门窗C.5是偶数D.x+37

2.设P：下雨，Q：地面潮湿。命题“只有下雨，地面才会潮湿”对应的逻辑公式是（）

A.P→QB.Q→PC.P∧QD.?P∨Q

3.命题公式(P∨?Q)∧?P等价于下列哪一个公式（）

A.PB.QC.?QD.P∧?Q

4.下列联结词组合中，具备完备性，可以表示所有逻辑公式的是（）

A.{∧,∨}B.{→,?}C.{?,∧}D.{∨,?}

5.谓词逻辑中，设F(x)：x会打篮球，个体域为全体学生。命题“并非所有学生都会打篮球”符号化为（）

A.?x?F(x)B.??xF(x)C.?x?F(x)D.?xF(x)

6.下列命题公式属于永真式（重言式）的是（）

A.(P→Q)∧(Q→P)B.P∧(P→?P)