公務(wù)員考試-邏輯推理模擬題-邏輯與數(shù)學(xué)-一階邏輯的推理規(guī)則_第1頁(yè)
公務(wù)員考試-邏輯推理模擬題-邏輯與數(shù)學(xué)-一階邏輯的推理規(guī)則_第2頁(yè)
公務(wù)員考試-邏輯推理模擬題-邏輯與數(shù)學(xué)-一階邏輯的推理規(guī)則_第3頁(yè)
公務(wù)員考試-邏輯推理模擬題-邏輯與數(shù)學(xué)-一階邏輯的推理規(guī)則_第4頁(yè)
公務(wù)員考試-邏輯推理模擬題-邏輯與數(shù)學(xué)-一階邏輯的推理規(guī)則_第5頁(yè)
已閱讀5頁(yè)，還剩4頁(yè)未讀， 繼續(xù)免費(fèi)閱讀

下載本文檔

版權(quán)說(shuō)明：本文檔由用戶(hù)提供并上傳，收益歸屬內(nèi)容提供方，若內(nèi)容存在侵權(quán)，請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)

文檔簡(jiǎn)介

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

-A.全稱(chēng)例示

-B.存在引入

-C.全稱(chēng)概括

-D.存在消除

**參考答案**:A

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

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

-A.全稱(chēng)例示

-B.存在引入

-C.假言推理

-D.存在消除

**參考答案**:C

**解析**:假言推理（ModusPonens）可以從“P(a)”和“P(a)→Q(a)”推導(dǎo)出“Q(a)”。

3.在一階邏輯中，以下哪個(gè)推理規(guī)則用于引入存在量詞？

-A.全稱(chēng)例示

-B.存在引入

-C.全稱(chēng)概括

-D.存在消除

**參考答案**:B

**解析**:存在引入（ExistentialIntroduction）用于從特稱(chēng)命題推導(dǎo)出存在命題。

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

-A.全稱(chēng)例示

-B.存在引入

-C.全稱(chēng)概括

-D.存在消除

**參考答案**:D

**解析**:存在消除（ExistentialElimination）可以從“?xP(x)”和“?x(P(x)→Q(x))”推導(dǎo)出“?xQ(x)”。

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

-A.全稱(chēng)例示

-B.存在引入

-C.全稱(chēng)概括

-D.存在消除

**參考答案**:C

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

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

-A.全稱(chēng)例示

-B.存在引入

-C.假言推理

-D.存在消除

**參考答案**:C

**解析**:假言推理（ModusPonens）可以從“P(a)”和“P(a)→Q(a)”推導(dǎo)出“Q(a)”。

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

-A.全稱(chēng)例示

-B.存在引入

-C.全稱(chēng)概括

-D.存在消除

**參考答案**:A

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

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

-A.全稱(chēng)例示

-B.存在引入

-C.假言推理

-D.存在消除

**參考答案**:C

**解析**:假言推理（ModusPonens）可以從“P(a)”和“P(a)→Q(a)”推導(dǎo)出“Q(a)”。

9.在一階邏輯中，以下哪個(gè)推理規(guī)則用于引入存在量詞？

-A.全稱(chēng)例示

-B.存在引入

-C.全稱(chēng)概括

-D.存在消除

**參考答案**:B

**解析**:存在引入（ExistentialIntroduction）用于從特稱(chēng)命題推導(dǎo)出存在命題。

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

-A.全稱(chēng)例示

-B.存在引入

-C.全稱(chēng)概括

-D.存在消除

**參考答案**:D

**解析**:存在消除（ExistentialElimination）可以從“?xP(x)”和“?x(P(x)→Q(x))”推導(dǎo)出“?xQ(x)”。

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

-A.全稱(chēng)例示

-B.存在引入

-C.全稱(chēng)概括

-D.存在消除

**參考答案**:C

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

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

-A.全稱(chēng)例示

-B.存在引入

-C.假言推理

-D.存在消除

**參考答案**:C

**解析**:假言推理（ModusPonens）可以從“P(a)”和“P(a)→Q(a)”推導(dǎo)出“Q(a)”。

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

-A.全稱(chēng)例示

-B.存在引入

-C.全稱(chēng)概括

-D.存在消除

**參考答案**:A

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

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

-A.全稱(chēng)例示

-B.存在引入

-C.假言推理

-D.存在消除

**參考答案**:C

**解析**:假言推理（ModusPonens）可以從“P(a)”和“P(a)→Q(a)”推導(dǎo)出“Q(a)”。

