公務(wù)員考試-邏輯推理模擬題-數(shù)理邏輯-直覺邏輯的推理規(guī)則

PAGE1.在直覺邏輯中，以下哪一項(xiàng)不是有效的推理規(guī)則？

-A.引入合取

-B.消解合取

-C.引入析取

-D.否定前件

**參考答案**:D

**解析**:否定前件是經(jīng)典邏輯中的推理規(guī)則，但在直覺邏輯中無效。

2.在直覺邏輯中，以下哪一項(xiàng)是有效的推理規(guī)則？

-A.排中律

-B.雙重否定消除

-C.引入蘊(yùn)涵

-D.否定引入

**參考答案**:C

**解析**:引入蘊(yùn)涵是直覺邏輯中的有效推理規(guī)則，而排中律和雙重否定消除在直覺邏輯中無效。

3.在直覺邏輯中，以下哪一項(xiàng)推理規(guī)則允許從A和B推導(dǎo)出A∧B？

-A.引入合取

-B.消解合取

-C.引入析取

-D.消解析取

**參考答案**:A

**解析**:引入合取規(guī)則允許從A和B推導(dǎo)出A∧B。

4.在直覺邏輯中，以下哪一項(xiàng)推理規(guī)則允許從A∨B和?A推導(dǎo)出B？

-A.引入合取

-B.消解合取

-C.引入析取

-D.消解析取

**參考答案**:D

**解析**:消解析取規(guī)則允許從A∨B和?A推導(dǎo)出B。

5.在直覺邏輯中，以下哪一項(xiàng)推理規(guī)則允許從A→B和A推導(dǎo)出B？

-A.引入蘊(yùn)涵

-B.消解蘊(yùn)涵

-C.引入合取

-D.消解合取

**參考答案**:B

**解析**:消解蘊(yùn)涵規(guī)則允許從A→B和A推導(dǎo)出B。

6.在直覺邏輯中，以下哪一項(xiàng)推理規(guī)則允許從A推導(dǎo)出A∨B？

-A.引入合取

-B.消解合取

-C.引入析取

-D.消解析取

**參考答案**:C

**解析**:引入析取規(guī)則允許從A推導(dǎo)出A∨B。

7.在直覺邏輯中，以下哪一項(xiàng)推理規(guī)則允許從A∧B推導(dǎo)出A？

-A.引入合取

-B.消解合取

-C.引入析取

-D.消解析取

**參考答案**:B

**解析**:消解合取規(guī)則允許從A∧B推導(dǎo)出A。

8.在直覺邏輯中，以下哪一項(xiàng)推理規(guī)則允許從A和A→B推導(dǎo)出B？

-A.引入蘊(yùn)涵

-B.消解蘊(yùn)涵

-C.引入合取

-D.消解合取

**參考答案**:B

**解析**:消解蘊(yùn)涵規(guī)則允許從A和A→B推導(dǎo)出B。

9.在直覺邏輯中，以下哪一項(xiàng)推理規(guī)則允許從A推導(dǎo)出A→B？

-A.引入蘊(yùn)涵

-B.消解蘊(yùn)涵

-C.引入合取

-D.消解合取

**參考答案**:A

**解析**:引入蘊(yùn)涵規(guī)則允許從A推導(dǎo)出A→B。

10.在直覺邏輯中，以下哪一項(xiàng)推理規(guī)則允許從A和B推導(dǎo)出A∨B？

-A.引入合取

-B.消解合取

-C.引入析取

-D.消解析取

**參考答案**:C

**解析**:引入析取規(guī)則允許從A和B推導(dǎo)出A∨B。

11.在直覺邏輯中，以下哪一項(xiàng)推理規(guī)則允許從A∨B和?B推導(dǎo)出A？

-A.引入合取

-B.消解合取

-C.引入析取

-D.消解析取

**參考答案**:D

**解析**:消解析取規(guī)則允許從A∨B和?B推導(dǎo)出A。

12.在直覺邏輯中，以下哪一項(xiàng)推理規(guī)則允許從A→B和?B推導(dǎo)出?A？

-A.引入蘊(yùn)涵

-B.消解蘊(yùn)涵

-C.否定引入

-D.否定消解

**參考答案**:C

**解析**:否定引入規(guī)則允許從A→B和?B推導(dǎo)出?A。

