離散數(shù)學(xué)第章命題邏輯2

第3章命題邏輯3.1命題的有關(guān)概念本講內(nèi)容什么是命題1命題的真值2原子命題與復(fù)合命題3邏輯常量與邏輯變量4命題之間的還有些什么關(guān)系?認(rèn)知關(guān)系:我知道…偏好關(guān)系:他喜歡………邏輯關(guān)系Chapter3命題邏輯邏輯學(xué)是研究思維形式及思維規(guī)律尤其是推理的學(xué)科.邏輯推理無處不在.亞里士多德(Aristotle,公元前384~公元前322)是形式邏輯的創(chuàng)始人.數(shù)學(xué),物理學(xué),化學(xué),天文學(xué),地學(xué),生物學(xué),邏輯學(xué).(MBA,MPA,招聘等)萊布尼茨(G.Leibniz,1647--1716)是數(shù)理邏輯的創(chuàng)始人.

傳統(tǒng)的數(shù)理邏輯(內(nèi)容包括邏輯演算、公理化集合論、模型論、遞歸論和證明論).應(yīng)用邏輯,如多值邏輯、模態(tài)邏輯、歸納邏輯、時(shí)序邏輯、動(dòng)態(tài)邏輯、模糊邏輯、非單調(diào)邏輯、缺省邏輯、數(shù)字邏輯、電路邏輯、算法邏輯及程序邏輯等,這些都與計(jì)算機(jī)科學(xué)密切相關(guān).計(jì)算機(jī)如何進(jìn)行邏輯思維的—計(jì)算思維培養(yǎng).命題邏輯與謂詞邏輯是數(shù)理邏輯的基礎(chǔ)部分.本章學(xué)習(xí)命題邏輯.命題邏輯的研究對(duì)象是命題.3.1命題的有關(guān)概念計(jì)算機(jī)的計(jì)算過程就是推理過程,而每一步推理離不開判斷,判斷的對(duì)象就是命題.1.什么是命題?命題是能判斷出真假的語句.從三個(gè)方面去理解：(1)命題必須是一個(gè)完整的句子,包括用數(shù)學(xué)式子如代表的語句.(2)所給語句具有真假意義,即有是否符合客觀實(shí)際或是否合理之分.一般來說,只有陳述句才具有真假意義,祈使句、疑問句和感嘆句不具有真假意義;(3)能判斷出真假.要是將來某時(shí)候能判斷出真假也行.例3-1

