命题编故事真题及答案.docVIP

命题编故事真题及答案

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

1.在命题逻辑中，下列哪个符号表示“非”？

A.∧

B.∨

C.→

D.?

答案：D

2.在谓词逻辑中，下列哪个符号表示“所有”？

A.?

B.?

C.→

D.?

答案：B

3.下列哪个是命题逻辑的一个基本定律？

A.结合律

B.交换律

C.分配律

D.以上都是

答案：D

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

A.(P∧Q)→P

B.(P∧Q)→Q

C.(P∨Q)→P

D.(P∨Q)→Q

答案：A

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

A.?x(P(x)→P(x))

B.?x(P(x)∧?P(x))

C.?x(P(x)∨?P(x))

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

答案：B

6.下列哪个是命题逻辑中的推理规则？

A.合取引入

B.附加

C.化简

D.以上都是

答案：D

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

A.(P∧?P)

B.(P∨?P)

C.(P∧Q)→P

D.(P∧Q)→Q

答案：B

8.在谓词逻辑中，下列哪个公式是可满足的？

A.?x(P(x)∧?P(x))

B.?x(P(x)∧Q(x))

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

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

答案：B

9.下列哪个是命题逻辑中的对偶原则？

A.P∧Q?Q∧P

B.P∨Q?Q∨P

C.(P∧Q)∨R?(P∨R)∧(Q∨R)

D.以上都是

答案：D

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

A.(P→Q)→(Q→P)

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

C.(P→Q)→(?P→Q)

D.(P→Q)→(?P→?Q)

答案：C

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

1.下列哪些是命题逻辑中的基本联结词？

A.∧

B.∨

C.→

D.?

答案：A,B,C,D

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

A.?

B.?

C.→

D.?

答案：A,B

3.下列哪些是命题逻辑中的基本定律？

A.结合律

B.交换律

C.分配律

D.吸收律

答案：A,B,C,D

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

A.合取引入

B.附加

C.化简

D.拒绝引入

答案：A,B,C,D

5.下列哪些是谓词逻辑中的基本公式？

A.?x(P(x)→P(x))

B.?x(P(x)∧?P(x))

C.?x(P(x)∨?P(x))

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

答案：A,C,D

6.下列哪些是命题逻辑中的对偶原则？

A.P∧Q?Q∧P

B.P∨Q?Q∨P

C.(P∧Q)∨R?(P∨R)∧(Q∨R)

D.(P→Q)?(?Q→?P)

答案：A,B,C,D

7.下列哪些是谓词逻辑中的推理规则？

A.全称指定

B.存在指定

C.全称推广

D.存在推广

答案：A,B,C,D

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

A.(P∧Q)→P

B.(P∧Q)→Q

C.(P∨Q)→P

D.(P∨Q)→Q

答案：A,B,C,D

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

A.?x(P(x)∧?P(x))

B.?x(P(x)∧Q(x))

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

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

答案：A

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

A.(P∧?P)

B.(P∨?P)

C.(P∧Q)→P

D.(P∧Q)→Q

答案：B,C,D

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

1.命题逻辑中的基本联结词包括“与”、“或”、“非”。

答案：正确

2.谓词逻辑中的量词包括“所有”和“存在”。

答案：正确

3.命题逻辑中的推理规则包括合取引入、附加、化简和拒绝引入。

答案：正确

4.谓词逻辑中的推理规则包括全称指定、存在指定、全称推广和存在推广。

答案：正确

5.命题逻辑中的对偶原则是指公式中的“与”和“或”可以互换。

答案：正确

6.谓词逻辑中的对偶原则是指公式中的“所有”和“存在”可以互换。

答案：错误

7.命题逻辑中的重言式是指在任何解释下都为真的公式。

答案：正确

8.谓词逻辑中的永假式是指在任何解释下都为假的公式。

答案：正确

9.命题逻辑中的可满足