第1章 命題邏輯-2.ppt_第1頁(yè)
第1章 命題邏輯-2.ppt_第2頁(yè)
第1章 命題邏輯-2.ppt_第3頁(yè)
第1章 命題邏輯-2.ppt_第4頁(yè)
第1章 命題邏輯-2.ppt_第5頁(yè)
已閱讀5頁(yè),還剩20頁(yè)未讀, 繼續(xù)免費(fèi)閱讀

下載本文檔

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

文檔簡(jiǎn)介

1、第一章 命題邏輯1.2邏輯聯(lián)結(jié)詞,在命題邏輯中,主要研究的是復(fù)合命題,而復(fù)合命題是由原子命題與邏輯聯(lián)結(jié)詞組合而成,聯(lián)結(jié)詞是復(fù)合命題的重要組成部分.,1.2.1 否定聯(lián)結(jié)詞 定義1.2.1 設(shè)P為一命題, P的否定是一個(gè)新的 復(fù)合命題, 稱為P的否定式,記作 “P”讀作“非 P”. 符號(hào)“ ” 稱為否定聯(lián)結(jié)詞。 P為真當(dāng)且 僅當(dāng)P為假. 說明: “”屬于一元運(yùn)算符.,例1. P: 天津是一個(gè)城市. Q: 3是偶數(shù). 于是: P: 天津不是一個(gè)城市. Q: 3不是偶數(shù).,“”的定義也可用下表來說明. 聯(lián)結(jié)詞“”的定義真值表,1.2.2 合取聯(lián)結(jié)詞(二元運(yùn)算符) 定義1.2.2 設(shè)P,Q為二命題,復(fù)

2、合命題“P并且Q” (或“P與Q”)稱為P與Q的合取式,記作 PQ,符號(hào)“” 稱為合取聯(lián)結(jié)詞. PQ為真 當(dāng)且僅當(dāng)P和Q同時(shí)為真.,聯(lián)結(jié)詞“”的定義真值表,說明 自然語(yǔ)言中的表示“并且”意思的聯(lián)結(jié)詞,如 “既又”、 “不但而且”、 “雖然但是”、 “一面一面”、 “和”、 “與” 等都可以 符號(hào)化為 。,例2. 將下列命題符號(hào)化. (1) 李平既聰明又用功. (2) 李平雖然聰明, 但不用功. (3) 李平不但聰明,而且用功. (4) 李平不是不聰明,而是不用功. 解: 設(shè) P:李平聰明. Q:李平用功. 則 (1) PQ (2) PQ (3) PQ (4) (P)Q,注意:不要見到“與”或“

3、和”就使用聯(lián)結(jié)詞! 例如: (1)李敏和李華是姐妹。 (2)李敏和張華是朋友。,例3. 試生成下列命題的合取. (1) P: 我們?cè)?08教室. Q: 今天是星期二. (2) S:李平在吃飯. R:張明在吃飯. 解: (1) PQ :我們?cè)?08教室,且今天是星期二. (2) SR:李平與張明在吃飯.,1.2.3 析取聯(lián)結(jié)詞(二元運(yùn)算符) 定義1.2.3 設(shè)P, Q為二命題,復(fù)合命題“P或Q” 稱為P與Q的析取式,記作PQ ,符號(hào)稱為 析取聯(lián)結(jié)詞. PQ為真當(dāng)且僅當(dāng) P與Q中至少有 一個(gè)為真.,聯(lián)結(jié)詞“”的定義真值表,說明 由析取聯(lián)結(jié)詞的定義可以看出, “”與漢 語(yǔ)中的聯(lián)結(jié)詞“或”意義相近,但

4、又不完全相同。 在現(xiàn)代漢語(yǔ)中,聯(lián)結(jié)詞的“或”實(shí)際上有“可兼或” 和“排斥或”之分。,考察下面命題: (1)小王愛打球或愛跑步。(可兼或) 設(shè)P :小王愛打球。 Q:小王愛跑步。 則上述命題可符號(hào)化為: PQ (2)林芳學(xué)過英語(yǔ)或法語(yǔ)。 (可兼或) 設(shè)P:林芳學(xué)過英語(yǔ)。 Q:林芳學(xué)過法語(yǔ)。 則上述命題可符號(hào)化為: PQ,(3)派小王或小李中的一人去開會(huì)。(排斥或) 設(shè)P:派小王去開會(huì)。Q:派小李去開會(huì)。 則上述命題可符號(hào)化為:(PQ)(PQ) (4)人固有一死,或重于泰山或輕于鴻毛. (排斥或) (5)ab=0, 即a=0 或 b=0. (可兼或) 由此可見, “PQ”表示的是“可兼或”.,1.