判斷下列語句是否是命題.(1)遼寧艦是中國(guó)的第一首航空母艦.(2)我喜歡智能手機(jī)和平板電腦.(3)x>3.(4)立正！(5)這朵花真漂亮！(6)你要我的手機(jī)號(hào)碼是想給我充話費(fèi)?(7)火星上有生物.(美國(guó)Discovery號(hào):火星上有水?2012年著陸火星的Curiosity號(hào),1+1=2)(8)我說的都是假話.(9)小王和小李是同學(xué).(10)你只有刻苦學(xué)習(xí),才能取得好成績(jī).歌德巴赫猜想:至今已200多年.(1)1+1=2:大于4的偶數(shù)是兩個(gè)奇素?cái)?shù)之和.6=3+3;8=3+5;10=3+7=5+5;12=5+7;…(2)任何大于7的奇數(shù)是三個(gè)奇素?cái)?shù)之和.9=3+3+3;11=3+3+5;13=3+3+7;15=3+5+7;…陳景潤(rùn)(1966)的“陳式定理”:1+2=3,任何充分大的偶數(shù)是一個(gè)素?cái)?shù)與兩個(gè)素?cái)?shù)乘積之和.2007年11月15日重慶商報(bào),大坪67歲羅仁德破解.1935年出生的河北的何寶起自稱破解,奔波8年無人理.2.命題的真值(truth)命題的真值就是命題的邏輯取值.經(jīng)典邏輯值只有兩個(gè):1和0,它們是表示事物狀態(tài)的兩個(gè)量.若一個(gè)命題是真命題,其真值為1;若一個(gè)命題是假命題,其真值為0.實(shí)際上在數(shù)理邏輯中,更多時(shí)候邏輯真是用T(True)或t,邏輯假用F(False)或f表示的.3.原子命題與復(fù)合命題若一個(gè)命題不包含有更小的命題,則稱其為原子命題(atom){當(dāng)時(shí)認(rèn)為原子最小?}或簡(jiǎn)單命題,否則稱為復(fù)合命題(compoundproposition).原子命題是命題邏輯研究的基本單位,區(qū)分原子命題在后面命題的符號(hào)化時(shí)是很重要的.通常用小寫英文字母p,q,r,s,…或帶下標(biāo)p1,p2,p3,…等來表示原子命題,如用p:2+3=5,q:今天我們上課.4.邏輯常量與邏輯變量把1和0稱為邏輯常量(logicalconstant).在邏輯表達(dá)式中出現(xiàn)的p,q,r或p1,p2,p3等稱為命題變?cè)?propositionvariable)或邏輯變量(logicalvariable).命題變?cè)梢源砣我饷},從取值的角度看,命題變?cè)瓤梢匀?又可以取0.課堂練習(xí)習(xí)題3.11,2.小結(jié)命題的概念命題的真值原子命題與復(fù)合命題邏輯常量與邏輯變量第3章愧命清題邏依輯3.竄2邏輯若聯(lián)結(jié)殘?jiān)~本講捧內(nèi)容p,pq,pq12pq,pq,pq3pq,pq,pq3.譽(yù)2邏輯烤聯(lián)結(jié)次詞邏輯潤(rùn)聯(lián)結(jié)作詞就幟是邏桐輯運(yùn)茅算:復(fù)合媽命題嚷是由貨原子閃命題狀構(gòu)成帽的,它需肝要聯(lián)淹結(jié)詞.給定縣了原縮慧子命榮題,使用邏輯去聯(lián)結(jié)尚詞可以漁構(gòu)成移復(fù)合且命題.邏輯鉗聯(lián)結(jié)澤詞類章似于航自然慨語言壯中的逐連詞.1.否定(n樸ot車)聯(lián)結(jié)召詞:貝pp:常2稍+共3覆=進(jìn)5,保p:網(wǎng)2朵+競(jìng)3觸廊5.p是數(shù)躺理邏妙輯中度的標(biāo)準(zhǔn)孔符號(hào),也可噸記為~p,害C語言!p,在計(jì)插算機(jī)苗其他自課程柿中用,對(duì)應(yīng)蟻于邏輯門電依路中厚的“非門”.pp10012.合取(a杜nd樹)聯(lián)結(jié)集詞:pqp:小李乓能歌,q:小李槽善舞.pq:小李政能歌眼且善溫舞.合取行“”相栽當(dāng)于勺“并且”,當(dāng)“和”,顯“與”,勺“以及”等.pqpq111100010000Re畏ma棚rk(1孤)腿“小王妖和小趣李是恨同學(xué)觀”中勢(shì)的“旱和”睬沒有妖合取多之意.(2論)在數(shù)貢理邏勿輯中,合取公聯(lián)結(jié)舟詞可葬以將任意兩個(gè)享命題病聯(lián)結(jié)煙起來投以構(gòu)朵造出芳新的捆命題,如用p:唉2已+歷3四=搞5,q:今天銀上課,則pq:2跑+艘3正=鳴5且今鮮天上始課.下面煉要介禾紹的家其他衛(wèi)聯(lián)結(jié)局詞都膠是這繼樣理總解.(3辨)p:小李剝結(jié)婚沖了q:小李味有小貌孩了pq,qp?pq:p&q,p&則&q,pq=pq,對(duì)應(yīng)音于“與門”.3.析取(o疾r)聯(lián)結(jié)弦詞:pqp:這學(xué)躁期我童選修脖人工岔智能果課程,q:這學(xué)遙期我音選修須模式惡識(shí)別懼課程.pq:這學(xué)腿期我撐選修晃人工頃智能亦課程榜或者撿模式喊識(shí)別析課程.析取混“”相懷當(dāng)于瓜“或者”.p|q,p揮||q,p您+q(“或門”).pqpq111101011000本講屬內(nèi)容p,pq,pq12pq,pq,pq3pq,pq,pq4.異或(e花xc包lu捕si聞ve稀o鞏r,XO粉R)聯(lián)結(jié)螺詞:pq自然倍語言禿中的壟“或乞”:(1耀)“可兼雨或”(i汪nc簽lu老si覽ve瘋o梅r)響,它表勒示兩伸者可抖同時(shí)陜?yōu)檎?用析杰取表災(zāi)示即爹可.(2權(quán))“不可扶兼或次”,它表夸示兩述者不顯能同學(xué)時(shí)為漏真,換句姓話說,兩者波同時(shí)屑為真攀是假挪命題.這就詢需要收異或得聯(lián)結(jié)理詞.p:明天啄去深霜圳的酷飛機(jī)病是上貌午八猛點(diǎn)起紡飛,q:明天牌去深寧圳的海飛機(jī)旁是上挺午八樓點(diǎn)半濱起飛.pq:明天結(jié)去深撥圳的丙飛機(jī)份是上譽(yù)午八遺點(diǎn)或森上午重八點(diǎn)編半起派飛.本學(xué)掛期張企三或李四祥當(dāng)選乘為班來長(zhǎng).今天覽晚上綱在寢潛室上示自習(xí)始或去電影冠院看3D電影.沖(都在懸寢室?確7:植30勁?)與異貓或聯(lián)挽結(jié)詞床對(duì)應(yīng)月的門滔電路喂為“費(fèi)異或脾門”.一般歌來說,只要病不是棗非常柜明顯彈的不例可兼患就使舍用.pqpq1101010110005.條件(c撥on清di剖ti就on茄a(bǔ)l田)聯(lián)結(jié)螺詞:pqp:我有朵時(shí)間,q:我去惕看望磚我的暢父母.pq:如果禿我有窄時(shí)間,那么擁我去豈看望甩我的庫(kù)父母.“”相當(dāng)秀于“如果…那么…”,頃“若…則…”,等.pq可讀邪作“(若)p則q”.pqpq111100011001蘊(yùn)涵使聯(lián)結(jié)靜詞也鈴可以醉稱為條件顯聯(lián)結(jié)摟詞.在pq中,p稱為罷前件,q稱為塔后件.當(dāng)p=果1,q=榨1時(shí)pq=踏1;當(dāng)p=柔1,q=燃0時(shí)pq=繁0,這是胞比較率好理勾解的梢兩種艦情形.規(guī)定席的合串理性島見下剩面的短例子.(1等)如果涼太陽本從西列邊出隊(duì)來,那么2焰+搬3養(yǎng)=晴5.(2罪)如果評(píng)太陽秩從西紡邊出述來,那么2末+肚3乒=恐4.實(shí)際呀上,在根差據(jù)子死集的依定義士證明1.革1節(jié)的世定理:對(duì)于崗任意聚集合A,有延A時(shí),就要螞用到待上述冒實(shí)質(zhì)濕蘊(yùn)涵街的定泄義.同樣,在理侵解關(guān)產(chǎn)系的繞自反渡、反膠自反字、對(duì)戶稱、績(jī)反對(duì)和稱及桃傳遞只性質(zhì)囑時(shí),也要姿用到夫上述妹實(shí)質(zhì)拘蘊(yùn)涵若的定疤義.當(dāng)然,在現(xiàn)己代邏黑輯中,對(duì)蘊(yùn)被涵的截不同倆理解欠會(huì)得觀到不行同的弦邏輯聽系統(tǒng),如由嚴(yán)格盯蘊(yùn)涵得出貓模態(tài)沸邏輯襲系統(tǒng).6.雙條知件(bi蠢co毫nd室it會(huì)io拜na訴l)聯(lián)結(jié)股詞:pqp:四邊左形是疤平行誓四邊冶形,q:四邊因形的想對(duì)邊鉛平行.pq:四邊凱形是迎平行參四邊歉形當(dāng)卵且僅塑當(dāng)四升邊形辛的對(duì)孤邊平略行.pq:可讀推作“p當(dāng)且壩僅當(dāng)q”.雙條傍件聯(lián)結(jié)沒詞“”相除當(dāng)于蘇自然避語言弱中的喇“當(dāng)刷且僅士當(dāng)”蘋、“炕充分歉必要華條件考”,其英亡文為if故a得nd肯o瘋nl松y立if馬,縮寫腎為if詢f.“p當(dāng)且頸僅當(dāng)q”有兩也層含鞠義：(1案)典“p當(dāng)q”是指qp.室(2器)獅“p僅當(dāng)q”是指pq.正因事為此,等價(jià)衫聯(lián)結(jié)倉(cāng)詞又間可以衣稱為雙蘊(yùn)唱涵聯(lián)覆結(jié)詞或雙條倒件聯(lián)禿結(jié)詞.數(shù)字啟邏輯新等課做程組的“舌同”,并用軟“⊙”表示.pqpq111100010001本講魔內(nèi)容p,pq,pq12pq,pq,pq3pq,pq,pq7.與非(N嫌OT言A啊ND闊)聯(lián)結(jié)激詞:pq在數(shù)蛛字邏開輯以忘及計(jì)虧算機(jī)翼組成散原理顏中“”沒佩有專番用的河運(yùn)算冠符號(hào),“p與非q”直接請(qǐng)記為,對(duì)應(yīng)輪的門忽電路上為“鉛與非捷門”.8.或非(N旅OT音O塌R)聯(lián)結(jié)嘗詞:pq在數(shù)肉字邏吳輯以志及計(jì)體算機(jī)第組成耀原理扮中“”沒竟有專兼用的敏運(yùn)算涉符號(hào),“p或非q”直接陽記為,對(duì)應(yīng)僅的門畫電路營(yíng)為“懶或非芽門”.9.條件姓否定(N揉OT序-I版F-歇TH墳EN旺)聯(lián)結(jié)柔詞:讀作超“p條件中否定q”,其中n表示吊否定no圾t.“p條件恨否定q”可直嫂接記己為上面隔介紹監(jiān)了1個(gè)一賣元邏尾輯運(yùn)役算、8個(gè)二箏元邏敵輯運(yùn)圾算.后面尾將證哄明：暴不同難的一爬元邏諷輯運(yùn)漏算和吸二元火邏輯刺運(yùn)算泳共9個(gè).要求冬理殊解記藏憶上術(shù)述9個(gè),特別滅是最械前面逆的6個(gè)聯(lián)竿結(jié)詞繁的運(yùn)與算表.思考蓬如旱何定遍義三顛元邏蛇輯運(yùn)傷算?課堂脫練習(xí)習(xí)題3.螞2叫1霉—6份.小結(jié)p,pq,pqpq,pq,pqpq,pq,pq第3章小命攜題邏蠶輯3.倉(cāng)3命題足公式嫂及其筍真值付表本講保內(nèi)容命題公式的定義1命題的符號(hào)化2命題公式的真值表3命題公式的類型43.漲3命題符公式善及其菌真值紗表有了具前面鳴的兩妻節(jié)內(nèi)浸容,就可警以得酒到命字題邏似輯的污符號(hào)麥體系.1.命題煎公式(p多ro至po愚si愁ti直on爐f仔or螞mu其la塞)的定墾義邏輯目函數(shù)(l蓋og靈ic蝴al榴f脾un殖ct梳io燒n)邏輯環(huán)表達(dá)汗式(l懲og咸ic碎al膠e扮xp希re壇ss李io啞n),其中標(biāo)的常煎量是屈邏輯晴常量1和0,其中搖的變降元是擾命題眼變?cè)缁蜻壔嬜冊(cè)崃?命題劍公式眼是由次命題逃常量銅、命立題變踐元、堪邏輯賽聯(lián)結(jié)城詞、禮左圓首括號(hào)春及右迷圓括舉號(hào)構(gòu)勻成的嫁有意聲義(we行l(wèi)l洲-f悄or劍me晨d)的符野號(hào)串,其嚴(yán)擦格定牧義需蛋借助巴于遞露歸定凱義方痰式給約出.De肅fi糊ni云ti戲on趟(1熱)1巨,革0,p,q,r,麗…(2烘)A訪(A)(3色)A,B(4碧)有限凡次應(yīng)半用(1集)(蔑2)心(3挎)所得繼到的圍符號(hào)影串是錄僅有摧的命城題公蟻式.命題烤公式可稱喇為合式蛛公式(W策el勿l-谷Fo港rm齊ed娘F數(shù)or席mu俊la猜,缺WF葉F)或簡(jiǎn)廉稱為公式,其全睡稱為命題犁合式膛公式,是書涂寫正預(yù)確、醋含義追清楚元的表隙達(dá)式對(duì)或者球說符漲號(hào)串.借助繞于函數(shù)給命育題公搞式下賞定義.可以困省略括號(hào)采的約骨定:(1傾)最外膛層的功括號(hào)慣可以胡省略.在形許成最唉終的饒命題齡公式陡時(shí),所有紡的中厲間過媽程得搶到的版命題稠公式,包含責(zé)其本顏身,都稱爐為該識(shí)命題俗公式襪的子公臺(tái)式.(2澇)借9個(gè)聯(lián)躲結(jié)詞攻運(yùn)算澇的優(yōu)挎先順知序依突次為:符合弟本約吩定的掠有些今括號(hào)可以不寫.如命皺題公隊(duì)式Re畏ma決rk這種躬規(guī)定傭不是還唯一羞的.(3梳)同級(jí)肯運(yùn)算猶從左尊至右飛依次鴿進(jìn)行.如實(shí)際辟上,在對(duì)簡(jiǎn)命題隆進(jìn)行陰符號(hào)曬化時(shí),只要奴書寫招正確從的邏穗輯函肢數(shù)都往是命捉題公總式.2.命題廉的符民號(hào)化命題惑的符尚號(hào)化賀就是堤使用劣符號(hào)—命題餐變?cè)?、邏鳳輯聯(lián)傻結(jié)詞盒和括象號(hào)將漆所給蛇出的仆命題尚表示宏出來.符號(hào)忌體系祥來源父于實(shí)憐際問高題.給出慮進(jìn)一征步學(xué)銷習(xí)邏辛輯演割算系顛統(tǒng)的眼語義神解釋幣時(shí)的肝一種凍標(biāo)準(zhǔn)捉模型.命題艇的符支號(hào)化請(qǐng)的步胸驟:St濃ep泳1找出扔所給愛命題年的所京有原喇子命譽(yù)題,并用什小寫民英文點(diǎn)字母缸或帶亂下標(biāo)院表示炕；St跡ep頁2確定秋應(yīng)使裁用的速聯(lián)結(jié)仇詞,進(jìn)而憶將原蒜命題裂用符街號(hào)表碑示出亂來.例3-漁7將下醉列命握題符沉號(hào)化.(1裝)天氣甚很好臉或很焰熱.(2館)如果因張三抬和李拼四都渣不去,那么撞我就咬去.(3圓)僅當(dāng)琴你走,我留辰下.(4后)我今寨天進(jìn)嚷城,除非膽天下咐雨.(5斑)你只牛有刻非苦學(xué)克習(xí),才能雄取得價(jià)好成粉績(jī).So罩lu書ti貝on喜(雪1)用p:天氣撲很好,q:天氣山很熱“天氣竊很好賞或很琴熱”可符普號(hào)化惡為(2透)用p:張三半去,q:李四社去,r:我去.則原憐命題昨可符馳號(hào)化光為(3年)用p:你走,q:我留題下則“僅當(dāng)你走,我留道下”可符騰號(hào)化枝為(4膊)p:我今刺天進(jìn)唐城,q:天下焰雨.除非=如果蚊不.(5膚)p:你刻送苦學(xué)免習(xí),q:你取石得好蓬成績(jī).只有p,才q?本講奔內(nèi)容命題公式的定義1命題的符號(hào)化2命題公式的真值表3命題公式的類型43.命題繡公式努的真舊值表命題享公式所的真踏值表差就是母命題悼公式旬的取哄值情植況表.若對(duì)填中出老現(xiàn)的舅每個(gè)父命題棄變?cè)i都指訓(xùn)定一悄個(gè)真逃值1或者0,就對(duì)抓命題筍公式A進(jìn)行棄了一調(diào)種真值足指派或一絹個(gè)解釋,而在殺該指諷派下植會(huì)求冠出公價(jià)式A的一漂個(gè)真乳值.將A的所樹有可縱能的孕真值潤(rùn)指派艇以及柴在每音一個(gè)社真值磨指派因下的帆取值椅列成抱一個(gè)褲表,就得僵到命壺題公趴式A的真值塞表(t踩ru陳th敗t階ab彎le帶).例3-裂8寫出富命題護(hù)公式屢的評(píng)真值即表.

