数理逻辑期末试题及答案.docVIP

数理逻辑期末试题及答案

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

1.下列哪个是命题？（）

A.x+35B.请把门关上！C.2是偶数且3是奇数D.明天会下雨吗？

2.命题公式\(p\to(q\veer)\)的对偶式是（）

A.\(p\to(q\wedger)\)B.\(\negp\to(q\wedger)\)C.\(p\wedge(\negq\wedge\negr)\)D.\(\negp\wedge(\negq\vee\negr)\)

3.设\(A(x)\)：x是人，\(B(x)\)：x会呼吸，命题“人都会呼吸”可符号化为（）

A.\(\forallx(A(x)\wedgeB(x))\)B.\(\forallx(A(x)\toB(x))\)C.\(\existsx(A(x)\wedgeB(x))\)D.\(\existsx(A(x)\toB(x))\)

4.公式\(\forallx(P(x)\to\existsyQ(x,y))\)的前束范式是（）

A.\(\forallx\existsy(P(x)\toQ(x,y))\)B.\(\existsx\forally(P(x)\toQ(x,y))\)C.\(\forallx\forally(P(x)\toQ(x,y))\)D.\(\existsx\existsy(P(x)\toQ(x,y))\)

5.下列联结词集合中，哪个不是完备集？（）

A.\(\{\neg,\wedge\}\)B.\(\{\neg,\vee\}\)C.\(\{\uparrow\}\)D.\(\{\wedge,\vee\}\)

6.若\(A\)是任意命题公式，则\(A\vee\negA\)是（）

A.矛盾式B.可满足式C.重言式D.以上都不对

7.设集合\(A=\{1,2,3\}\)，\(R\)是\(A\)上的关系，\(R=\{(1,1),(2,2),(3,3)\}\)，则\(R\)是（）

A.自反的、对称的、传递的B.自反的、反对称的、传递的C.自反的、对称的、非传递的D.非自反的、对称的、传递的

8.命题公式\((p\wedge\negp)\veeq\)的成真赋值是（）

A.00，01，10，11B.01，10，11C.00，01，11D.01，11

9.设\(P\)：天下雨，\(Q\)：我去学校，命题“除非天下雨，否则我就去学校”可符号化为（）

A.\(P\toQ\)B.\(\negP\toQ\)C.\(Q\toP\)D.\(\negQ\toP\)

10.设\(A\)、\(B\)为任意集合，若\(A\subseteqB\)，则（）

A.\(A\capB=A\)B.\(A\capB=B\)C.\(A\cupB=A\)D.\(A\cupB=\varnothing\)

答案：1.C2.D3.B4.A5.D6.C7.A8.D9.B10.A

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

1.以下哪些是命题公式（）

A.\(p\)B.\(p\vee\negq\)C.\((p\toq)\wedger\)D.\(x5\)

2.下列哪些是重言式（）

A.\(p\to(p\veeq)\)B.\((p\wedge\negp)\toq\)C.\((p\toq)\wedgeq\top\)D.\(p\wedge\negp\)

3.设集合\(A=\{a,b,c\}\)，\(A\)上的关系\(R=\{(a,a),(b,b),(a,b),(b,a)\}\)，则\(R\)具有（）

A.自反性B.对称性C.反对称性D.传递性

4.下列哪些属于谓词逻辑中的个体常项（）

A.\(a\)B.\(x\)C.\(f(x)\)D.小王

5.命题公式\((p\veeq)\tor\)的成假赋值可能是（）

A.000