|
第九章 謂詞邏輯基礎(chǔ)
|
|
資料類別
|
文化課課件 |
|
|
課程(專業(yè))
|
語文 |
|
關(guān)鍵詞
|
謂詞邏輯|個體 |
|
適用年級
|
中職 |
|
身份要求
|
普通會員 |
|
金 幣
|
4 �。�金幣如何獲得？） |
|
文件格式
|
ppt |
|
文件大小
|
114K |
|
發(fā)布時間
|
2006-02-20 00:00:00 |
|
預(yù)覽文件
|
無 |
|
下載次數(shù)
|
110 |
| 發(fā)布人 |
kj008 |
內(nèi)容簡介：
第九章 謂詞邏輯基礎(chǔ)
上一章我們研究了命題邏輯，運用建立起的符號體系確實能表示命題及其間的邏輯關(guān)系，并能進行演算和推理。命題邏輯以原子命題為最小研究單位，現(xiàn)在我們來考察這樣兩個命題：
“張?zhí)焓谴髮W(xué)生”
“王夜是大學(xué)生”。
它們是兩個原子命題，因此只能用兩個不同字母如P，Q來表示它們�？墒呛茱@然這兩個自然語言的謂語即談?wù)摰膯栴}是一樣的，但這一點在命題邏輯符號化時不能體現(xiàn)。
另外就是著名的蘇格拉底推理：
所有的人都是要死的，蘇格拉底是人，所以蘇格拉底是要死的。
這是一個很明顯成立的推理，但用命題邏輯來解釋時是行不通的。因為我們在形式化時只能將三個語句用三個字母如A，B，C來表示，這樣推理就成為A∧BC，而A∧B C不是永真式。我們來分析一下這其中的原因，實際上A，B，C在內(nèi)部結(jié)構(gòu)上是有聯(lián)系的，即C的主語和謂語分別是B的主語和A的謂語。
要解決以上兩個問題都需要將原子命題結(jié)構(gòu)細分，一般主要劃分為主語和謂語，這就是本章要講的謂詞邏輯。當(dāng)然謂詞邏輯還有一點更重要的區(qū)別與命題邏輯的，那就是要討論量詞。
§9．1謂詞邏輯的基本概念
9．1．1 個體 謂詞與謂詞表達式
一個原子命題主要是由主語和謂語組成。主語就是論述的對象稱為個體（individuals），個體可以是具體的，也可以是抽象的，常用a，b，c等小寫字母表示，它可以是一個也可以是多個。當(dāng)個體是一個對象時，謂語表示它的性質(zhì)，當(dāng)個體是多個對象時，謂語表示它們之間的關(guān)系，謂語稱為謂詞（predicate）。謂詞常用P，Q，R，A，B等大寫字母來表示，也常常用英文單詞來表示，如GREAT：大于；BETWEEN：位于…之間，尤其在程序設(shè)計和人工智能中。
........
相關(guān)說明：
1. 如您下載的資料不止一份，建議您注冊成為本站會員。會員請登錄后下載。
2. 會員購買金幣50元以下，0.7元/個，50元以上，0.5元/個。具體請看：下載與付款。
3. 會員48小時內(nèi)下載同一文件，不重復(fù)扣金幣。
4. 下載后請用WinRAR或 WinZIP解壓縮后使用。
5. 如仍有其他下載問題，請看常見問題解答。
下載地址：
|
|
|