pqrppq(pq)r111011110010101001100001011111010110001111000110要求職大家決能準(zhǔn)耕確寫品出一耍個(gè)命貼題公徑式的貌真值造表,這是有本節(jié)匪的重點(diǎn)憲內(nèi)容,當(dāng)然撈必須校牢記懇聯(lián)結(jié)筒詞的律運(yùn)算嫌表才蜻行.由表跑知,含3個(gè)命飲題變筍元的兵命題搬公式膀有8襯=評(píng)23種不蜘同的仆真值鑼指派.很顯脊然,含2個(gè)命枕題變像元的販命題昂公式標(biāo)有4吼=酬22種不杰同的蠻真值侄指派.含n個(gè)命淹題變犯元的湊命題攀公式揀的不嚇同的六真值洲指派羞有2n種.4.命題貢公式干的類汽型(1循)在任常何指時(shí)派下友均取掀真的幟命題姻公式輸稱為譽(yù)永真巨式或尼重言代式(t潛au孕to森lo即gy挎)；(2撫)在任芝何指日派下孩均取溪假的殖命題郵公式稍稱為燭永假哥式或傾矛盾遲式(c仗on枕tr奮ad汪ic狗ti卵on妄)；(3戶)至少紡有一呆種指茅派使疊其為要真的甲命題轎公式回稱為可滿灑足式(sa岡ti姐sf浮ac將ta曾bl緣瑞efo佳rm販ul蔽a)；(4促)至少耳有一怕種指你派使娘其為伯真同們時(shí)至副少有猛一種憲指派雪使其霉為假稈的命料題公惹式稱氣為中性擊式(偶然蓋式)艙(co氣nt婆in漆ge籌nc雷y).例3-鎖9真值姨表法?pqpqpq111101011001例3-生10Pr銀oo敘f由A=1可推艇出B=材1,則AB永真.由B=0可推蝦出A=叨0,則AB永真.取值名法?(本質(zhì)赴上是遇真值限表法)最后摸介紹毛永真下式的禁代入告定理RS約(R動(dòng)ul跡eof章S厲ub鮮st眉it匆ut估io逝n)廚.Th墳eo懶re迅m驕3-辜1(永真責(zé)式的啟代入澆定理)如何飯使用?小結(jié)駱與作鏡業(yè)命題公式的定義命題的符號(hào)化命題公式的真值表命題公式的類型習(xí)題3.31(雙),2(雙),4,5,6(雙)作業(yè)第3章細(xì)命婚題邏物輯3.歌4邏輯要等值閱的命題寶公式本講予內(nèi)容邏輯等值的定義1基本等值式2等值演算法3對(duì)偶原理43.攔4邏輯核等值通的命腰題公測(cè)式命題“四詞邊形脈的對(duì)棵邊平督行”平與碎命題判“歪四邊開形的湯對(duì)邊合相等總”是逝邏輯劑等值畝的,它們?cè)谶壊⑤嬌舷f的留是同幟一回堡事.上述渾兩個(gè)略命題宴的真值值是陽相同銳的.下面漂討論著兩個(gè)得命題辰公式狡邏輯鞭等值.1.邏輯脅等值拍的定璃義De撐f給定替兩個(gè)負(fù)命題怖公式A和B,若在賭任何乒真值刪指派嬌下A和B的真呈值都戴相同,則稱忽命題者公式A和B邏輯醬等價(jià)或邏輯蛇等值(l錄og尿ic任al腦ly驅(qū)e農(nóng)qu擋al踐)或簡(jiǎn)維稱為等值或相等,記為A=B.Re鋼ma王rk墨“=沸”是命盲題公度式之惜間的蜻關(guān)系圣符號(hào).AB?Th頂eo躬re嚷m托3-鼠2A=B的充盡要條工件是AB永真.Pr鋼oo悄f套C圾le避ar慘ly取.下面和的例答子說提明如吉何利用噸真值跟表(第一洪種方這法)證明謝兩個(gè)稻命題利公式脂等值.例3-無11證明:

p

q

pq

ppq11101100000111100111Th技eo蜓re細(xì)m福3-桶3例如,Th鍛eo怠re梢m邏輯錫等值鞭是命鍬題公膝式間淚的等娛價(jià)關(guān)跑系:(1饞)自反,攀(2眾)對(duì)稱,應(yīng)(3夸)傳遞.Pr君ob與le陸m等價(jià)攀類是泰什么?2.基本盲等值字式(I縣)與,挎,續(xù)有關(guān)孩的等嫩值式Th活eo側(cè)re輩m身3-微5(1讀)(2讀)(3環(huán))(4碼)(5己)(6縱)(7城)(識(shí)8)向(9秀)(知10貌)Re薪ma竟rk良s(1柄)與集球合的崖有關(guān)桑性質(zhì)罰類似.(2抬)每條醉性質(zhì)司均可化證明.(I訊I)其他貪重要箏的等愿值式Th谷eo傍re淡m(1榆)(2垮)(3寄)(4幫)(5拋)(6貫)Pr添oo妖f(沙?)3.等值傲演算敗法基本億等值喇式有英很多幅用途,如化鑒簡(jiǎn)命買題公奸式、飼判斷徑命題協(xié)公式迎的類蟲型、呢證明撒等值改式、雪計(jì)算味命題繞公式造的范誼式、斜命題殲邏輯升中的寧推理坊等,要求森大家升要熟藏記,特別齒是定侵理3-霧5中的定等值首式.在使躍用等放值式跑時(shí),常用水下列來的等算值置瘡換定零理RR雜(膽Ru橋le雁o媽f黃Re巨pl械ac到em議en笑t)曉.等值饞置換封定理設(shè)C是命爆題公醉式A的子宮公式,若C=D,則將A中的C部分兵或全承部替嶄換為D所得勒到的欺命題輸公式從與A等值.利用亂基本劑等值竄式以冷及等旺值置備換定蒙理求貸解問徐題的麗方法蠻稱為牧“等旨值演異算法丸”.例3-間13化簡(jiǎn)(?)下列遼命題字公式抗并將妹最后販結(jié)果灶用只藝含和表示.(1蜓)(2用)So豎lu梯ti售on虹(柳1)數(shù)字展邏輯銀、計(jì)套算機(jī)仇組成揭中經(jīng)邁?；m簡(jiǎn)單!利用續(xù)等值峰演算吼法,判斷橡一個(gè)饒命題往公式安的類恩型是融比較扔方便燦的.例3-嗽14設(shè)A,B,C是任絮意的城命題途公式,判斷坦下列船命題證公式爹的類精型:(1黑)(2淋)So模lu找ti攏on待(潑2)證明夠兩個(gè)敏命題附公式哄等值命的第貓二種膽方法:等值紡演算墊法.例3-咽15設(shè)A,B,C是任捕意的撈命題偵公式,證明屆下列戶等值慢式.(1娛)(2卵)Pr巷oo顏f泰(2私)4.對(duì)偶豆原理在與,棄,興有關(guān)的基爐本等芒值式饞中,除性由質(zhì)(1唉)外,其它念性質(zhì)廊都是羨成對(duì)亭出現(xiàn)陶的,兩者鄉(xiāng)豐間有罵一定亭的聯(lián)頂系.先給膀出命絹題公錢式的故對(duì)偶策式的賴定義.De拿f猶3-晶4設(shè)命蠶題公袖式A中至旅多含虧有3個(gè)邏煉輯聯(lián)偉結(jié)詞,頁,聽,澆(1)將A中的換成；(2)A中的換成；(3)A中的1換成0；(4)A中的0換成1,所得陣到的劃命題兇公式適稱為延是A的對(duì)覽偶式(d千ua橡l賢fo難rm紐奉ul承a)巴,記為A*.例如Re俗ma膨rk一般漸來說對(duì)偶您原理設(shè)A和B是命班題公遣式,若A=B,則A*=B*.有了港對(duì)偶訓(xùn)原理委后,定理3-隨5中除映性質(zhì)(1還)外的央等值組式,只需糾要記除住其旁中一息個(gè)就趣可以漢了.有了殘對(duì)偶禽原理,我們乞可以商求出隊(duì)任意襪命題撲公式毅的對(duì)羽偶式.小結(jié)嫌與作坐業(yè)A=B定義基本等值式等值演算法對(duì)偶原理習(xí)題3.45(雙),6,9(雙),11作業(yè)第3章判命扎題邏責(zé)輯3.乒5命題佩公式右的范池式本講歡內(nèi)容命題公式的析取范式及合取范式1命題公式的主析取及主合取范式23.廟5命題尤公式煩的范縣式命題睬公式五的范炮式就懷是其標(biāo)準(zhǔn)類形式或規(guī)范上形式.有了傭命題盡公式南的范悅式,就可銜以不絮用寫杯出真合值表產(chǎn)就能估確定焦在何鬧真值滔指派鏡下取丈真以睬及在沿何真文值指都派下尿取假.1.命題螺公式請(qǐng)的析籠取范歉式及獲合取批范式(1普)析取災(zāi)范式粒及合期取范今式的太定義De姐f窗3-具5設(shè)A是命潔題公講式,若A=A1A2璃…踩An(n1逝),其中Ai(1in)是由且命題粘變?cè)呕蚱涫穸ū⒔M成詢的合弱取式,則稱A1A2王…眨An為A的析叔取范腦式(d昌is叉ju分nc鍛ti徒ve失n炎o(hù)r套ma狀l曾fo充rm俘).Re劉ma匹rk脈sAi=p軋qr,p說q,桃qr,q,婚r?n=忘1?如A=p讓qr=獻(xiàn)(p粒qr).De討f鞠3-禁6設(shè)A是命兇題公治式,若A=A1A2褲…萄An(n1棵),其中Ai(1in)是由效命題鐮變?cè)藁蚱湓品穸ň芙M成薦的析輕取式,則稱A1A2播…蘆An為A的合邊取范響式(c茶on葉ju應(yīng)nc羽ti舌ve顆n坑or現(xiàn)ma劣l爺fo獻(xiàn)rm席).Re鋒ma款rk錦sAi=p徹qr,p包q,腦qr,q,糠r?n=辣1?如A=p午qr=唐(p及qr).若A=p扮qr,則p哭qr也是A的析餓取范希式.(2個(gè))析取雹范式農(nóng)及合鴿取范秋式的典計(jì)算St循ep膚1使用汪等值捆式,將命錦題公市式中器的聯(lián)組結(jié)詞貞歸約蓋為,莊,肅；St衡ep拖2利用De類M匙o(hù)r蠅ga姻n律將移到喚命題抖變?cè)〉那岸?；St洲ep餃3根據(jù)薯分配覺律得占到命均題公彈式的達(dá)析取菜范式淋及合者取范茅式：A(BC)驕=專(AB)烈(AC)(求析肆取范押式用).A(BC)雜=毅(AB)爹(AC)(求合務(wù)取范墨式用).例3-摘17設(shè)p,q和r是命昂題變苗元,求命楊題公隔式A=威(pq)r的析鍵取范角式及無合取轎范式.So澆lu氣ti申on求命貧題公件式的謎析取搖范式棗及合獵取范誓式的St咬ep皺1和St平ep仇2是相絡(luò)同的.析取鑒范式:合取儲(chǔ)范式:(3示)析取抖范式血及合刮取范謝式的罰應(yīng)用根據(jù)考命題槐公式水的析方取范灶式及昨合取形范式溪可分束別得縮慧出該夾命題鉛公式繳取真監(jiān)、假矮的指薦派.例3-部18從p,q,r,s四人侵中選追派2人出徐差,求滿裹足下女列3個(gè)條昏件的電選派衰方法困有哪遵幾種.(1禾)若p去,則r和s中只閉去1人；(2質(zhì))q和r不能棵都去晨；(3世)若r去,則s不能通去.So紐奉lu睬ti滿onp:p去出省差,q:q去出目差,r:r去出仇差,s:s去出鮮差,則(1炭)(2寨)(3外)(a)p,s去;(b)q,s去;(c)p,r去.2.命題義公式型的主詳析取發(fā)范式咳及主蓄合取拳范式一般協(xié)來說,命題摟公式家的析稱取范穿式及爭(zhēng)合取縮慧范式稈不是韻唯一賺的,如A=蹄(pq)低(p扭q)金=p都是A的析倘取范渡式.下面姐討論,給定姓命題貴公式識(shí)的唯越一的仁標(biāo)準(zhǔn)嫩形式盞：主柴析取拆范式織以及喬主合冷取范厘式.給定友命題厭公式,從A中命鄉(xiāng)豐題變蜜元產(chǎn)零生的巧最小迎項(xiàng)和話最大窗項(xiàng)的遣角度墾來討蛇論A的主汪析取咸范式測(cè)及主亂合取贈(zèng)范式,在邏怪輯電錦路中蕉也會(huì)直討論罩其相襪應(yīng)的滋標(biāo)準(zhǔn)檔形式.(1樸)主析媽取范偵式De掛f對(duì)于啟給定震的命盤題變舒元,若由淘命題伍變?cè)蚱渲?jǐn)否定牛組成商的合伶取式毫滿足(1)每個(gè)抄命題服變?cè)；蚱洳胤穸ńg二者郊之一今只出丈現(xiàn)一館次;錦(2)按字飯典順件序或辦按下偶標(biāo)從蠟小到杜大順得序出舊現(xiàn),稱這禮樣的車合取察式為關(guān)由所核給命盼題變嶄元產(chǎn)碼生的最小孫項(xiàng).對(duì)于維每一裁個(gè)最諒小項(xiàng)斑只有犁一種喪指派涼使其擱取1.可以訂根據(jù)器這個(gè)橡結(jié)論梯對(duì)最搞小項(xiàng)警編碼.最小礎(chǔ)項(xiàng)用稍表示mi,其下筋標(biāo)是邁由成佛真指茫派得糕到的同二進(jìn)捷制數(shù)泡或?qū)ψx應(yīng)的捎十進(jìn)念制數(shù),對(duì)于耳最小活項(xiàng)pqr,成真擋指派寒得到快的二浸進(jìn)制鉆數(shù)為11得0,因?yàn)?1涌10指)2=辭6,所以pqr=m11旦0=m6.表3-勇15項(xiàng)?De抓f對(duì)于栗命題攔公式A,若A等值惰于由A中所莫有命繞題變急元產(chǎn)遙生的芒若干柳個(gè)最餅小項(xiàng)賤的析爽取,則把俘后者為稱為A的主析腎取范挪式(m艱aj堂or辮d察is各ju菜nc藏ti拳ve幼f邪or迅m)勉.含n個(gè)命艦題變童元的燙命題抵公式,“若干錯(cuò)個(gè)”臥最大星為2n,最小錯(cuò)為0.所有丟最小柱項(xiàng)的議析取束為永趣真式1,而0個(gè)最肅小項(xiàng)瓣的析繩取意敢味著A為永嬸假式0,這時(shí)扶的主鄉(xiāng)豐析取艷范式淹不存褲在.除這翅兩種喚極端店情形控外,A均為冊(cè)中性鎮(zhèn)式.顯然,主析邪取范管式是認(rèn)析取及范式,但反曠過來眾不成栽立.根據(jù)盛這個(gè)壺分析,我們逝得到蛇求A的主師析取聰范式賣的第程一種映方法買：等值沾演算勤法.利用壺等值儀演算塔法求A的主菌析取末范式愛的步掌驟為St爪ep不1求出A的析終取范題式；St揮ep背2利用碧分配譯律補(bǔ)夢(mèng)充所賊缺少脈的命瓦題變?cè)?由上招面的菊主析胞取范父式可惑知,使A取1的真仁值指拾派為(p,q,r)額=忙(1小,燃0,限0房誠(chéng)),遍(摔0,餓1趟,告1)聾,禽(0塌,拴0,賢1振),燭(磚1,倒1蘿,午1)社.實(shí)際休上,我們本可以璃利用A的真扇值表嘴求A的主怨析取型范式.利用互真值捏表求花主析陰取范啦式的3個(gè)步蜂驟為St大ep沒1寫出趙命題論公式A的真溪值表爽；St受ep信2對(duì)于斑使A取1的指活派,寫出遮對(duì)應(yīng)糖的最馬小項(xiàng),使該洪最小貼項(xiàng)在風(fēng)該指項(xiàng)派下染也為1；St危ep騰3何(可以堵證明)A等值鋤于所茅有這多樣寫捉出的拔最小嘉項(xiàng)的亂析取.例3-況20設(shè)p,q和r是命停題變等元,求命皺題公王式(pq)r的主永析取道范式.p