5、2.4. 條件聯(lián)結(jié)詞(蘊(yùn)涵聯(lián)結(jié)詞二元運(yùn)算符) 定義1.2.4 設(shè)P, Q為二命題,復(fù)合命題“如果P 則Q (若P則Q)” 稱為P與Q的條件命題,記作 P Q. PQ為假當(dāng)且僅當(dāng)P為真且Q為假.稱符 號(hào)“”為條件聯(lián)結(jié)詞。并稱P為前件,Q為后 件.,聯(lián)結(jié)詞“”的定義真值表,注: PQ表示的基本邏輯關(guān)系是,Q是P的必要條件或P是Q的充分條件. 因此復(fù)合命題“只要P就Q”、“因?yàn)镻,所以Q”、“P僅當(dāng)Q”、“只有Q才P”等都可以符號(hào)化為PQ 的形式。,例4. 將下列命題符號(hào)化。 (1)天不下雨,則草木枯黃。 P:天下雨。 Q:草木枯黃。 則原命題可表示為: PQ。 (2)如果小明學(xué)日語(yǔ),小華學(xué)英語(yǔ),則

6、小芳 學(xué)德語(yǔ)。 P:小明學(xué)日語(yǔ). Q:小華學(xué)英語(yǔ). R:小芳學(xué)德語(yǔ). 則原命題可表示為:(PQ)R,(3)只要不下雨,我就騎自行車上班。 P:天下雨。Q:我騎自行車上班。 則原命題可表示為: PQ。 (4)只有不下雨,我才騎自行車上班。 P:天下雨。Q:我騎自行車上班。 則原命題可表示為: Q P 。,(5)如果 2+2=4, 則太陽(yáng)從東方升起。 (PQ, T) P Q 如果 2+2=4, 則太陽(yáng)從西方升起。 (PR, F) R 如果 2+24, 則太陽(yáng)從東方升起。 (PQ , T) 如果 2+2 4, 則太陽(yáng)從西方升起。 (PR, T),注意: (1)與自然語(yǔ)言的不同:前件與后件可以沒有任何

7、內(nèi)在聯(lián)系! (2) 在數(shù)學(xué)中,“若P則Q”往往表示前件P為真, 則后件Q為真的推理關(guān)系. 但數(shù)理邏輯中,當(dāng)前 件P為假時(shí), PQ的真值為真。,1.2.5 雙條件聯(lián)結(jié)詞(等值聯(lián)結(jié)詞二元運(yùn)算符) 定義1.2.5 設(shè)P, Q為二命題,復(fù)合命題“P當(dāng)且僅 當(dāng)Q” 稱為P與Q的雙條件命題,記作P iff Q或 PQ,符號(hào)稱為雙條件(等值)聯(lián)結(jié)詞。 PQ為真當(dāng)且僅當(dāng)P,Q真值相同。,聯(lián)結(jié)詞“”的定義真值表,注:(1)P僅當(dāng)Q 可譯為PQ P當(dāng)Q 可譯為QP P當(dāng)且僅當(dāng)Q 譯為PQ (2) 雙條件命題PQ所表達(dá)的邏輯關(guān)系是, P與Q互為充分必要條件,相當(dāng)于(PQ)(QP). 只要P與Q的真值同為1或同為0, PQ的真值就為1, 否則PQ的真值為0. 雙條件聯(lián)結(jié)詞連接的兩個(gè)命題之間可以沒有因果關(guān)系。,例5.分析下列命題的真值. P: 2+2=4. Q:3是奇數(shù) . 2+2=4 當(dāng)且僅當(dāng)3是奇數(shù) . (PQ) 2+2=4 當(dāng)且僅當(dāng)3不是奇數(shù) . (PQ) (3) 2+24 當(dāng)且僅當(dāng)3是奇數(shù) . ( PQ) (4) 2+24 當(dāng)且僅當(dāng)3不是奇數(shù) . ( PQ),約 定:1. 運(yùn)算次

溫馨提示

  • 1. 本站所有資源如無(wú)特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 人人文庫(kù)網(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ì)自己和他人造成任何形式的傷害或損失。

最新文檔

評(píng)論

0/150

提交評(píng)論