13.在直覺邏輯中，以下哪一項(xiàng)推理規(guī)則允許從A∧B推導(dǎo)出B？

-A.引入合取

-B.消解合取

-C.引入析取

-D.消解析取

**參考答案**:B

**解析**:消解合取規(guī)則允許從A∧B推導(dǎo)出B。

14.在直覺邏輯中，以下哪一項(xiàng)推理規(guī)則允許從A和B推導(dǎo)出B∧A？

-A.引入合取

-B.消解合取

-C.引入析取

-D.消解析取

**參考答案**:A

**解析**:引入合取規(guī)則允許從A和B推導(dǎo)出B∧A。

15.在直覺邏輯中，以下哪一項(xiàng)推理規(guī)則允許從A→B和B→C推導(dǎo)出A→C？

-A.引入蘊(yùn)涵

-B.消解蘊(yùn)涵

-C.引入合取

-D.消解合取

**參考答案**:A

**解析**:引入蘊(yùn)涵規(guī)則允許從A→B和B→C推導(dǎo)出A→C。

16.在直覺邏輯中，以下哪一項(xiàng)推理規(guī)則允許從A→B和B→C推導(dǎo)出A→C？

-A.引入蘊(yùn)涵

-B.消解蘊(yùn)涵

-C.引入合取

-D.消解合取

**參考答案**:A

**解析**:引入蘊(yùn)涵規(guī)則允許從A→B和B→C推導(dǎo)出A→C。

17.在直覺邏輯中，以下哪一項(xiàng)推理規(guī)則允許從A和B→C推導(dǎo)出B→C？

-A.引入蘊(yùn)涵

-B.消解蘊(yùn)涵

-C.引入合取

-D.消解合取

**參考答案**:A

**解析**:引入蘊(yùn)涵規(guī)則允許從A和B→C推導(dǎo)出B→C。

18.在直覺邏輯中，以下哪一項(xiàng)推理規(guī)則允許從A→B和A推導(dǎo)出B？

-A.引入蘊(yùn)涵

-B.消解蘊(yùn)涵

-C.引入合取

-D.消解合取

**參考答案**:B

**解析**:消解蘊(yùn)涵規(guī)則允許從A→B和A推導(dǎo)出B。

19.在直覺邏輯中，以下哪一項(xiàng)推理規(guī)則允許從A和B推導(dǎo)出A∧B？

-A.引入合取

-B.消解合取

-C.引入析取

-D.消解析取

**參考答案**:A

**解析**:引入合取規(guī)則允許從A和B推導(dǎo)出A∧B。

20.在直覺邏輯中，以下哪一項(xiàng)推理規(guī)則允許從A∨B和?A推導(dǎo)出B？

-A.引入合取

-B.消解合取

-C.引入析取

-D.消解析取

**參考答案**:D

**解析**:消解析取規(guī)則允許從A∨B和?A推導(dǎo)出B。

21.在直覺邏輯中，以下哪個推理規(guī)則允許從“如果A，那么B”和“A”推出“B”？

-A.合取引入

-B.析取消除

-C.假言推理

-D.否定引入

**參考答案**:C

**解析**:假言推理（ModusPonens）允許從“如果A，那么B”和“A”推出“B”。

22.在直覺邏輯中，以下哪個推理規(guī)則允許從“如果A，那么B”和“非B”推出“非A”？

-A.假言推理

-B.否定引入

-C.假言三段論

-D.否定消除

**參考答案**:B

**解析**:否定引入（ModusTollens）允許從“如果A，那么B”和“非B”推出“非A”。

23.在直覺邏輯中，以下哪個推理規(guī)則允許從“A”和“B”推出“A且B”？

-A.合取引入

-B.析取引入

-C.假言推理

-D.否定引入

**參考答案**:A

**解析**:合取引入（ConjunctionIntroduction）允許從“A”和“B”推出“A且B”。

24.在直覺邏輯中，以下哪個推理規(guī)則允許從“A且B”推出“A”？

-A.合取消除

-B.析取消除

-C.假言推理

-D.否定引入

**參考答案**:A

**解析**:合取消除（ConjunctionElimination）允許從“A且B”推出“A”。

25.在直覺邏輯中，以下哪個推理規(guī)則允許從“A”推出“A或B”？