qrp

q(p

q)r1111111010101111001001111010100010100001(2終)主合遍取范鼠式主合胸取范便式的構(gòu)討論慶與主猜析取費(fèi)范式演是類藝似的,為了兔方便吹自學(xué),我們防還是牙進(jìn)行她完整謝的討墨論.De租f角3-挨9對(duì)于敏給定挖的命圍題變穿元,若由活命題滑變?cè)懟蚱湟煞穸ㄣ~組成極的析探取式拒滿足(1)每個(gè)爪命題棚變?cè)粱蚱鋸V否定擺二者湊之一孔只出范現(xiàn)一駕次;古(2)按字茶典順黨序或授按下墓標(biāo)從屯小到偏大順遭序出膚現(xiàn),稱這跡樣的社析取寄式為認(rèn)由所建給命均題變繩元產(chǎn)椅生的最大窮項(xiàng)(m芹ax揮im襪al憐t匆er敵m)約.對(duì)于剩每一旋個(gè)最熟大項(xiàng)略只有芽一種蓋指派帝使其曾取0.可以沉根據(jù)榴這個(gè)重結(jié)論挪對(duì)最塌大項(xiàng)娛編碼.最大麥項(xiàng)用賀表示Mi,其下著標(biāo)是愧由成哲假指礙派得另到的犁二進(jìn)烤制數(shù)貍或?qū)H應(yīng)的饒十進(jìn)唯制數(shù),對(duì)于怎最大光項(xiàng)pqr,成真朗指派餐得到狐的二非進(jìn)制從數(shù)為00肝1,因?yàn)?0匪01價(jià))2=奇1,所以pqr=M00阻1=M1.De羅f俗3-貞10對(duì)于宏命題故公式A,若A等值巨于由A中所份有命俊題變嗓元產(chǎn)受生的吹若干豪個(gè)最過大項(xiàng)策的合滴取,則把搶后者壞稱為A的主宿合取超范式.含n個(gè)命高題變鼓元的士命題卵公式,“若干蛋個(gè)”奮最大漆為2n,最小初為0.所有錄最大絹項(xiàng)的胸合取織為永蜓假式0,而0個(gè)最繪大項(xiàng)騾的合庸取意桿味著A為永威真式1培,這時(shí)振的主病合取確范式餐不存允在.除這毀兩種亞極端粗情形徐外,A均為卷中性典式.主合流取范乒式是飽合取紋范式,但反抄過來跪不成哲立.根據(jù)須這個(gè)贏分析,我們包得到淡求A的主堆合取過范式腹的第葉一種罵方法吹：等值搖演算臂法.利用栗等值膀演算樸法求A的主教合取扇范式遍的步俗驟為St譜ep波1求出A的合攤?cè)》墩呈?；St呼ep泊2利用藏分配槽律補(bǔ)誕充所劉缺少俊的命腥題變梨元.由上食面的浮主合鮮取范保式可前知,使A取0的真診值指通派為(p,q,r)慮=余(0水,勵(lì)0,挖0否),辨(抖0,陷1突,悅0)勞,妻(1軋,務(wù)1,棕0膏),萬(匪1,去0音,真1)座.實(shí)際景上,我們喘可以露利用A的真擇值表趙求A的主滴合取貫范式.下面路介紹切求的張主合籌取范逆式的拾第二籍種方哈法：真值爸表法.St斗ep群1寫出房誠(chéng)命題恐公式A的真交值表脖；St級(jí)ep吹2對(duì)于政使A取0的指熄派,寫出溝對(duì)應(yīng)五的最拜大項(xiàng),使該臥最大括項(xiàng)在撞該指銷派下舅也為0；St蟲ep嚴(yán)3用(可以角證明)A等值跑于所帆有這遠(yuǎn)樣寫哭出的家最大炭項(xiàng)的蓬合取.例3-慎22設(shè)p,q和r是命津題變按元,求命廈題公弦式(pq)r的主兼合取航范式.p

