公务员考试-逻辑推理模拟题-命题逻辑的归结法

PAGE1.在命题逻辑中，以下哪项是归结法的基本步骤？

-A.选择两个子句，找到它们的互补文字，生成新的子句

-B.选择两个子句，找到它们的相同文字，生成新的子句

-C.选择两个子句，找到它们的矛盾文字，生成新的子句

-D.选择两个子句，找到它们的等价文字，生成新的子句

**参考答案**:A

**解析**:归结法的基本步骤是选择两个子句，找到它们的互补文字，生成新的子句。

2.给定子句集{¬P∨Q,P∨R,¬Q∨R}，通过归结法可以得到哪个子句？

-A.P∨R

-B.Q∨R

-C.R

-D.¬P∨R

**参考答案**:C

**解析**:通过归结法，可以将¬P∨Q和P∨R归结为Q∨R，再将Q∨R和¬Q∨R归结为R。

3.在命题逻辑中，归结法的主要目的是什么？

-A.证明命题的可满足性

-B.证明命题的不可满足性

-C.生成新的命题

-D.简化命题

**参考答案**:B

**解析**:归结法的主要目的是通过归结过程证明命题的不可满足性。

4.给定子句集{P∨Q,¬P∨Q,P∨¬Q,¬P∨¬Q}，通过归结法可以得到哪个子句？

-A.P∨Q

-B.¬P∨Q

-C.空子句

-D.P∨¬Q

**参考答案**:C

**解析**:通过归结法，可以将所有子句归结为空子句，证明该子句集不可满足。

5.在归结法中，以下哪项是归结规则的正确描述？

-A.如果两个子句包含互补文字，则可以将它们归结为一个新的子句

-B.如果两个子句包含相同文字，则可以将它们归结为一个新的子句

-C.如果两个子句包含矛盾文字，则可以将它们归结为一个新的子句

-D.如果两个子句包含等价文字，则可以将它们归结为一个新的子句

**参考答案**:A

**解析**:归结规则的正确描述是：如果两个子句包含互补文字，则可以将它们归结为一个新的子句。

6.给定子句集{P∨Q,¬P∨R,¬Q∨R}，通过归结法可以得到哪个子句？

-A.P∨R

-B.Q∨R

-C.R

-D.¬P∨R

**参考答案**:C

**解析**:通过归结法，可以将P∨Q和¬P∨R归结为Q∨R，再将Q∨R和¬Q∨R归结为R。

7.在命题逻辑中，归结法的终止条件是什么？

-A.生成空子句

-B.生成所有可能的子句

-C.生成一个可满足的子句

-D.生成一个不可满足的子句

**参考答案**:A

**解析**:归结法的终止条件是生成空子句，证明子句集不可满足。

8.给定子句集{P∨Q,¬P∨Q,P∨¬Q,¬P∨¬Q}，通过归结法可以得到哪个子句？

-A.P∨Q

-B.¬P∨Q

-C.空子句

-D.P∨¬Q

**参考答案**:C

**解析**:通过归结法，可以将所有子句归结为空子句，证明该子句集不可满足。

9.在归结法中，以下哪项是归结规则的正确描述？

-A.如果两个子句包含互补文字，则可以将它们归结为一个新的子句

-B.如果两个子句包含相同文字，则可以将它们归结为一个新的子句

-C.如果两个子句包含矛盾文字，则可以将它们归结为一个新的子句

-D.如果两个子句包含等价文字，则可以将它们归结为一个新的子句

**参考答案**:A

**解析**:归结规则的正确描述是：如果两个子句包含互补文字，则可以将它们归结为一个新的子句。

10.给定子句集{P∨Q,¬P∨R,¬Q∨R}，通过归结法可以得到哪个子句？

-A.P∨R

-B.Q∨R

-C.R

-D.¬P∨R

**参考答案**:C

**解析**:通过归结法，可以将P∨Q和¬P∨R归结为Q∨R，再将Q∨R和¬Q∨R归结为R。

11.在命题逻辑中，归结法的主要目的是什么？

-A.证明命题的可满足性

-B.证明命题的不可满足性

-C.生成新的命题

-D.简化命题

**参考答案**:B

**解析**:归结法的主要目的是通过归结过程证明命题的不可满足性。

12.给定子句集{P∨Q,¬P∨Q,P∨¬Q,¬P∨¬Q}，通过归结法可以得到哪个子句？

-A.P∨Q

-B.¬P∨Q

-C.空子句

-D.P∨¬Q

**参考答案**:C

**解析**:通过归结法，可以将所有子句归结为空子句，证明该子句集不可满足。

13.在归结法中，以下哪项是归结规则的正确描述？

-A.如果两个子句包含互补文字，则可以将它们归结为一个新的子句