-A.合取引入

-B.析取引入

-C.假言推理

-D.否定引入

**參考答案**:B

**解析**:析取引入（DisjunctionIntroduction）允許從“A”推出“A或B”。

26.在直覺邏輯中，以下哪個推理規(guī)則允許從“A或B”、“如果A，那么C”和“如果B，那么C”推出“C”？

-A.合取消除

-B.析取消除

-C.假言推理

-D.否定引入

**參考答案**:B

**解析**:析取消除（DisjunctionElimination）允許從“A或B”、“如果A，那么C”和“如果B，那么C”推出“C”。

27.在直覺邏輯中，以下哪個推理規(guī)則允許從“如果A，那么B”和“如果B，那么C”推出“如果A，那么C”？

-A.假言三段論

-B.合取引入

-C.析取消除

-D.否定引入

**參考答案**:A

**解析**:假言三段論（HypotheticalSyllogism）允許從“如果A，那么B”和“如果B，那么C”推出“如果A，那么C”。

28.在直覺邏輯中，以下哪個推理規(guī)則允許從“非非A”推出“A”？

-A.否定消除

-B.合取引入

-C.析取消除

-D.假言推理

**參考答案**:A

**解析**:否定消除（DoubleNegationElimination）允許從“非非A”推出“A”。

29.在直覺邏輯中，以下哪個推理規(guī)則允許從“A”和“非A”推出“B”？

-A.矛盾引入

-B.合取引入

-C.析取消除

-D.假言推理

**參考答案**:A

**解析**:矛盾引入（ExFalsoQuodlibet）允許從“A”和“非A”推出“B”。

30.在直覺邏輯中，以下哪個推理規(guī)則允許從“如果A，那么B”和“如果非A，那么B”推出“B”？

-A.析取消除

-B.合取引入

-C.假言推理

-D.否定引入

**參考答案**:A

**解析**:析取消除（DisjunctionElimination）允許從“如果A，那么B”和“如果非A，那么B”推出“B”。

31.在直覺邏輯中，以下哪個推理規(guī)則允許從“A”推出“如果B，那么A”？

-A.假言引入

-B.合取引入

-C.析取消除

-D.否定引入

**參考答案**:A

**解析**:假言引入（ConditionalIntroduction）允許從“A”推出“如果B，那么A”。

32.在直覺邏輯中，以下哪個推理規(guī)則允許從“如果A，那么B”和“如果A，那么非B”推出“非A”？

-A.否定引入

-B.合取引入

-C.析取消除

-D.假言推理

**參考答案**:A

**解析**:否定引入（ReductioadAbsurdum）允許從“如果A，那么B”和“如果A，那么非B”推出“非A”。

33.在直覺邏輯中，以下哪個推理規(guī)則允許從“A”和“B”推出“B且A”？

-A.合取引入

-B.析取引入

-C.假言推理

-D.否定引入

**參考答案**:A

**解析**:合取引入（ConjunctionIntroduction）允許從“A”和“B”推出“B且A”。

34.在直覺邏輯中，以下哪個推理規(guī)則允許從“A且B”推出“B”？

-A.合取消除

-B.析取消除

-C.假言推理

-D.否定引入

**參考答案**:A

**解析**:合取消除（ConjunctionElimination）允許從“A且B”推出“B”。

35.在直覺邏輯中，以下哪個推理規(guī)則允許從“A或B”和“非A”推出“B”？

-A.析取消除

-B.合取引入

-C.假言推理

-D.否定引入

**參考答案**:A

**解析**:析取消除（DisjunctiveSyllogism）允許從“A或B”和“非A”推出“B”。

36.在直覺邏輯中，以下哪個推理規(guī)則允許從“如果A，那么B”和“如果C，那么B”推出“如果A或C，那么B”？

-A.析取引入

-B.合取引入

-C.假言推理

-D.否定引入

**參考答案**:A

**解析**:析取引入（DisjunctionIntroduction）允許從“如果A，那么B”和“如果C，那么B”推出“如果A或C，那么B”。

37.在直覺邏輯中，以下哪個推理規(guī)則允許從“如果A，那么B”和“如果B，那么C”推出“如果A，那么C”？

-A.假言三段論

-B.合取引入