PAGE1.在一階邏輯中，以下哪個推理規(guī)則用于從全稱命題推導(dǎo)出特稱命題？

-A.全稱例示

-B.存在例示

-C.全稱概括

-D.存在概括

**參考答案**:A

**解析**:全稱例示（UniversalInstantiation）是從全稱命題推導(dǎo)出特稱命題的推理規(guī)則。

2.給定命題“?x(P(x)→Q(x))”和“P(a)”，以下哪個推理規(guī)則可以推導(dǎo)出“Q(a)”？

-A.全稱例示

-B.存在例示

-C.假言推理

-D.存在概括

**參考答案**:C

**解析**:假言推理（ModusPonens）是從“P(a)”和“P(a)→Q(a)”推導(dǎo)出“Q(a)”的推理規(guī)則。

3.在一階邏輯中，以下哪個推理規(guī)則用于從特稱命題推導(dǎo)出存在命題？

-A.全稱例示

-B.存在例示

-C.全稱概括

-D.存在概括

**參考答案**:D

**解析**:存在概括（ExistentialGeneralization）是從特稱命題推導(dǎo)出存在命題的推理規(guī)則。

4.給定命題“?xP(x)”和“?x(P(x)→Q(x))”，以下哪個推理規(guī)則可以推導(dǎo)出“?xQ(x)”？

-A.全稱例示

-B.存在例示

-C.假言推理

-D.存在概括

**參考答案**:B

**解析**:存在例示（ExistentialInstantiation）是從“?xP(x)”推導(dǎo)出“P(c)”，然后結(jié)合“?x(P(x)→Q(x))”推導(dǎo)出“Q(c)”，最后通過存在概括得到“?xQ(x)”。

5.在一階邏輯中，以下哪個推理規(guī)則用于從存在命題推導(dǎo)出特稱命題？

-A.全稱例示

-B.存在例示

-C.全稱概括

-D.存在概括

**參考答案**:B

**解析**:存在例示（ExistentialInstantiation）是從存在命題推導(dǎo)出特稱命題的推理規(guī)則。

6.給定命題“?x(P(x)∧Q(x))”，以下哪個推理規(guī)則可以推導(dǎo)出“P(a)”？

-A.全稱例示

-B.存在例示

-C.假言推理

-D.存在概括

**參考答案**:A

**解析**:全稱例示（UniversalInstantiation）是從“?x(P(x)∧Q(x))”推導(dǎo)出“P(a)∧Q(a)”，然后通過合取消除得到“P(a)”。

7.在一階邏輯中，以下哪個推理規(guī)則用于從特稱命題推導(dǎo)出全稱命題？

-A.全稱例示

-B.存在例示

-C.全稱概括

-D.存在概括

**參考答案**:C

**解析**:全稱概括（UniversalGeneralization）是從特稱命題推導(dǎo)出全稱命題的推理規(guī)則。

8.給定命題“P(a)”和“?x(P(x)→Q(x))”，以下哪個推理規(guī)則可以推導(dǎo)出“Q(a)”？

-A.全稱例示

-B.存在例示

-C.假言推理

-D.存在概括

**參考答案**:C

**解析**:假言推理（ModusPonens）是從“P(a)”和“P(a)→Q(a)”推導(dǎo)出“Q(a)”的推理規(guī)則。

9.在一階邏輯中，以下哪個推理規(guī)則用于從存在命題推導(dǎo)出全稱命題？

-A.全稱例示

-B.存在例示

-C.全稱概括

-D.存在概括

**參考答案**:C

**解析**:全稱概括（UniversalGeneralization）是從存在命題推導(dǎo)出全稱命題的推理規(guī)則。

10.給定命題“?xP(x)”和“?x(P(x)→Q(x))”，以下哪個推理規(guī)則可以推導(dǎo)出“?xQ(x)”？

-A.全稱例示

-B.存在例示

-C.假言推理

-D.存在概括

**參考答案**:B

**解析**:存在例示（ExistentialInstantiation）是從“?xP(x)”推導(dǎo)出“P(c)”，然后結(jié)合“?x(P(x)→Q(x))”推導(dǎo)出“Q(c)”，最后通過存在概括得到“?xQ(x)”。

11.在一階邏輯中，以下哪個推理規(guī)則用于從全稱命題推導(dǎo)出存在命題？

-A.全稱例示

-B.存在例示

-C.全稱概括

-D.存在概括

**參考答案**:D

**解析**:存在概括（ExistentialGeneralization）是從全稱命題推導(dǎo)出存在命題的推理規(guī)則。

12.給定命題“?x(P(x)→Q(x))”和“P(a)”，以下哪個推理規(guī)則可以推導(dǎo)出“Q(a)”？

-A.全稱例示

-B.存在例示

-C.假言推理

-D.存在概括

**參考答案**:C

**解析**:假言推理（ModusPonens）是從“P(a)”和“P(a)→Q(a)”推導(dǎo)出“Q(a)”的推理規(guī)則。

13.在一階邏輯中，以下哪個推理規(guī)則用于從特稱命題推導(dǎo)出存在命題？