15.在一階邏輯中，以下哪個(gè)推理規(guī)則用于引入存在量詞？

-A.全稱(chēng)例示

-B.存在引入

-C.全稱(chēng)概括

-D.存在消除

**參考答案**:B

**解析**:存在引入（ExistentialIntroduction）用于從特稱(chēng)命題推導(dǎo)出存在命題。

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

-A.全稱(chēng)例示

-B.存在引入

-C.全稱(chēng)概括

-D.存在消除

**參考答案**:D

**解析**:存在消除（ExistentialElimination）可以從“?xP(x)”和“?x(P(x)→Q(x))”推導(dǎo)出“?xQ(x)”。

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

-A.全稱(chēng)例示

-B.存在引入

-C.全稱(chēng)概括

-D.存在消除

**參考答案**:C

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

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

-A.全稱(chēng)例示

-B.存在引入

-C.假言推理

-D.存在消除

**參考答案**:C

**解析**:假言推理（ModusPonens）可以從“P(a)”和“P(a)→Q(a)”推導(dǎo)出“Q(a)”。

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

-A.全稱(chēng)例示

-B.存在引入

-C.全稱(chēng)概括

-D.存在消除

**參考答案**:A

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

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

-A.全稱(chēng)例示

-B.存在引入

-C.假言推理

-D.存在消除

**參考答案**:C

**解析**:假言推理（ModusPonens）可以從“P(a)”和“P(a)→Q(a)”推導(dǎo)出“Q(a)”。

21.在一階邏輯中，若已知前提為?x(P(x)→Q(x))和P(a)，則下列哪個(gè)結(jié)論是正確的？

-A.Q(a)

-B.?P(a)

-C.?xQ(x)

-D.?xQ(x)

**參考答案**:A

**解析**:根據(jù)全稱(chēng)量詞的消解規(guī)則，從?x(P(x)→Q(x))和P(a)可以推出Q(a)。

22.給定前提?x(P(x)∧Q(x))，下列哪個(gè)結(jié)論是正確的？

-A.?xP(x)

-B.?xP(x)

-C.?xQ(x)

-D.?xQ(x)

**參考答案**:B

**解析**:根據(jù)存在量詞的消解規(guī)則，從?x(P(x)∧Q(x))可以推出?xP(x)。

23.在一階邏輯中，若已知前提為?x(P(x)→Q(x))和?x(Q(x)→R(x))，則下列哪個(gè)結(jié)論是正確的？

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

-B.?x(P(x)→R(x))

-C.?x(R(x)→P(x))

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

**參考答案**:A

**解析**:根據(jù)三段論推理規(guī)則，從?x(P(x)→Q(x))和?x(Q(x)→R(x))可以推出?x(P(x)→R(x))。

24.已知前提為?xP(x)和?x(P(x)→Q(x))，下列哪個(gè)結(jié)論是正確的？

-A.?xQ(x)

-B.?xQ(x)

-C.?x?P(x)

-D.?x?P(x)

**參考答案**:A

**解析**:根據(jù)存在量詞的消解規(guī)則和全稱(chēng)量詞的消解規(guī)則，從?xP(x)和?x(P(x)→Q(x))可以推出?xQ(x)。

25.在一階邏輯中，若已知前提為?x(P(x)∨Q(x))和?P(a)，則下列哪個(gè)結(jié)論是正確的？

-A.Q(a)

-B.?Q(a)

-C.?xQ(x)

-D.?xQ(x)

**參考答案**:A

**解析**:根據(jù)全稱(chēng)量詞的消解規(guī)則和析取三段論規(guī)則，從?x(P(x)∨Q(x))和?P(a)可以推出Q(a)。

26.給定前提?x(P(x)→Q(x))和?x?Q(x)，下列哪個(gè)結(jié)論是正確的？

-A.?x?P(x)

-B.?x?P(x)

-C.?xQ(x)

-D.?xQ(x)

**參考答案**:A

**解析**:根據(jù)全稱(chēng)量詞的消解規(guī)則和存在量詞的消解規(guī)則，從?x(P(x)→Q(x))和?x?Q(x)可以推出?x?P(x)。

27.在一階邏輯中，若已知前提為?x(P(x)∧Q(x))，則下列哪個(gè)結(jié)論是正確的？

-A.?xP(x)

-B.?xP(x)

-C.?xQ(x)

-D.?xQ(x)

**參考答案**:A

**解析**:根據(jù)全稱(chēng)量詞的消解規(guī)則，從?x(P(x)∧Q(x))可以推出?xP(x)。

