版權(quán)說明：本文檔由用戶提供并上傳，收益歸屬內(nèi)容提供方，若內(nèi)容存在侵權(quán)，請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
PAGE1.在謂詞邏輯中，以下哪個(gè)規(guī)則允許從全稱命題推導(dǎo)出特稱命題？
-A.全稱實(shí)例化
-B.存在實(shí)例化
-C.全稱概括
-D.存在概括
**參考答案**:A
**解析**:全稱實(shí)例化規(guī)則允許從全稱命題推導(dǎo)出特稱命題，即從?xP(x)可以推導(dǎo)出P(c)，其中c是某個(gè)特定的個(gè)體。
2.在謂詞邏輯的證明中，以下哪個(gè)規(guī)則允許從存在命題推導(dǎo)出特稱命題？
-A.全稱實(shí)例化
-B.存在實(shí)例化
-C.全稱概括
-D.存在概括
**參考答案**:B
**解析**:存在實(shí)例化規(guī)則允許從存在命題推導(dǎo)出特稱命題，即從?xP(x)可以推導(dǎo)出P(c)，其中c是某個(gè)特定的個(gè)體。
3.在謂詞邏輯中，以下哪個(gè)規(guī)則允許從特稱命題推導(dǎo)出全稱命題？
-A.全稱實(shí)例化
-B.存在實(shí)例化
-C.全稱概括
-D.存在概括
**參考答案**:C
**解析**:全稱概括規(guī)則允許從特稱命題推導(dǎo)出全稱命題，即從P(c)可以推導(dǎo)出?xP(x)，其中c是任意個(gè)體。
4.在謂詞邏輯中，以下哪個(gè)規(guī)則允許從特稱命題推導(dǎo)出存在命題？
-A.全稱實(shí)例化
-B.存在實(shí)例化
-C.全稱概括
-D.存在概括
**參考答案**:D
**解析**:存在概括規(guī)則允許從特稱命題推導(dǎo)出存在命題，即從P(c)可以推導(dǎo)出?xP(x)，其中c是某個(gè)特定的個(gè)體。
5.在謂詞邏輯的證明中，以下哪個(gè)規(guī)則用于消除存在量詞？
-A.全稱實(shí)例化
-B.存在實(shí)例化
-C.全稱概括
-D.存在概括
**參考答案**:B
**解析**:存在實(shí)例化規(guī)則用于消除存在量詞，即從?xP(x)可以推導(dǎo)出P(c)，其中c是某個(gè)特定的個(gè)體。
6.在謂詞邏輯的證明中，以下哪個(gè)規(guī)則用于引入全稱量詞？
-A.全稱實(shí)例化
-B.存在實(shí)例化
-C.全稱概括
-D.存在概括
**參考答案**:C
**解析**:全稱概括規(guī)則用于引入全稱量詞，即從P(c)可以推導(dǎo)出?xP(x)，其中c是任意個(gè)體。
7.在謂詞邏輯的證明中，以下哪個(gè)規(guī)則用于引入存在量詞？
-A.全稱實(shí)例化
-B.存在實(shí)例化
-C.全稱概括
-D.存在概括
**參考答案**:D
**解析**:存在概括規(guī)則用于引入存在量詞，即從P(c)可以推導(dǎo)出?xP(x)，其中c是某個(gè)特定的個(gè)體。
8.在謂詞邏輯的證明中，以下哪個(gè)規(guī)則用于消除全稱量詞？
-A.全稱實(shí)例化
-B.存在實(shí)例化
-C.全稱概括
-D.存在概括
**參考答案**:A
**解析**:全稱實(shí)例化規(guī)則用于消除全稱量詞，即從?xP(x)可以推導(dǎo)出P(c)，其中c是某個(gè)特定的個(gè)體。
9.在謂詞邏輯的證明中，以下哪個(gè)規(guī)則用于從P(c)推導(dǎo)出?xP(x)？
-A.全稱實(shí)例化
-B.存在實(shí)例化
-C.全稱概括
-D.存在概括
**參考答案**:C
**解析**:全稱概括規(guī)則用于從P(c)推導(dǎo)出?xP(x)，其中c是任意個(gè)體。
10.在謂詞邏輯的證明中，以下哪個(gè)規(guī)則用于從P(c)推導(dǎo)出?xP(x)？
-A.全稱實(shí)例化
-B.存在實(shí)例化
-C.全稱概括
-D.存在概括
**參考答案**:D
**解析**:存在概括規(guī)則用于從P(c)推導(dǎo)出?xP(x)，其中c是某個(gè)特定的個(gè)體。
11.在謂詞邏輯的證明中，以下哪個(gè)規(guī)則用于從?xP(x)推導(dǎo)出P(c)？
-A.全稱實(shí)例化
-B.存在實(shí)例化
-C.全稱概括
-D.存在概括
**參考答案**:A
**解析**:全稱實(shí)例化規(guī)則用于從?xP(x)推導(dǎo)出P(c)，其中c是某個(gè)特定的個(gè)體。
12.在謂詞邏輯的證明中，以下哪個(gè)規(guī)則用于從?xP(x)推導(dǎo)出P(c)？
-A.全稱實(shí)例化
-B.存在實(shí)例化
-C.全稱概括
-D.存在概括
**參考答案**:B
**解析**:存在實(shí)例化規(guī)則用于從?xP(x)推導(dǎo)出P(c)，其中c是某個(gè)特定的個(gè)體。
13.在謂詞邏輯的證明中，以下哪個(gè)規(guī)則用于從P(c)推導(dǎo)出?xP(x)，其中c是任意個(gè)體？
-A.全稱實(shí)例化
-B.存在實(shí)例化
-C.全稱概括
-D.存在概括
**參考答案**:C
**解析**:全稱概括規(guī)則用于從P(c)推導(dǎo)出?xP(x)，其中c是任意個(gè)體。
14.在謂詞邏輯的證明中，以下哪個(gè)規(guī)則用于從P(c)推導(dǎo)出?xP(x)，其中c是某個(gè)特定的個(gè)體？
-A.全稱實(shí)例化
-B.存在實(shí)例化
-C.全稱概括
-D.存在概括
**參考答案**:D
**解析**:存在概括規(guī)則用于從P(c)推導(dǎo)出?xP(x)，其中c是某個(gè)特定的個(gè)體。
15.在謂詞邏輯的證明中，以下哪個(gè)規(guī)則用于從?xP(x)推導(dǎo)出P(c)，其中c是某個(gè)特定的個(gè)體？
-A.全稱實(shí)例化
-B.存在實(shí)例化
-C.全稱概括
-D.存在概括
**參考答案**:A
**解析**:全稱實(shí)例化規(guī)則用于從?xP(x)推導(dǎo)出P(c)，其中c是某個(gè)特定的個(gè)體。
16.在謂詞邏輯的證明中，以下哪個(gè)規(guī)則用于從?xP(x)推導(dǎo)出P(c)，其中c是某個(gè)特定的個(gè)體？
-A.全稱實(shí)例化
-B.存在實(shí)例化
-C.全稱概括
-D.存在概括
**參考答案**:B
**解析**:存在實(shí)例化規(guī)則用于從?xP(x)推導(dǎo)出P(c)，其中c是某個(gè)特定的個(gè)體。
17.在謂詞邏輯的證明中，以下哪個(gè)規(guī)則用于從P(c)推導(dǎo)出?xP(x)，其中c是任意個(gè)體？
-A.全稱實(shí)例化
-B.存在實(shí)例化
-C.全稱概括
-D.存在概括
**參考答案**:C
**解析**:全稱概括規(guī)則用于從P(c)推導(dǎo)出?xP(x)，其中c是任意個(gè)體。
18.在謂詞邏輯的證明中，以下哪個(gè)規(guī)則用于從P(c)推導(dǎo)出?xP(x)，其中c是某個(gè)特定的個(gè)體？
-A.全稱實(shí)例化
-B.存在實(shí)例化
-C.全稱概括
-D.存在概括
**參考答案**:D
**解析**:存在概括規(guī)則用于從P(c)推導(dǎo)出?xP(x)，其中c是某個(gè)特定的個(gè)體。
19.在謂詞邏輯的證明中，以下哪個(gè)規(guī)則用于從?xP(x)推導(dǎo)出P(c)，其中c是某個(gè)特定的個(gè)體？
-A.全稱實(shí)例化
-B.存在實(shí)例化
-C.全稱概括
-D.存在概括
**參考答案**:A
**解析**:全稱實(shí)例化規(guī)則用于從?xP(x)推導(dǎo)出P(c)，其中c是某個(gè)特定的個(gè)體。
20.在謂詞邏輯的證明中，以下哪個(gè)規(guī)則用于從?xP(x)推導(dǎo)出P(c)，其中c是某個(gè)特定的個(gè)體？
-A.全稱實(shí)例化
-B.存在實(shí)例化
-C.全稱概括
-D.存在概括
**參考答案**:B
**解析**:存在實(shí)例化規(guī)則用于從?xP(x)推導(dǎo)出P(c)，其中c是某個(gè)特定的個(gè)體。
21.在謂詞邏輯中，以下哪個(gè)推理規(guī)則用于消除全稱量詞？
-A.全稱實(shí)例化
-B.存在實(shí)例化
-C.全稱概括
-D.存在概括
**參考答案**:A
**解析**:全稱實(shí)例化規(guī)則用于從全稱量詞命題中推導(dǎo)出特定實(shí)例的命題。
22.給定謂詞邏輯公式`?x(P(x)→Q(x))`和`P(a)`，以下哪個(gè)結(jié)論是正確的？
-A.Q(a)
-B.?xQ(x)
-C.?xQ(x)
-D.P(a)∧Q(a)
**參考答案**:A
**解析**:通過全稱實(shí)例化和假言推理，可以從`?x(P(x)→Q(x))`和`P(a)`推導(dǎo)出`Q(a)`。
23.在謂詞邏輯中，以下哪個(gè)推理規(guī)則用于引入存在量詞？
-A.全稱實(shí)例化
-B.存在實(shí)例化
-C.全稱概括
-D.存在概括
**參考答案**:D
**解析**:存在概括規(guī)則用于從特定實(shí)例的命題中推導(dǎo)出存在量詞命題。
24.給定謂詞邏輯公式`?x(P(x)∧Q(x))`，以下哪個(gè)結(jié)論是正確的？
-A.?xP(x)
-B.?xP(x)
-C.?xQ(x)
-D.?xQ(x)
**參考答案**:B
**解析**:從`?x(P(x)∧Q(x))`可以推導(dǎo)出`?xP(x)`，因?yàn)榇嬖谝粋€(gè)`x`使得`P(x)`為真。
25.在謂詞邏輯中，以下哪個(gè)推理規(guī)則用于消除存在量詞？
-A.全稱實(shí)例化
-B.存在實(shí)例化
-C.全稱概括
-D.存在概括
**參考答案**:B
**解析**:存在實(shí)例化規(guī)則用于從存在量詞命題中推導(dǎo)出特定實(shí)例的命題。
26.給定謂詞邏輯公式`?x(P(x)→Q(x))`和`?xP(x)`，以下哪個(gè)結(jié)論是正確的？
-A.?xQ(x)
-B.?xQ(x)
-C.P(a)→Q(a)
-D.Q(a)
**參考答案**:B
**解析**:通過存在實(shí)例化和假言推理，可以從`?x(P(x)→Q(x))`和`?xP(x)`推導(dǎo)出`?xQ(x)`。
27.在謂詞邏輯中，以下哪個(gè)推理規(guī)則用于引入全稱量詞？
-A.全稱實(shí)例化
-B.存在實(shí)例化
-C.全稱概括
-D.存在概括
**參考答案**:C
**解析**:全稱概括規(guī)則用于從特定實(shí)例的命題中推導(dǎo)出全稱量詞命題。
28.給定謂詞邏輯公式`?x(P(x)→Q(x))`和`?xP(x)`，以下哪個(gè)結(jié)論是正確的？
-A.?xQ(x)
-B.?xQ(x)
-C.P(a)→Q(a)
-D.Q(a)
**參考答案**:A
**解析**:通過全稱實(shí)例化和假言推理，可以從`?x(P(x)→Q(x))`和`?xP(x)`推導(dǎo)出`?xQ(x)`。
29.在謂詞邏輯中，以下哪個(gè)推理規(guī)則用于消除假言命題？
-A.假言推理
-B.假言三段論
-C.假言引入
-D.假言消除
**參考答案**:A
**解析**:假言推理規(guī)則用于從`P→Q`和`P`推導(dǎo)出`Q`。
30.給定謂詞邏輯公式`P(a)→Q(a)`和`P(a)`，以下哪個(gè)結(jié)論是正確的？
-A.Q(a)
-B.?xQ(x)
-C.?xQ(x)
-D.P(a)∧Q(a)
**參考答案**:A
**解析**:通過假言推理，可以從`P(a)→Q(a)`和`P(a)`推導(dǎo)出`Q(a)`。
31.在謂詞邏輯中，以下哪個(gè)推理規(guī)則用于引入假言命題？
-A.假言推理
-B.假言三段論
-C.假言引入
-D.假言消除
**參考答案**:C
**解析**:假言引入規(guī)則用于從假設(shè)`P`推導(dǎo)出`Q`，從而得到`P→Q`。
32.給定謂詞邏輯公式`P(a)`和`Q(a)`，以下哪個(gè)結(jié)論是正確的？
-A.P(a)→Q(a)
-B.?x(P(x)→Q(x))
-C.?x(P(x)→Q(x))
-D.P(a)∧Q(a)
**參考答案**:D
**解析**:從`P(a)`和`Q(a)`可以直接推導(dǎo)出`P(a)∧Q(a)`。
33.在謂詞邏輯中，以下哪個(gè)推理規(guī)則用于消除合取命題？
-A.合取引入
-B.合取消除
-C.析取引入
-D.析取消除
**參考答案**:B
**解析**:合取消除規(guī)則用于從`P∧Q`推導(dǎo)出`P`或`Q`。
34.給定謂詞邏輯公式`P(a)∧Q(a)`，以下哪個(gè)結(jié)論是正確的？
-A.P(a)
-B.Q(a)
-C.P(a)→Q(a)
-D.?x(P(x)∧Q(x))
**參考答案**:A
**解析**:通過合取消除，可以從`P(a)∧Q(a)`推導(dǎo)出`P(a)`。
35.在謂詞邏輯中，以下哪個(gè)推理規(guī)則用于引入合取命題？
-A.合取引入
-B.合取消除
-C.析取引入
-D.析取消除
**參考答案**:A
**解析**:合取引入規(guī)則用于從`P`和`Q`推導(dǎo)出`P∧Q`。
36.給定謂詞邏輯公式`P(a)`和`Q(a)`，以下哪個(gè)結(jié)論是正確的？
-A.P(a)∧Q(a)
-B.P(a)→Q(a)
-C.?x(P(x)∧Q(x))
-D.?x(P(x)∧Q(x))
**參考答案**:A
**解析**:通過合取引入，可以從`P(a)`和`Q(a)`推導(dǎo)出`P(a)∧Q(a)`。
37.在謂詞邏輯中，以下哪個(gè)推理規(guī)則用于消除析取命題？
-A.合取引入
溫馨提示
- 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙，網(wǎng)頁內(nèi)容里面會(huì)有圖紙預(yù)覽，若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲(chǔ)空間，僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理，對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯，并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容，請(qǐng)與我們聯(lián)系，我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 分房協(xié)議書范文
- 集體耕地承包協(xié)議書
- 代簽離婚協(xié)議合同樣本
- 書銷售返利合同標(biāo)準(zhǔn)文本
- 安裝技術(shù)方案及質(zhì)量保證措施
- 做燈具合同樣本
- 代理建材經(jīng)銷業(yè)務(wù)合同樣本
- 部編版五年級(jí)語文下冊(cè)23-鳥的天堂
- 企業(yè)托管員工合同樣本
- 控?zé)熤黝}班會(huì)課教案
- GB/T 30059-2013熱交換器用耐蝕合金無縫管
- 初中數(shù)學(xué)課程資源開發(fā)與利用
- 邏輯門電路-公開課教學(xué)設(shè)計(jì)
- 急性心包炎-課件
- 我跟阿爹拉駱駝全國(guó)一等獎(jiǎng)教學(xué)設(shè)計(jì)
- 勇敢面對(duì)挫折和困難課件
- 徐士良《計(jì)算機(jī)軟件技術(shù)基礎(chǔ)》（第4版）筆記和課后習(xí)題詳解
- 房屋建造過程課件
- 坯布檢驗(yàn)標(biāo)準(zhǔn)及檢驗(yàn)規(guī)范
- 帶壓堵漏、帶壓開孔作業(yè)安全管理制度
- 采用冷卻塔變流量的中央空調(diào)冷卻水系統(tǒng)能效分解
評(píng)論
0/150
提交評(píng)論