-A.全稱例示

-B.存在例示

-C.全稱概括

-D.存在概括

**參考答案**:D

**解析**:存在概括（ExistentialGeneralization）是從特稱命題推導(dǎo)出存在命題的推理規(guī)則。

14.給定命題“?xP(x)”和“?x(P(x)→Q(x))”，以下哪個推理規(guī)則可以推導(dǎo)出“?xQ(x)”？

-A.全稱例示

-B.存在例示

-C.假言推理

-D.存在概括

**參考答案**:B

**解析**:存在例示（ExistentialInstantiation）是從“?xP(x)”推導(dǎo)出“P(c)”，然后結(jié)合“?x(P(x)→Q(x))”推導(dǎo)出“Q(c)”，最后通過存在概括得到“?xQ(x)”。

15.在一階邏輯中，以下哪個推理規(guī)則用于從存在命題推導(dǎo)出特稱命題？

-A.全稱例示

-B.存在例示

-C.全稱概括

-D.存在概括

**參考答案**:B

**解析**:存在例示（ExistentialInstantiation）是從存在命題推導(dǎo)出特稱命題的推理規(guī)則。

16.給定命題“?x(P(x)∧Q(x))”，以下哪個推理規(guī)則可以推導(dǎo)出“P(a)”？

-A.全稱例示

-B.存在例示

-C.假言推理

-D.存在概括

**參考答案**:A

**解析**:全稱例示（UniversalInstantiation）是從“?x(P(x)∧Q(x))”推導(dǎo)出“P(a)∧Q(a)”，然后通過合取消除得到“P(a)”。

17.在一階邏輯中，以下哪個推理規(guī)則用于從特稱命題推導(dǎo)出全稱命題？

-A.全稱例示

-B.存在例示

-C.全稱概括

-D.存在概括

**參考答案**:C

**解析**:全稱概括（UniversalGeneralization）是從特稱命題推導(dǎo)出全稱命題的推理規(guī)則。

18.給定命題“P(a)”和“?x(P(x)→Q(x))”，以下哪個推理規(guī)則可以推導(dǎo)出“Q(a)”？

-A.全稱例示

-B.存在例示

-C.假言推理

-D.存在概括

**參考答案**:C

**解析**:假言推理（ModusPonens）是從“P(a)”和“P(a)→Q(a)”推導(dǎo)出“Q(a)”的推理規(guī)則。

19.在一階邏輯中，以下哪個推理規(guī)則用于從存在命題推導(dǎo)出全稱命題？

-A.全稱例示

-B.存在例示

-C.全稱概括

-D.存在概括

**參考答案**:C

**解析**:全稱概括（UniversalGeneralization）是從存在命題推導(dǎo)出全稱命題的推理規(guī)則。

20.給定命題“?xP(x)”和“?x(P(x)→Q(x))”，以下哪個推理規(guī)則可以推導(dǎo)出“?xQ(x)”？

-A.全稱例示

-B.存在例示

-C.假言推理

-D.存在概括

**參考答案**:B

**解析**:存在例示（ExistentialInstantiation）是從“?xP(x)”推導(dǎo)出“P(c)”，然后結(jié)合“?x(P(x)→Q(x))”推導(dǎo)出“Q(c)”，最后通過存在概括得到“?xQ(x)”。

21.在一階邏輯中，以下哪個推理規(guī)則允許從全稱命題推導(dǎo)出特稱命題？

-A.全稱例示

-B.存在引入

-C.全稱概括

-D.存在例示

**參考答案**:A

**解析**:全稱例示（UniversalInstantiation）允許從全稱命題推導(dǎo)出特稱命題，即從“所有x滿足P(x)”可以推導(dǎo)出“某個特定的a滿足P(a)”。

22.給定前提“?x(P(x)→Q(x))”和“P(a)”，以下哪個結(jié)論可以通過推理規(guī)則得出？

-A.Q(a)

-B.?xQ(x)

-C.?xQ(x)

-D.P(a)∧Q(a)

**參考答案**:A

**解析**:通過全稱例示和假言推理，可以從“?x(P(x)→Q(x))”和“P(a)”推導(dǎo)出“Q(a)”。

23.在一階邏輯中，以下哪個推理規(guī)則允許從特稱命題推導(dǎo)出存在命題？

-A.全稱例示

-B.存在引入

-C.全稱概括

-D.存在例示

**參考答案**:B

**解析**:存在引入（ExistentialIntroduction）允許從特稱命題推導(dǎo)出存在命題，即從“P(a)”可以推導(dǎo)出“?xP(x)”。

24.給定前提“?xP(x)”和“?x(P(x)→Q(x))”，以下哪個結(jié)論可以通過推理規(guī)則得出？

-A.?xQ(x)

-B.?xQ(x)

-C.Q(a)

-D.P(a)∧Q(a)

**參考答案**:A

**解析**:通過存在例示和假言推理，可以從“?xP(x)”和“?x(P(x)→Q(x))”推導(dǎo)出“?xQ(x)”。

