现代逻辑考研真题及答案.docVIP

现代逻辑考研真题及答案

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

1.下列哪一项不是命题逻辑的推理规则？

A.假言推理

B.合取引入

C.选择引入

D.全称量化

答案：D

2.在命题逻辑中，下列哪个公式是重言式？

A.(P∧Q)→P

B.(P∨Q)→P

C.P→(P∨Q)

D.(P∧Q)→(P∧Q)

答案：C

3.下列哪个是谓词逻辑的量化符号？

A.→

B.∧

C.?

D.∨

答案：C

4.在谓词逻辑中，下列哪个公式是有效的？

A.?x(P(x)→Q(x))→(?xP(x)→?xQ(x))

B.?x(P(x)∨Q(x))→(?xP(x)∨?xQ(x))

C.?xP(x)→P(a)

D.?xP(x)→P(a)

答案：C

5.下列哪个是命题逻辑中的否定规则？

A.合取引入

B.析取引入

C.否定引入

D.假言推理

答案：C

6.在命题逻辑中，下列哪个公式是可满足的？

A.(P∧?P)

B.(P∨?P)

C.(P∧Q)→P

D.(P∧Q)→?P

答案：B

7.下列哪个是谓词逻辑中的存在量化？

A.?

B.?

C.→

D.∧

答案：B

8.在命题逻辑中，下列哪个公式是永假的？

A.P∨?P

B.(P∧Q)→P

C.(P∧?P)

D.(P∨Q)→(P∧Q)

答案：C

9.下列哪个是命题逻辑中的蕴含规则？

A.合取引入

B.析取引入

C.否定引入

D.假言推理

答案：D

10.在谓词逻辑中，下列哪个公式是永假的？

A.?xP(x)→?xP(x)

B.?xP(x)→?xP(x)

C.?x(P(x)→Q(x))→(?xP(x)→?xQ(x))

D.?xP(x)→P(a)

答案：B

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

1.下列哪些是命题逻辑的推理规则？

A.假言推理

B.合取引入

C.选择引入

D.析取三段论

答案：A,B,D

2.下列哪些是谓词逻辑的量化符号？

A.?

B.?

C.→

D.∧

答案：A,B

3.下列哪些是命题逻辑中的基本连接词？

A.∧

B.∨

C.?

D.→

答案：A,B,C,D

4.下列哪些是谓词逻辑中的量词？

A.?

B.?

C.→

D.∧

答案：A,B

5.下列哪些公式是命题逻辑中的重言式？

A.(P∧Q)→P

B.(P∨Q)→P

C.P→(P∨Q)

D.(P∧Q)→(P∧Q)

答案：A,C

6.下列哪些公式是谓词逻辑中的有效公式？

A.?x(P(x)→Q(x))→(?xP(x)→?xQ(x))

B.?x(P(x)∨Q(x))→(?xP(x)∨?xQ(x))

C.?xP(x)→P(a)

D.?xP(x)→P(a)

答案：C

7.下列哪些是命题逻辑中的否定规则？

A.合取引入

B.析取引入

C.否定引入

D.假言推理

答案：C

8.下列哪些是谓词逻辑中的存在量化？

A.?

B.?

C.→

D.∧

答案：B

9.下列哪些公式是命题逻辑中的可满足公式？

A.(P∧?P)

B.(P∨?P)

C.(P∧Q)→P

D.(P∧Q)→?P

答案：B,C

10.下列哪些公式是谓词逻辑中的永假公式？

A.?xP(x)→?xP(x)

B.?xP(x)→?xP(x)

C.?x(P(x)→Q(x))→(?xP(x)→?xQ(x))

D.?xP(x)→P(a)

答案：B

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

1.命题逻辑的推理规则包括假言推理、合取引入和选择引入。

答案：正确

2.谓词逻辑中的量化符号只有?和?。

答案：正确

3.命题逻辑中的基本连接词包括∧、∨、?和→。

答案：正确

4.谓词逻辑中的量词只有?。

答案：错误

5.命题逻辑中的重言式是永真的公式。

答案：正确

6.谓词逻辑中的有效公式是永真的公式。

答案：正确

7.命题逻辑中的否定规则是合取引入。

答案：错误

8.谓词逻辑中的存在量化符号是?。

答案：正确

9.命题逻辑中的可满足公式是至少在一种解释下为真的公式。

答案：正确

10.谓词逻辑中的永假公式是在所有解释下都为假的公式。

答案：正确

四、简答题（总共4题，每题5分）

1.简述命题逻辑中的假言推理规则。

答案：假言推理规则是指在命题逻辑中，如果有一个前