-B.如果两个子句包含相同文字，则可以将它们归结为一个新的子句

-C.如果两个子句包含矛盾文字，则可以将它们归结为一个新的子句

-D.如果两个子句包含等价文字，则可以将它们归结为一个新的子句

**参考答案**:A

**解析**:归结规则的正确描述是：如果两个子句包含互补文字，则可以将它们归结为一个新的子句。

14.给定子句集{P∨Q,¬P∨R,¬Q∨R}，通过归结法可以得到哪个子句？

-A.P∨R

-B.Q∨R

-C.R

-D.¬P∨R

**参考答案**:C

**解析**:通过归结法，可以将P∨Q和¬P∨R归结为Q∨R，再将Q∨R和¬Q∨R归结为R。

15.在命题逻辑中，归结法的终止条件是什么？

-A.生成空子句

-B.生成所有可能的子句

-C.生成一个可满足的子句

-D.生成一个不可满足的子句

**参考答案**:A

**解析**:归结法的终止条件是生成空子句，证明子句集不可满足。

16.给定子句集{P∨Q,¬P∨Q,P∨¬Q,¬P∨¬Q}，通过归结法可以得到哪个子句？

-A.P∨Q

-B.¬P∨Q

-C.空子句

-D.P∨¬Q

**参考答案**:C

**解析**:通过归结法，可以将所有子句归结为空子句，证明该子句集不可满足。

17.在归结法中，以下哪项是归结规则的正确描述？

-A.如果两个子句包含互补文字，则可以将它们归结为一个新的子句

-B.如果两个子句包含相同文字，则可以将它们归结为一个新的子句

-C.如果两个子句包含矛盾文字，则可以将它们归结为一个新的子句

-D.如果两个子句包含等价文字，则可以将它们归结为一个新的子句

**参考答案**:A

**解析**:归结规则的正确描述是：如果两个子句包含互补文字，则可以将它们归结为一个新的子句。

18.给定子句集{P∨Q,¬P∨R,¬Q∨R}，通过归结法可以得到哪个子句？

-A.P∨R

-B.Q∨R

-C.R

-D.¬P∨R

**参考答案**:C

**解析**:通过归结法，可以将P∨Q和¬P∨R归结为Q∨R，再将Q∨R和¬Q∨R归结为R。

19.在命题逻辑中，归结法的主要目的是什么？

-A.证明命题的可满足性

-B.证明命题的不可满足性

-C.生成新的命题

-D.简化命题

**参考答案**:B

**解析**:归结法的主要目的是通过归结过程证明命题的不可满足性。

20.给定子句集{P∨Q,¬P∨Q,P∨¬Q,¬P∨¬Q}，通过归结法可以得到哪个子句？

-A.P∨Q

-B.¬P∨Q

-C.空子句

-D.P∨¬Q

**参考答案**:C

**解析**:通过归结法，可以将所有子句归结为空子句，证明该子句集不可满足。

21.给定命题集合{¬P∨Q,¬Q∨R,P}，使用归结法推导出什么结论？

-A.R

-B.¬R

-C.P

-D.Q

**参考答案**:A

**解析**:从¬P∨Q和P归结得到Q，再从¬Q∨R和Q归结得到R。

22.给定命题集合{¬A∨B,¬B∨C,A}，使用归结法推导出什么结论？

-A.C

-B.¬C

-C.A

-D.B

**参考答案**:A

**解析**:从¬A∨B和A归结得到B，再从¬B∨C和B归结得到C。

23.给定命题集合{¬X∨Y,¬Y∨Z,X}，使用归结法推导出什么结论？

-A.Z

-B.¬Z

-C.X

-D.Y

**参考答案**:A

**解析**:从¬X∨Y和X归结得到Y，再从¬Y∨Z和Y归结得到Z。

24.给定命题集合{¬M∨N,¬N∨O,M}，使用归结法推导出什么结论？

-A.O

-B.¬O

-C.M

-D.N

**参考答案**:A

**解析**:从¬M∨N和M归结得到N，再从¬N∨O和N归结得到O。

25.给定命题集合{¬P∨Q,¬Q∨R,¬R∨S,P}，使用归结法推导出什么结论？

-A.S

-B.¬S

-C.P

-D.Q

**参考答案**:A

**解析**:从¬P∨Q和P归结得到Q，再从¬Q∨R和Q归结得到R，最后从¬R∨S和R归结得到S。

26.给定命题集合{¬A∨B,¬B∨C,¬C∨D,A}，使用归结法推导出什么结论？

-A.D

-B.¬D

-C.A

-D.B

**参考答案**:A

**解析**:从¬A∨B和A归结得到B，再从¬B∨C和B归结得到C，最后从¬C∨D和C归结得到D。