25.在一階邏輯中，以下哪個推理規(guī)則允許從存在命題推導(dǎo)出特稱命題？

-A.全稱例示

-B.存在引入

-C.全稱概括

-D.存在例示

**參考答案**:D

**解析**:存在例示（ExistentialInstantiation）允許從存在命題推導(dǎo)出特稱命題，即從“?xP(x)”可以推導(dǎo)出“P(a)”，其中a是一個新的常量。

26.給定前提“?x(P(x)∧Q(x))”，以下哪個結(jié)論可以通過推理規(guī)則得出？

-A.P(a)∧Q(a)

-B.?xP(x)

-C.?xP(x)

-D.P(a)∨Q(a)

**參考答案**:A

**解析**:通過全稱例示，可以從“?x(P(x)∧Q(x))”推導(dǎo)出“P(a)∧Q(a)”。

27.在一階邏輯中，以下哪個推理規(guī)則允許從特稱命題推導(dǎo)出全稱命題？

-A.全稱例示

-B.存在引入

-C.全稱概括

-D.存在例示

**參考答案**:C

**解析**:全稱概括（UniversalGeneralization）允許從特稱命題推導(dǎo)出全稱命題，即從“P(a)”可以推導(dǎo)出“?xP(x)”，前提是a是一個任意選擇的個體。

28.給定前提“P(a)”和“?x(P(x)→Q(x))”，以下哪個結(jié)論可以通過推理規(guī)則得出？

-A.Q(a)

-B.?xQ(x)

-C.?xQ(x)

-D.P(a)∧Q(a)

**參考答案**:A

**解析**:通過全稱例示和假言推理，可以從“P(a)”和“?x(P(x)→Q(x))”推導(dǎo)出“Q(a)”。

29.在一階邏輯中，以下哪個推理規(guī)則允許從存在命題推導(dǎo)出全稱命題？

-A.全稱例示

-B.存在引入

-C.全稱概括

-D.存在例示

**參考答案**:C

**解析**:全稱概括（UniversalGeneralization）允許從存在命題推導(dǎo)出全稱命題，前提是所涉及的個體是任意選擇的。

30.給定前提“?xP(x)”和“?x(P(x)→Q(x))”，以下哪個結(jié)論可以通過推理規(guī)則得出？

-A.?xQ(x)

-B.?xQ(x)

-C.Q(a)

-D.P(a)∧Q(a)

**參考答案**:A

**解析**:通過存在例示和假言推理，可以從“?xP(x)”和“?x(P(x)→Q(x))”推導(dǎo)出“?xQ(x)”。

31.在一階邏輯中，以下哪個推理規(guī)則允許從全稱命題推導(dǎo)出存在命題？

-A.全稱例示

-B.存在引入

-C.全稱概括

-D.存在例示

**參考答案**:B

**解析**:存在引入（ExistentialIntroduction）允許從全稱命題推導(dǎo)出存在命題，即從“P(a)”可以推導(dǎo)出“?xP(x)”。

32.給定前提“?x(P(x)→Q(x))”和“?xP(x)”，以下哪個結(jié)論可以通過推理規(guī)則得出？

-A.?xQ(x)

-B.?xQ(x)

-C.Q(a)

-D.P(a)∧Q(a)

**參考答案**:A

**解析**:通過存在例示和假言推理，可以從“?x(P(x)→Q(x))”和“?xP(x)”推導(dǎo)出“?xQ(x)”。

33.在一階邏輯中，以下哪個推理規(guī)則允許從特稱命題推導(dǎo)出存在命題？

-A.全稱例示

-B.存在引入

-C.全稱概括

-D.存在例示

**參考答案**:B

**解析**:存在引入（ExistentialIntroduction）允許從特稱命題推導(dǎo)出存在命題，即從“P(a)”可以推導(dǎo)出“?xP(x)”。

34.給定前提“P(a)”和“?x(P(x)→Q(x))”，以下哪個結(jié)論可以通過推理規(guī)則得出？

-A.Q(a)

-B.?xQ(x)

-C.?xQ(x)

-D.P(a)∧Q(a)

**參考答案**:A

**解析**:通過全稱例示和假言推理，可以從“P(a)”和“?x(P(x)→Q(x))”推導(dǎo)出“Q(a)”。

35.在一階邏輯中，以下哪個推理規(guī)則允許從存在命題推導(dǎo)出特稱命題？

-A.全稱例示

-B.存在引入

-C.全稱概括

-D.存在例示

**參考答案**:D

**解析**:存在例示（ExistentialInstantiation）允許從存在命題推導(dǎo)出特稱命題，即從“?xP(x)”可以推導(dǎo)出“P(a)”，其中a是一個新的常量。

36.給定前提“?x(P(x)∧Q(x))”，以下哪個結(jié)論可以通過推理規(guī)則得出？

-A.P(a)∧Q(a)

-B.?xP(x)

-C.?xP(x)

-D.P(a)∨Q(a)

**參考答案**:A

**解析**:通過全稱例示，可以從“?x(P(x)∧Q(x))”推導(dǎo)出“P(a)∧Q(a)”。