qrp

q(p

q)r1111111010101111001001111010100010100001Th小eo付re演m蛙3-獄9任意沈非永暮假命渡題公沖式都適存在偽唯一厲的主丹析取膠范式;任意齊非永幻玉真命啦題公愧式都育存在巨唯一置的主舒合取爺范式.(1仔)命題蠅公式猴的主躍析取渴范式膝和主溫合取撫范式娛是等陸值的.(2捷)主析蹦取范攏式中背所含醫(yī)的最躬小項(xiàng)瘡個(gè)數(shù)訴加上擾主合鋤取范限式中猶所含刊的最零大項(xiàng)盒個(gè)數(shù)預(yù)等于覽該命紹題公登式的嫌真值糧指派最數(shù)目.(3海)可以饒從主臥析取昂范式惠求出振主合滋取范堵式,反過疾來亦救然(?).A.利用湊命題甩公式續(xù)的主帥析取敏范式激及主終合取需范式般判定卻其類鞏型.例3-跳23設(shè)p和q是命煌題變搭元,利用賤主范錘式判剩斷命香題公碑式p忙(pq)的類懶型.So配lu霜ti腥onB.利用構(gòu)命題宴公式駛的主躍析取躁范式根及主蟲合取救范式敢可以運(yùn)判斷潔兩個(gè)付命題唱公式問是否石等值.例3-匪24(1行)(2疫)C.在數(shù)宋字邏舊輯等的后繼蓋課程朵中的費(fèi)應(yīng)用.例3-加25設(shè)公搏式A的真播值表堂如下,求A.pqrA11111100101010010110010000100001將A化簡(jiǎn).門電藍(lán)路實(shí)篇現(xiàn).解法1比解皮法2好,因?yàn)榻凶钚⊥骓?xiàng)的暮個(gè)數(shù)幼為3而最粗大項(xiàng)紡的個(gè)積數(shù)為5,所以爹在電倉(cāng)路實(shí)繩現(xiàn)時(shí)添對(duì)A進(jìn)行早的化掀簡(jiǎn)要揪容易爬些.一般柳原則懷是,若取1的個(gè)雞數(shù)小菠于取0的個(gè)做數(shù),求出額主析取取范吊式;若取0的個(gè)堵數(shù)小抓于取1的個(gè)共數(shù),求出留主合督取范積式.同一穩(wěn)個(gè)命托題公殃式的子主析境取范價(jià)式與叔其主株合取鍛范式摔是等沫值的.只要牛給出鉆了一冤個(gè)命哄題公施式的友真值百表,就可上以將購(gòu)該命雄題公憐式(的表葬達(dá)式)求出扛來.這一幼點(diǎn)在3.爽6節(jié)中燦也會(huì)臥用到.另外,根據(jù)詠真值撓表法尸可知,若得中出了銜命題輝公式累的主咽析取側(cè)范式,則可袍以得蔑出使碎為真頂?shù)乃鶚阌兄笎号?進(jìn)而欠得出劣使為瘡假的運(yùn)所有澆指派,因此末可以都得出按命題陣公式侮的主竹合取棉范式;反過寫來亦鈴然.小結(jié)編與作賄業(yè)命題公式的析取范式及合取范式命題公式的主析取及主合取范式習(xí)題3.51(雙),4,5(雙),7(2),8作業(yè)第3章蔑命全題邏搏輯3.修6聯(lián)結(jié)蒸詞集林合的批功能縱完備田性本講扛內(nèi)容聯(lián)結(jié)詞的個(gè)數(shù)1聯(lián)結(jié)詞集合的功能完備性23.粥6聯(lián)結(jié)由詞集播合的串功能脅完備趟性前面突介紹增了9個(gè)聯(lián)擾結(jié)詞,我們朱想知乓道(1黎)期(1元和2元)聯(lián)結(jié)提詞一裝共有棋多少跟個(gè).(2續(xù))哪些液聯(lián)結(jié)哀詞集迫合具聲有功弓能完賞備性.這些只內(nèi)容撲可以窗從一聾定的殿理論堆高度勞幫助湖理解滔邏輯藥門電某路的復(fù)種類好及其需按一更定要蕉求化朝簡(jiǎn)邏濱輯函遞數(shù)等蔬問題.1.聯(lián)結(jié)勝詞的偵個(gè)數(shù)由p和q可構(gòu)運(yùn)成不等娃值的命訂題公款式共222=晝16個(gè)(??),記為Ai(i=1附,缸2,束…取,慎16鐵).p

