版權(quán)說明：本文檔由用戶提供并上傳，收益歸屬內(nèi)容提供方，若內(nèi)容存在侵權(quán)，請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
謂詞邏輯2019/6/10命題邏輯的局限性蘇格拉底三段論:P:所有的人都是要死的Q:蘇格拉底是人R:所以蘇格拉底要死。憑直覺知道這個(gè)結(jié)論是真的,推理是有效的。但是,借助命題演算的推理理論,卻不能推導(dǎo)岀這個(gè)結(jié)論(無法證明它的正確性)。Why?2019/6/102此三段論的論斷顯然正確。但是,在命題邏輯中無法得到正確性的反應(yīng)P∧Q→R不是重言式!命題邏輯不能正確反映此三段論的推理過程。這是命題邏輯的局限性!2019/6/10原因口在命題邏輯中無法將簡(jiǎn)單命題之間的內(nèi)在聯(lián)系反映出來。命題邏輯中描述的上述三段論,即P∧Q→R,使R與命題P、Q無關(guān)的獨(dú)立命題但是,實(shí)際上R與命題P、Q是有關(guān)系的,只是這種關(guān)系在命題邏輯中得不到反映口要反映這種內(nèi)在聯(lián)系,需對(duì)簡(jiǎn)單命題作進(jìn)一步分解,分解出其中的成份,包括:個(gè)體詞,謂詞,量詞,函詞等,研究它們的形式結(jié)構(gòu)及邏輯關(guān)系,總結(jié)出正確的推理形式和規(guī)則,這就是一階邏輯所研究的內(nèi)容口一階邏輯也稱謂詞邏輯。謂詞邏輯是一種表達(dá)能力更強(qiáng)的謂詞邏輯口我們將介紹謂詞邏輯的基本概念和符號(hào)。關(guān)于命題、命題的真值、命題詞、命題常量和命題變?cè)约斑壿嬑鍌€(gè)聯(lián)結(jié)詞其含意和在命題邏輯中的基本相同,口本章中只介紹謂詞邏輯中新出現(xiàn)的基本概念和符號(hào)其中
溫馨提示
- 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ì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 中學(xué)學(xué)生社團(tuán)活動(dòng)表彰獎(jiǎng)勵(lì)制度
- 【寒假專項(xiàng)】《折扣》人教版六年級(jí)數(shù)學(xué)下冊(cè)應(yīng)用題專項(xiàng)訓(xùn)練（含答案）
- 企業(yè)員工獎(jiǎng)懲與晉升管理制度
- 老年糖尿病自我管理健康促進(jìn)方案
- 空箱堆高機(jī)安全技術(shù)操作規(guī)程
- 2025年杭州市創(chuàng)意藝術(shù)學(xué)校招聘考試真題
- 金屬擠壓工安全生產(chǎn)知識(shí)考核試卷含答案
- 我國上市公司每股收益計(jì)算：方法、問題與優(yōu)化路徑探析
- 建筑木雕工常識(shí)考核試卷含答案
- 動(dòng)物膠提膠濃縮工安全文化強(qiáng)化考核試卷含答案
- 護(hù)士長(zhǎng)采血防淤青課件
- 山西電化學(xué)儲(chǔ)能項(xiàng)目建議書
- 2025年及未來5年中國林產(chǎn)化學(xué)產(chǎn)品制造行業(yè)市場(chǎng)深度研究及投資戰(zhàn)略咨詢報(bào)告
- GB/T 46392-2025縣域無障礙環(huán)境建設(shè)評(píng)價(jià)規(guī)范
- DB32-T 4285-2022 預(yù)應(yīng)力混凝土空心方樁基礎(chǔ)技術(shù)規(guī)程
- 數(shù)獨(dú)六宮格（高級(jí)難度）游戲題目100題
- 刺殺操課件教學(xué)課件
- 福建省廈門市雙十中學(xué)2026屆數(shù)學(xué)九年級(jí)第一學(xué)期期末復(fù)習(xí)檢測(cè)模擬試題含解析
- 配電自動(dòng)化系統(tǒng)設(shè)備維護(hù)手冊(cè)
- 全市 控告申訴知識(shí)競(jìng)賽題
- 克羅恩病患者癥狀管理的護(hù)理查房?
評(píng)論
0/150
提交評(píng)論