版權(quán)說明：本文檔由用戶提供并上傳，收益歸屬內(nèi)容提供方，若內(nèi)容存在侵權(quán)，請進行舉報或認領(lǐng)
文檔簡介
第二講·所謂詞邏輝在Is中,把命題分解到原子命題為止,認為原子命題是不能再分解的,僅僅研究以原子命題為基本單位的復合命題之間的邏輯關(guān)系和推理。這樣,有些推理用命題邏輯就難以確切地表示出來。例如,著名的亞里士多德三段論蘇格拉底推理:所有的人都是要死的蘇格拉底是人所以蘇格拉底是要死的。根據(jù)常識,認為這個推理是正確的。但是,若用Ls來表示,設P、Q和R分別表示這三個原子命題,則有瑳堵P,Q→R然而,(P∧Q)→R并不是永真式,故上述推理形式又是錯誤的。一個推理,得出矛盾的結(jié)論,問題在哪里呢?問題就在于這類推理中,各命題之間的邏輯關(guān)系不是體現(xiàn)在原子命題之間,而是體現(xiàn)在構(gòu)成原子命題的內(nèi)部成分之間,即體現(xiàn)在命題結(jié)構(gòu)的更深層次上。對此,Is是無能為力的。所以,在研究某些推理時,有必要對原子命題作進一步分析,分析出其中的個體詞,謂詞和量詞,研究它們的形式結(jié)構(gòu)的邏輯關(guān)系、正確的推理形式和規(guī)則,這些正是謂詞邏輯(簡稱為Lp)的基本內(nèi)容。2.1個體、謂詞和量詞2.2謂詞么式與顏譯2.3約束變元與自由變元2.4么式解釋與類型2.5等價式與蘊涵式2.6謂詞公式滋式2.7謂詞邏的推理理論2.1個體、謂詞和量詞在Lp中,命題是具有真假意義的陳述句從語法上分析,一個陳述句由主語和謂語兩部分組成。在Lp中,為揭示命題內(nèi)部結(jié)構(gòu)及其不同命題的內(nèi)部結(jié)構(gòu)關(guān)系,就按照這兩部
溫馨提示
- 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙，網(wǎng)頁內(nèi)容里面會有圖紙預覽，若沒有圖紙預覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間，僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理，對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯，并不能對任何下載內(nèi)容負責。
- 6. 下載文件中如有侵權(quán)或不適當內(nèi)容，請與我們聯(lián)系，我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 2025年度新材料研發(fā)與產(chǎn)業(yè)化推廣合同3篇
- 2025年度智能車庫租賃定金合同4篇
- 2024濕地公園生態(tài)教育展示中心建設合同3篇
- 2024投標聯(lián)合體協(xié)議書模板：新型城鎮(zhèn)化項目合作3篇
- 2025個人股份代持協(xié)議范本與合同履行評估報告4篇
- 2025年度金融產(chǎn)品個人居間推廣合同4篇
- 2025年度個人股份代持協(xié)議書（藝術(shù)品投資合作）4篇
- 2025年浙江湖州供銷集團有限公司招聘筆試參考題庫含答案解析
- 2025年山東玻纖集團股份有限公司招聘筆試參考題庫含答案解析
- 2025年廣西防城港市港發(fā)控股集團招聘筆試參考題庫含答案解析
- 2024年工程咨詢服務承諾書
- 青桔單車保險合同條例
- 車輛使用不過戶免責協(xié)議書范文范本
- 《獅子王》電影賞析
- 2023-2024學年天津市部分區(qū)九年級（上）期末物理試卷
- DB13-T 5673-2023 公路自愈合瀝青混合料薄層超薄層罩面施工技術(shù)規(guī)范
- 河北省保定市定州市2025屆高二數(shù)學第一學期期末監(jiān)測試題含解析
- 哈爾濱研學旅行課程設計
- 2024 smart汽車品牌用戶社區(qū)運營全案
- 中醫(yī)護理人文
- 2024-2030年中國路亞用品市場銷售模式與競爭前景分析報告
評論
0/150
提交評論