qA1A2A3A4A5A6A7A8A9A10A11A12A13A14A15A16111011001010101010101010010110010110011001100110100101001000110101101010集合閑運(yùn)算養(yǎng)與邏己輯運(yùn)輔算之葛間有匙緊密削的聯(lián)積系.問題1能否清類似竟于真井值表衡形式暖給出慚集合遭運(yùn)算挺的定書義?若能,如何嗓給出?前面倡已經(jīng)普說明陰了,不同石的1元和2元邏僑輯運(yùn)源算共9種(3元邏尚輯運(yùn)嚴(yán)算更睬多),而集凡合運(yùn)摘算只暴介紹充了5種.問題2給出派另外4種集常合運(yùn)疲算的撇定義.問題3君9種邏龜輯運(yùn)理算與9種集禍合運(yùn)燭算是死如何瓜對(duì)應(yīng)素的?2.聯(lián)結(jié)愉詞集等合的缺功能妙完備連性有些礎(chǔ)邏輯丙運(yùn)算脫可以患借助駛于其畢他聯(lián)群結(jié)詞殃加以洪定義.有些合聯(lián)結(jié)逐詞如就不跪能由和加以改定義,這涉穩(wěn)及到燭聯(lián)結(jié)凳詞集漸合的技功能擊完備昆性.De附f嗚3-盤11對(duì)于今若干促個(gè)聯(lián)助結(jié)詞肅組成死的非決空集杏合S,若任嫂意的議命題箭公式蜂都可谷由僅嗓含S中的微聯(lián)結(jié)賠詞等診值地殖表示她出來,則稱S為功堪能完撿備聯(lián)大結(jié)詞您集(c刻om堆pl祝et成e小gr涼ou攤p池of陜c厲on裹ne怎ct揉iv密es槽).將S中的涉聯(lián)結(jié)鹽詞理嫁解為私門電染路,則S是完襪備的鄙是指沉任何幣的組上合邏序輯電爭(zhēng)路都蘆可以商由這掉些門凳電路阿實(shí)現(xiàn).任意差命題評(píng)公式策都存抗在唯品一的嘩主析伏取范瞧式或挽主合城取范壓式,于是擇任意姥的命錯(cuò)題公冒式都聾可以炕由,擋,綢等值挪表示改出來.因此,有Th頁eo殼re預(yù)m{,搬璃,很}是功另能完免備聯(lián)找結(jié)詞碗集.Co傍ro甚ll殃ar烈y套(顆1)化{}.袍(脆2)攤{}.年(3婦){,疾}.(4牧){,晃}.頁(鐘5)逐{,失}.Pr羨oo狗f杠(1凡)例3-桂26So激lu維ti戚on{,瀉}?例3-五27So則lu繭ti獄on{,冊(cè)}?下面布考慮幣不具著有功探能完波備性含的聯(lián)鬧結(jié)詞器集.例3-我28{,}?Pr閣oo榨f首先違證明,對(duì)于置只含鋒有聯(lián)儲(chǔ)結(jié)詞附的任敬意命析題公弓式A,在所蝴有命棉題變猶元均土取1時(shí),A的真報(bào)值為1.對(duì)A中所升含的刮聯(lián)結(jié)香詞個(gè)統(tǒng)數(shù)n使用袋數(shù)學(xué)宴歸納賊法.n=胃0?AB,AB?其次違說明p幻玉p?De登f捧3-濾12設(shè)S是功就能完猛備的衛(wèi)聯(lián)結(jié)蔬詞集,而S的任憤意非我空真旬子集賊都不愚是功智能完夫備的撤聯(lián)結(jié)矮詞集,則稱S為最(極)小的功甲能完是備的扭聯(lián)結(jié)莫詞集.Th障eo維re煎m坦3-姜11下列粉聯(lián)結(jié)喂詞集倒是最壓小功輕能完參備的:(1置){}.(2辛){}.(3閥){,旬}.(4艦){,濟(jì)}.(5陰){,興}.知道娛了邏傳輯運(yùn)照算的炭個(gè)數(shù)善以及弱最小夠的功瘦能完開備的牛聯(lián)結(jié)俗詞集,對(duì)于薪我們訓(xùn)進(jìn)一壟步學(xué)襯習(xí)、稱研究漢邏輯紫演算餅形式贏系統(tǒng)熄是有螺幫助珍的.在實(shí)氏際應(yīng)褲用中,聯(lián)結(jié)凈詞“”以臭及“”可扛推廣勺到多儉個(gè)命進(jìn)題變議元上豪去,如拌“與糾或非應(yīng)門”樹等.小結(jié)聯(lián)結(jié)詞的個(gè)數(shù)聯(lián)結(jié)詞集合的功能完備性第3章揀命取題邏擦輯3.惕7命題范邏輯仁中的藍(lán)推理本講蟻內(nèi)容推理形式有效性的定義1基本推理規(guī)則2命題邏輯的自然推理系統(tǒng)33.魂7命題狼邏輯躁中的騾推理邏輯佳學(xué)的短主要序內(nèi)容當(dāng)是研應(yīng)究推配理,推理腔是從匆一些跑前提廳推出村結(jié)論勉的思幻玉維過渡程.數(shù)理云邏輯練主要泉是用瘦數(shù)學(xué)擦的方米法研廁究邏釘輯中昂的推辜理,它關(guān)喂心的寨是推理亭形式靈的有食效性問題.下面磨兩個(gè)悼不同窄的推里理(a者)若兩也直線涉平行,則同劫位角足相等,這兩醫(yī)直線砍是平芹行的,所以,同位姨角相基等.(b姿)若兩薪個(gè)三幣角形蝦全等,則其麥對(duì)應(yīng)妨邊相逗等,這兩律個(gè)三急角形魄全等,所以,它們炕的對(duì)暗應(yīng)邊波相等.都具泉有如姑下的們推理趣形式:由pq,p得出q.所謂謀推理社形式喊的有判效性饒是指,如果滔前提個(gè)全為吊真,那么非所得賓結(jié)論別必然屆真,而不地考慮漁前提歲和結(jié)句論的尖真實(shí)父含義.有效原的推辛理形靠式是鎖四海俊皆準(zhǔn)釣的推當(dāng)理規(guī)似則.1.推理碗形式灰有效柜性的憲定義De作f例3-姨13飲(l廟og爺ic照al玻ly扇f圈ol執(zhí)lo薄ws棟)Th懂eo啊re蛾m的充兄要條廳件由上智述定欠理,知“”期是關(guān)扎系符皆號(hào),它與捷蘊(yùn)涵嘴聯(lián)結(jié)抬詞兼“”是森不同如的.從推吩理的萍角度作看,將“=”寫成許“”更中適合:Th獎(jiǎng)eo施re包m頑3-貍13設(shè)A和B是命船題公嶼式,則A=B的充烏要條家件是AB且BA.Hi工nt命題刺公式鴿間的朋永真蔬蘊(yùn)涵浩關(guān)系飄是偏怨序關(guān)插系.(1挽)AA(自反款性).(2融)若AB且BA,則A=B(反對(duì)軌稱性).(3頸)若AB且BC,則AC(傳遞循性).命題英公式脈間的關(guān)系拜還具奏有下掉面兩拴條性神質(zhì).Th總eo盡re景m需3-傷15(1必)若AC且BC,則ABC.(2悉)若CA且CB,則CAB.Th堡eo致re籍m鋒3-康16設(shè)A,B是命駁題公拒式,則對(duì)膝于命酷題公誤式間谷的“”關(guān)系:(1蘿)su賠p{A,B}營(yíng)=AB.(2距)in瞧f{A,B}音=AB.2.基本輩推理迅規(guī)則下面寒舉例鏟說明,證明在推理圾形式此有效催性的4種方遼法.例3-銜29設(shè)A和B是命辭題公遷式,證明:AB,AB.分析:所(pq)pq永真?Pr齡oo傳f豈1真值價(jià)表法.Pr秩oo析f襪2取值云法.(pq)p=梁1,q=禮1?Pr涼oo禍f茫3等值教演算砌法.(pq)pq=煤1?Pr恰oo郵f拿4主范確式法.主析男取范擾式:主合書取范湯式:不存環(huán)在.基本摟推理頁規(guī)則或基本抽蘊(yùn)涵板式I.(1鏈)(2胳)(3對(duì))(4)(5)(6)(7)(8)基本繞等值磁式E:表3-吉24屠.3.命題鋼邏輯日的自棵然推宮理系妙統(tǒng)作為想推理襲系統(tǒng),原則景上有斬以下塌四個(gè)扭部分恥：第一,它應(yīng)貿(mào)有初哀始符添號(hào),它是校系統(tǒng)滴中允例許出忘現(xiàn)的匯字符.自然棒推理夏系統(tǒng)凱的初余始符楊號(hào)有3類:(1懂)命題讀變?cè)?(2己)膨5個(gè)聯(lián)葛結(jié)詞.(3爐)左右換圓括車號(hào).第二,定義悼推理享系統(tǒng)膏中的催公式,它是限按一蠅定的脆形成貞規(guī)則溫得到漢的有作意義提的符尋號(hào)串.粗略悟地說,它就脆是命口題公敏式,但它拘原則某上不生出現(xiàn)杏除,脅腦,暈,堅(jiān)腐,跳外的朽其它閣聯(lián)結(jié)擇詞,同時(shí)非原則濱上不怪出現(xiàn)逃命題只常量1和0.第三,確定窩公理,就是只推理助系統(tǒng)粱中不行加推侄導(dǎo)就曾承認(rèn)頌的公付式.從語畏義的允角度煩看,它就蘭是永龍真式.自然糾推理還系統(tǒng)疏中沒擾有公易理,這一禍點(diǎn)是六與公棍理推節(jié)理系活統(tǒng)截鹽然不寧同的.第四,確定旁推理器規(guī)則.在自中然推耀理系僵統(tǒng)中,把所記有與5個(gè)聯(lián)善結(jié)詞疫有關(guān)違的基料本邏快輯蘊(yùn)炭涵式牙都作棟為推篩理規(guī)螺則(見表1)跨,同時(shí),一個(gè)諷基本馳等值暴式(見下兩表2)相當(dāng)量于兩體個(gè)基迷本邏造輯蘊(yùn)州涵式.兩個(gè)族最基敵本的垂推理續(xù)規(guī)則姓：P規(guī)則所給警的前金提在仔證明色過程理中隨抬時(shí)可燈以引遙用.T規(guī)則已經(jīng)施推出胃的公情式在勻以后蕩的證劃明過疊程中連可以女隨時(shí)婦引用.自然尤推理鍵系統(tǒng)盈的顯扁著特燭點(diǎn)是眉沒有警公理,作為抬推理鞠依據(jù)攝的只摘有推按理規(guī)哲則.這似陳乎更黑符合陷人們由日常想思維奶的推燙理習(xí)鏡慣,因此壞稱為旗自然尸推理.在進(jìn)扎行自娘然推兩理時(shí),采用稿構(gòu)造姓性證波明方翠法,簡(jiǎn)稱現(xiàn)“構(gòu)造關(guān)法”,更準(zhǔn)樓確地古應(yīng)該櫻說是臣數(shù)理史邏輯旋中的棕演繹(d通ed未uc找ti廢on詞)法.通過艙一個(gè)臨例子竿了解豎證明末的書也寫格親式.例3-辯30使用斃構(gòu)造紫法證育明:Pr獻(xiàn)oo菊f(1梅)psP(2肚)pT(吹1)里I(3辣)sT(蓄1)羨I(4槐)p(qr)丑P(5雖)qrT(沿2)駁(4勻)I(6夏)s沿qP(7憑)qT(策3)栽(6鴉)I(8煎)rT(排5)哈(7金)I從證而明過么程可堅(jiān)以看反出,每一符行由3部分饑組成哈：第央一部芽分是賓編號(hào),說明怪它是企證明舉的第酬幾步尸；第讀二部呢分僅辟寫一胃?jìng)€(gè)命埋題公忘式,實(shí)際玻上編高號(hào)也踏說明疑了它察是第搶幾個(gè)擾命題耀公式;第三欣部分愈是寫舉理由,交代偶該命吊題公追式是滲怎樣擔(dān)得來礦的.初學(xué)拒者最帶感困顏難的鼠是,如何際一步易一步董的構(gòu)饑造出蝴從前吐提到嫩結(jié)論臣的證蝦明過螞程.與其掃它證制明題絹一樣,可以懂先進(jìn)湖行分接析(?易).一個(gè)惕推理悄形式熱是有活效的,實(shí)際覆上是棟指符膝號(hào)推仗理是果正確沉的.要證最明一胖個(gè)推箏理形愛式是認(rèn)有效錦的,首先拒將所橫給的愿前提介和結(jié)賊論符義號(hào)化,再證奧明這雞個(gè)符視號(hào)推吼理是港正確宣的.例3-損32用構(gòu)偏造法拐證明丈下列寧推理傷形式油的有井效性坊：如瞞果小胳趙和詢小錢統(tǒng)去上撓自習(xí),則小吳孫也菌去.小李源不去蜜自習(xí)飯或小儀趙去抖自習(xí),由于魄小錢綿和小喂李已兆經(jīng)去貿(mào)自習(xí)如了,所以墊小孫健也去駁上自脆習(xí)了.下面衡介紹海兩種預(yù)間接群的構(gòu)凡造性寶證明漢方法.(1帆)反證浪法要證牌明,將結(jié)盾論C否定鮮得到C,然后辱推出示一個(gè)認(rèn)矛盾,如S陪S即可.例3-溫33反證婦法?Pr釋oo汗f(1慕)(劫p)金P(附加)(2黎)pT(偶1)沖E(3池)r再qP(4揚(yáng))qT(淚3)治I(5慨)p慈qT(墻2)宅(4配)I(6夫)p喉qrP(7謀)rT(斯5)業(yè)(6頂)I(8壞)rT(肉3)朗I(9刃)rrT(鎖7)怒(8例)I(2竹)制CP規(guī)則(條件嘉證明其規(guī)則)對(duì)于穩(wěn)如下負(fù)形式絮的推五理只需度要證皆明因?yàn)槔?-繼34使用CP規(guī)則歐證明:Pr蜘oo簡(jiǎn)f(1咽