27.给定命题集合{¬X∨Y,¬Y∨Z,¬Z∨W,X}，使用归结法推导出什么结论？

-A.W

-B.¬W

-C.X

-D.Y

**参考答案**:A

**解析**:从¬X∨Y和X归结得到Y，再从¬Y∨Z和Y归结得到Z，最后从¬Z∨W和Z归结得到W。

28.给定命题集合{¬M∨N,¬N∨O,¬O∨P,M}，使用归结法推导出什么结论？

-A.P

-B.¬P

-C.M

-D.N

**参考答案**:A

**解析**:从¬M∨N和M归结得到N，再从¬N∨O和N归结得到O，最后从¬O∨P和O归结得到P。

29.给定命题集合{¬P∨Q,¬Q∨R,¬R∨S,¬S∨T,P}，使用归结法推导出什么结论？

-A.T

-B.¬T

-C.P

-D.Q

**参考答案**:A

**解析**:从¬P∨Q和P归结得到Q，再从¬Q∨R和Q归结得到R，接着从¬R∨S和R归结得到S，最后从¬S∨T和S归结得到T。

30.给定命题集合{¬A∨B,¬B∨C,¬C∨D,¬D∨E,A}，使用归结法推导出什么结论？

-A.E

-B.¬E

-C.A

-D.B

**参考答案**:A

**解析**:从¬A∨B和A归结得到B，再从¬B∨C和B归结得到C，接着从¬C∨D和C归结得到D，最后从¬D∨E和D归结得到E。

31.给定命题集合{¬X∨Y,¬Y∨Z,¬Z∨W,¬W∨V,X}，使用归结法推导出什么结论？

-A.V

-B.¬V

-C.X

-D.Y

**参考答案**:A

**解析**:从¬X∨Y和X归结得到Y，再从¬Y∨Z和Y归结得到Z，接着从¬Z∨W和Z归结得到W，最后从¬W∨V和W归结得到V。

32.给定命题集合{¬M∨N,¬N∨O,¬O∨P,¬P∨Q,M}，使用归结法推导出什么结论？

-A.Q

-B.¬Q

-C.M

-D.N

**参考答案**:A

**解析**:从¬M∨N和M归结得到N，再从¬N∨O和N归结得到O，接着从¬O∨P和O归结得到P，最后从¬P∨Q和P归结得到Q。

33.给定命题集合{¬P∨Q,¬Q∨R,¬R∨S,¬S∨T,¬T∨U,P}，使用归结法推导出什么结论？

-A.U

-B.¬U

-C.P

-D.Q

**参考答案**:A

**解析**:从¬P∨Q和P归结得到Q，再从¬Q∨R和Q归结得到R，接着从¬R∨S和R归结得到S，然后从¬S∨T和S归结得到T，最后从¬T∨U和T归结得到U。

34.给定命题集合{¬A∨B,¬B∨C,¬C∨D,¬D∨E,¬E∨F,A}，使用归结法推导出什么结论？

-A.F

-B.¬F

-C.A

-D.B

**参考答案**:A

**解析**:从¬A∨B和A归结得到B，再从¬B∨C和B归结得到C，接着从¬C∨D和C归结得到D，然后从¬D∨E和D归结得到E，最后从¬E∨F和E归结得到F。

35.给定命题集合{¬X∨Y,¬Y∨Z,¬Z∨W,¬W∨V,¬V∨U,X}，使用归结法推导出什么结论？

-A.U

-B.¬U

-C.X

-D.Y

**参考答案**:A

**解析**:从¬X∨Y和X归结得到Y，再从¬Y∨Z和Y归结得到Z，接着从¬Z∨W和Z归结得到W，然后从¬W∨V和W归结得到V，最后从¬V∨U和V归结得到U。

36.给定命题集合{¬M∨N,¬N∨O,¬O∨P,¬P∨Q,¬Q∨R,M}，使用归结法推导出什么结论？

-A.R

-B.¬R

-C.M

-D.N

**参考答案**:A

**解析**:从¬M∨N和M归结得到N，再从¬N∨O和N归结得到O，接着从¬O∨P和O归结得到P，然后从¬P∨Q和P归结得到Q，最后从¬Q∨R和Q归结得到R。

37.给定命题集合{¬P∨Q,¬Q∨R,¬R∨S,¬S∨T,¬T∨U,¬U∨V,P}，使用归结法推导出什么结论？

-A.V

-B.¬V

-C.P

-D.Q

**参考答案**:A

**解析**:从¬P∨Q和P归结得到Q，再从¬Q∨R和Q归结得到R，接着从¬R∨S和R归结得到S，然后从¬S∨T和S归结得到T，接着从¬T∨U和T归结得到U，最后从¬U∨V和U归结得到V。

38.给定命题集合{¬A∨B,¬