28.已知前提為?xP(x)和?x(P(x)→Q(x))，下列哪個(gè)結(jié)論是正確的？

-A.?xQ(x)

-B.?xQ(x)

-C.?x?P(x)

-D.?x?P(x)

**參考答案**:A

**解析**:根據(jù)存在量詞的消解規(guī)則和全稱(chēng)量詞的消解規(guī)則，從?xP(x)和?x(P(x)→Q(x))可以推出?xQ(x)。

29.在一階邏輯中，若已知前提為?x(P(x)→Q(x))和?x(Q(x)→R(x))，則下列哪個(gè)結(jié)論是正確的？

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

-B.?x(P(x)→R(x))

-C.?x(R(x)→P(x))

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

**參考答案**:A

**解析**:根據(jù)三段論推理規(guī)則，從?x(P(x)→Q(x))和?x(Q(x)→R(x))可以推出?x(P(x)→R(x))。

30.給定前提?x(P(x)∧Q(x))，下列哪個(gè)結(jié)論是正確的？

-A.?xP(x)

-B.?xP(x)

-C.?xQ(x)

-D.?xQ(x)

**參考答案**:B

**解析**:根據(jù)存在量詞的消解規(guī)則，從?x(P(x)∧Q(x))可以推出?xP(x)。

31.在一階邏輯中，若已知前提為?x(P(x)∨Q(x))和?P(a)，則下列哪個(gè)結(jié)論是正確的？

-A.Q(a)

-B.?Q(a)

-C.?xQ(x)

-D.?xQ(x)

**參考答案**:A

**解析**:根據(jù)全稱(chēng)量詞的消解規(guī)則和析取三段論規(guī)則，從?x(P(x)∨Q(x))和?P(a)可以推出Q(a)。

32.給定前提?x(P(x)→Q(x))和?x?Q(x)，下列哪個(gè)結(jié)論是正確的？

-A.?x?P(x)

-B.?x?P(x)

-C.?xQ(x)

-D.?xQ(x)

**參考答案**:A

**解析**:根據(jù)全稱(chēng)量詞的消解規(guī)則和存在量詞的消解規(guī)則，從?x(P(x)→Q(x))和?x?Q(x)可以推出?x?P(x)。

33.在一階邏輯中，若已知前提為?x(P(x)∧Q(x))，則下列哪個(gè)結(jié)論是正確的？

-A.?xP(x)

-B.?xP(x)

-C.?xQ(x)

-D.?xQ(x)

**參考答案**:A

**解析**:根據(jù)全稱(chēng)量詞的消解規(guī)則，從?x(P(x)∧Q(x))可以推出?xP(x)。

34.已知前提為?xP(x)和?x(P(x)→Q(x))，下列哪個(gè)結(jié)論是正確的？

-A.?xQ(x)

-B.?xQ(x)

-C.?x?P(x)

-D.?x?P(x)

**參考答案**:A

**解析**:根據(jù)存在量詞的消解規(guī)則和全稱(chēng)量詞的消解規(guī)則，從?xP(x)和?x(P(x)→Q(x))可以推出?xQ(x)。

35.在一階邏輯中，若已知前提為?x(P(x)→Q(x))和?x(Q(x)→R(x))，則下列哪個(gè)結(jié)論是正確的？

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

-B.?x(P(x)→R(x))

-C.?x(R(x)→P(x))

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

**參考答案**:A

**解析**:根據(jù)三段論推理規(guī)則，從?x(P(x)→Q(x))和?x(Q(x)→R(x))可以推出?x(P(x)→R(x))。

36.給定前提?x(P(x)∧Q(x))，下列哪個(gè)結(jié)論是正確的？

-A.?xP(x)

-B.?xP(x)

-C.?xQ(x)

-D.?xQ(x)

**參考答案**:B

**解析**:根據(jù)存在量詞的消解規(guī)則，從?x(P(x)∧Q(x))可以推出?xP(x)

溫馨提示

  • 1. 本站所有資源如無(wú)特殊說(shuō)明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶(hù)所有。
  • 3. 本站RAR壓縮包中若帶圖紙，網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽，若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(chǔ)空間，僅對(duì)用戶(hù)上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理，對(duì)用戶(hù)上傳分享的文檔內(nèi)容本身不做任何修改或編輯，并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容，請(qǐng)與我們聯(lián)系，我們立即糾正。
  • 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶(hù)因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。

評(píng)論

0/150

提交評(píng)論