




版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、命題邏輯的相關(guān)知識(shí)及其運(yùn)用 1.復(fù)合命題 表達(dá)判斷的語句,稱為命題。命題的基本特征是有真假。任何命題,或者真,或者假,但不能既真又假。命題的真、假二值,統(tǒng)稱為命題的真值。真命題的真值為真,假命題的真假為假。 一個(gè)命題所包含的與自身不同的命題,稱為該命題的支命題。 不包含支命題的命題,稱為原子命題。如:(1)天下著雨。(2)所有的金屬都是導(dǎo)電的。(3)有的新聞報(bào)導(dǎo)不是真實(shí)的。(4)圓是平面上一動(dòng)點(diǎn)圍繞一定點(diǎn)作等距離運(yùn)動(dòng)所留下的軌跡。均為原子命題。而以下均不是原子命題:(5)天下著雨,并且地上是濕的。(6)天沒下雨,或者地上是濕的。(7)如果天下雨,那么地上是濕的。命題(5)至(7)稱為復(fù)合命題。
2、復(fù)合命題是包含支命題的命題,并且其真值是其支命題的真值按照一定的邏輯關(guān)系地確定的。表達(dá)這種邏輯關(guān)系的語詞,稱為邏輯聯(lián)結(jié)詞,簡(jiǎn)稱聯(lián)結(jié)詞。常用聯(lián)結(jié)詞包括:并非、并且、或者、要么要么、如果那么、只有才、當(dāng)且僅當(dāng)。通常以p、q 等小寫英語字母表示原子命題, p、q 等稱為命題變項(xiàng)。在同一設(shè)定中,同一命題變項(xiàng)表示同一原子命題;不同的命題變項(xiàng)表示不同的原子命題。如:令p表示“小張高”,q表示“小張胖”,則“小張既高又胖”的符號(hào)表達(dá)式是:p并且q 支命題可以是原子命題,也可以是復(fù)合命題。思考總經(jīng)理:根據(jù)本公司目前的實(shí)力,我主張環(huán)島綠地和宏達(dá)小區(qū)這兩項(xiàng)工程至少上馬一個(gè),但清河橋改造工程不能上馬。董事長(zhǎng):我不同
3、意。分別寫出表達(dá)總經(jīng)理和董事長(zhǎng)意見的符號(hào)表達(dá)式:解答:令:p 表示“環(huán)島綠地工程上馬”;q 表示“宏達(dá)小區(qū)工程上馬”;r 表示“清河橋改造工程上馬”。則總經(jīng)理的意見是:(p或者q)并且(非r)。董事長(zhǎng)的意見是:并非(p或者q)并且(非r)在以上表達(dá)式中,括號(hào)中的支命題都是復(fù)合命題。因此,復(fù)合命題是由原子命題和聯(lián)結(jié)詞構(gòu)成的,或者說,復(fù)合命題是原子命題和聯(lián)結(jié)詞的合式構(gòu)成。復(fù)合命題有聯(lián)言命題、選言命題、假言命題和負(fù)命題四種基本類型。下面分別討論它們的定義、分類、一般形式、日常語言形式、符號(hào)形式和邏輯值(真值表) 先討論聯(lián)言命題。聯(lián)言命題是斷定支命題都真的復(fù)合命題。如:“我們不但要建設(shè)物質(zhì)文明,而且要
4、建設(shè)精神文明”。一般形式為“p并且q”。其中,命題變項(xiàng)p和q稱為聯(lián)言支; “并且”是聯(lián)結(jié)詞。一個(gè)聯(lián)言命題的聯(lián)言支可以多于2個(gè)。在日常語言中,聯(lián)言命題“p并且q”也表述為“不但p,而且q”、“既p又q”、“雖然p,但是q”、“不僅p,也q”,等等。有的聯(lián)言命題省略了聯(lián)結(jié)詞,如“知無不言,言無不盡,言者無罪,聞?wù)咦憬洹?,就是一個(gè)省略了聯(lián)結(jié)詞的有4個(gè)聯(lián)言支的聯(lián)言命題。聯(lián)言命題的符號(hào)形式是:pq?!啊弊x作“合取”,表示“并且”。 復(fù)合命題的真值稱為邏輯值,因?yàn)槠湔嬷凳怯蓸?gòu)成它的原子命題的真值邏輯地確定的。聯(lián)言命題斷定聯(lián)言支都真,因此,一個(gè)聯(lián)言命題,只有在聯(lián)言支都真的情況下才是真的,在其余情況下都是假的
5、。聯(lián)言命題的真值可用以下的表格刻畫:pq pq真 真 真真假假假真假假假假上面這樣的表格稱為真值表。 真值表列出了在原子支命題的每一組真值組合的情況下復(fù)合命題的真值。 “”是一種真值運(yùn)算。顯然,以下關(guān)于“”的運(yùn)算式成立:真真= 真真假 = 假真= 假假= 假下面討論選言命題。選言命題是斷定至少有一個(gè)支命題中為真的復(fù)合命題。如:“明天我或者登長(zhǎng)城,或者游香山”。 思考試比較以下兩個(gè)選言命題:(1)老張是詩人,或者是畫家。(2)老張要么是四川人,要么是湖南人。分析:命題(1)斷定“老張是詩人”和“老張是畫家”這兩種事物情況至少有一種存在,但也可以同時(shí)存在,也就是說,“老張是詩人”和“老張是畫家”是
6、相容的。 命題(2)斷定“老張是四川人”和“老張是湖南人”兩種事物情況至少有一種存在,但不能都存在,也就是說,“老張是四川人”和“老張是湖南人”是不相容的。依此,選言命題分為相容選言命題和不相容選言命題。 先討論相容選言命題。相容選言命題是斷定支命題中至少有一真,但也可以都真的選言命題。一般形式是“p或者q”。其中,p和q稱為選言支;“或者”是聯(lián)結(jié)詞。選言支可以多于2個(gè)。相容選言命題的符號(hào)形式是:pq。“”讀作“析取”,表示“或者”。相容選言命題斷定選言支中至少有一真,也可以都真,因此,一個(gè)相容選言命題,只有在選言支都假的情況下才是假的,在其余情況下都是真的。相容選言命題的真值表如下:pq p
7、 q真 真 真真假真假真真假假假顯然,以下關(guān)于“”的運(yùn)算式成立:真 真 = 真 假= 假 真= 真 假 假 = 假接著討論不相容選言命題。不相容選言命題是斷定支命題中至少有一真,并且至多有一真的選言命題。一般形式為“要么p,要么q”。同樣,選言支也可以多于2個(gè)。 不相容選言命題斷定選言支中至少有一真,并且至多有一真。因此,不相容選言命題的真值表如下:pq 要么p,要么q真 真 假真假真假真真假假假在日常語言中,“要么,要么”只表示不相容選言命題,“或者,或者”可以表示相容,也可以表示不相容選言命題,至于實(shí)際上表示哪類選言命題,要根據(jù)具體的語境而定。如:(1)小張或者報(bào)考文科,或者報(bào)考理科。(2)今年暑假小張或者去張家界,或者去九寨溝。根據(jù)語境,可以確定,(1)只能是不相容的;(2)可以是相容的。思
溫馨提示
- 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ì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 高郵面試實(shí)戰(zhàn)模擬題庫二
- 學(xué)校教師消防知識(shí)培訓(xùn)課件
- 海關(guān)面試實(shí)戰(zhàn)模擬題庫
- 學(xué)校安全知識(shí)培訓(xùn)課件簽到表
- 學(xué)校五字安全知識(shí)培訓(xùn)課件
- 倒裝芯片封裝技術(shù)培訓(xùn)教程
- 淄博旅游秘籍
- 六年級(jí)上冊(cè)數(shù)學(xué)競(jìng)賽試題-計(jì)數(shù)綜合提高上習(xí)題(含答案)
- 4潮玩市場(chǎng)IP運(yùn)營(yíng)模式創(chuàng)新與產(chǎn)業(yè)發(fā)展趨勢(shì)研究報(bào)告
- 學(xué)會(huì)處理賓客投訴
- 2025年(完整版)十八項(xiàng)核心制度培訓(xùn)考核試題(含答案)
- 供應(yīng)商評(píng)價(jià)表模板
- 病理組織的脫水改
- 西安市出租汽車服務(wù)質(zhì)量信譽(yù)考核實(shí)施細(xì)則(試行)
- 三體系(全條款)內(nèi)部審核
- GB/T 4852-2002壓敏膠粘帶初粘性試驗(yàn)方法(滾球法)
- GB/T 19290.3-2008發(fā)展中的電子設(shè)備構(gòu)體機(jī)械結(jié)構(gòu)模數(shù)序列第2-1部分:分規(guī)范25 mm設(shè)備構(gòu)體的接口協(xié)調(diào)尺寸詳細(xì)規(guī)范機(jī)柜和機(jī)架的尺寸
- 三級(jí)口腔??漆t(yī)院基本標(biāo)準(zhǔn)
- 煤矸石加工科研報(bào)告
- 中國(guó)水務(wù)行業(yè)藍(lán)皮書
- 市政基礎(chǔ)設(shè)施工程施工現(xiàn)場(chǎng)安全風(fēng)險(xiǎn)點(diǎn)清單
評(píng)論
0/150
提交評(píng)論