现代逻辑试题及答案.docVIP

现代逻辑试题及答案

一、单项选择题（每题2分，共20分）

1.以下哪个是逻辑联结词“且”的符号表示（）

A.∨B.∧C.→D.?

答案：B

2.在命题逻辑中，命题变元可以表示（）

A.特定的命题B.任意命题C.永真式D.永假式

答案：B

3.若p为真，q为假，则p→q的值为（）

A.真B.假C.可真可假D.无定义

答案：A

4.以下哪个公式是重言式（）

A.p∧?pB.p∨?pC.p→?pD.?p→p

答案：B

5.逻辑中的“全称量词”用符号（）表示。

A.?B.?C.?D.?

答案：B

6.设个体域为整数集，谓词P(x)表示“x是偶数”，则“存在一个整数是偶数”可表示为（）

A.?xP(x)B.?xP(x)C.??xP(x)D.??xP(x)

答案：B

7.在一阶逻辑中，项不包括（）

A.个体常量B.个体变元C.函数符号D.量词

答案：D

8.对于合取范式，以下说法正确的是（）

A.是由析取式组成的合取式B.是由合取式组成的析取式

C.只能有两个子式D.与析取范式无区别

答案：A

9.逻辑等价关系具有（）

A.自反性、对称性、传递性B.自反性、反对称性、传递性

C.反自反性、对称性、传递性D.反自反性、反对称性、传递性

答案：A

10.以下哪个不是推理的规则（）

A.假言推理B.拒取式C.析取三段论D.合取分解

答案：D

二、多项选择题（每题2分，共20分）

1.下列哪些是逻辑联结词（）

A.并且B.或者C.如果…那么…D.当且仅当E.非

答案：ABCDE

2.命题公式的类型有（）

A.重言式B.矛盾式C.可满足式D.永假式E.永真式

答案：ABC

3.以下关于量词的说法正确的是（）

A.全称量词表示“所有”B.存在量词表示“存在”

C.可以混合使用D.只能用于个体域E.是一阶逻辑的重要组成部分

答案：ABCDE

4.在一阶逻辑中，个体可以是（）

A.人B.物C.数D.概念E.命题

答案：ABC

5.合取范式的特点包括（）

A.由析取式组成B.每个析取式称为一个子句

C.可用于逻辑推理D.容易判断公式的可满足性E.与析取范式可以相互转换

答案：ABCDE

6.以下哪些是有效的推理形式（）

A.(p→q)∧p→qB.(p→q)∧?q→?pC.(p∨q)∧?p→qD.(p∧q)→pE.(p?q)∧p→q

答案：ABCDE

7.逻辑中的等价关系可用于（）

A.公式化简B.证明公式相等C.逻辑推理D.构建逻辑系统E.确定命题真假

答案：ABC

8.以下关于命题变元的说法正确的是（）

A.可以代表不同的命题B.是命题逻辑的基本元素

C.取值为真或假D.数量是有限的E.可以进行逻辑运算

答案：ABCE

9.当个体域为有限集{a1,a2,…,an}时，?xP(x)等价于（）

A.P(a1)∧P(a2)∧…∧P(an)B.P(a1)∨P(a2)∨…∨P(an)

C.??x?P(x)D.?x?P(x)E.??xP(x)

答案：AC

10.逻辑系统通常包括（）

A.符号集B.公式集C.公理集D.推理规则集E.模型集

答案：ABCD

三、判断题（每题2分，共20分）

1.逻辑联结词“或”有两种情况：相容或和不相容或。（）

答案：正确

2.命题公式的真值只取决于其中命题变元的真值。（）

答案：正确

3.全称量词和存在量词不能出现在同一个命题中。（）

答案：错误

4.矛盾式是指在任何赋值下都为假的公式。（）

答案：正确

5.在一阶逻辑中，函数符号可以嵌套使用。（）

答案：正确

6.合取范式和析取范式是唯一的。（）

答案：错误

7.逻辑等价的两个公式具有相同的真值表。（）

答案：正确

8.假言推理的规则是：若p→q为真且p为真，