第三章確定性推理按照推理過程所用知識的確定性，推理可分為確定性推理和不確定性推理。自然演繹推理和歸結推理是經典的確定性推理，它們以數理邏輯的有關理論、方法和技術為理論基礎，是機械化的、可在計算機上加以實現的推理方法。

本章在討論有關推理的一般概念以及命題和謂詞邏輯的基礎上，介紹自然演繹推理方法和基于一階謂詞邏輯的歸結推理方法。3.1推理概述

3.1.1推理的基本概念推理是指從已知事實出發，運用已掌握的知識，推導出其中蘊含的事實性結論或歸納出某些新的結論的過程。其中，推理所用的事實可分為兩種情況，一種是與求解問題有關的初始證據；另一種是推理過程中所得到的中間結論，這些中間結論可以作為進一步推理的已知事實或證據。人工智能系統的構成：推理機－－－一些程序來完成的；綜合數據庫－－－存放有用于推理的事實或證據；知識庫－－－存放有用于推理所必須的知識。3辱.優1涼推茅理償概登述3外.崖1冬.劫2深推完理射的妨方哨法雷及幕其涂分予類1柜.按賴照捐推臣理拍的童邏禁輯固基彩礎腎分襪類可躁分雄為姐演得繹怨推意理敗、扁歸秀納玩推嚇理講和聲默雀認靠推碑理際。（博1釣）桐演豎繹錢推騙理演扮繹贈推蹤蝶理四是塵從免已箭知螞的躲一芬般索性宏知雹識催出端發即，潛推葛理呈出盈適霧合毅于晌某爭種顏個時別根情鳳況蛛的確結毯論掉的授過色程攜。暴它分是窯一脂種句由俯一燥般第到艙個丈別傘的畜推倘理較方絹法扇。3洽.逮1疊推魔理育概透述（痕2嚴）歸竄納副推陷理歸姑納梅推釘理蛋是效從飲大婦量鞋特病殊傷事貢例貫出輸發嬸，跑歸炮納碼出釣一狼般扁性嘆結涂論枝的秘推搖理阻過餓程駐，質是港一焦種均由妻個徹別警到什一器般銹的蹲推秋理鑒方沙法么。聲其愛基役本喉思憲想談是距：達首呆先費從匯已材知煮事羅實疾中溜猜構測資出塔一損個賠結棗論耀，代然鉗后堪對頸這姻個洽結侍論至的屑正遺確部性奶加瞧以原證皇明瓜確繩認冤，票數熱學課歸園納中法志就桑是構歸群納悄推魂理寫的嶄一戒種鑼典腦型慶例收子斯。歸浩納董推眾理炎又寨可龜分塵為劑：從特暈殊境事度例楚考里察訂范猾圍看歲：完恨全沈歸投納嫩推斜理、不輔完曠全鞋歸迷納勉推也理；從使戀用麻的賴方稱法看朱：枚只舉廁歸跳納欄推著理伯、拐類鏟比協歸疾納湯推緞理食。3究.搖1油推愚理艇概園述（地3能）默悔認羅推挪理默剛認絞推勻理瓦又停稱低缺插省燭推賠理嚇，觀是線在周知汪識企不妄完舒全椒的封情袋況麥下煙假扛設秋某咱些響條鳴件污已眠經練具棄備步所爭進容行泄的絡推拿理娃。和也耳就密是澤說蠟，府在柳進裹行以推額理誼時劫，壟如腥果遞對合某喘些皇證指據怠不眉能旱證濫明樣其鳳不貨成想立箱的秀情彩況蜂下錢，姻先腸假定設武它僻是晴成彩立盤的見，退并屈將兔它將作佩為另推魚理栗的乞依幕據塞進刑行術推寸理協，報但眾在岸推既理洞過便程桑中林，仔當擊由誼于占新貴知述識纖的川加攪入您或聞由寸于傲所貿推厲出能的宏中昨間憑結聽論酬與蹄已看有賤知含識泛發們生量矛奏盾劉時諷，覺就齡說儀明尿前茫面睜的久有截關帳證賠據肆的厭假廢設誦是露不玩正圈確處，教這伸時巴就圾要艱撤背消糾原哲來江的鍋假軍設員以油及損由慮此炮假澡設在所脖推址出倡的薯所忘有駱結擴論指，之重褲新乎按歉新鄰情嘴況征進爽行惜推遭理3濫.拍1共推共理膛概揉述2愿.按進所屯用妙知茅識阿的稅確悶定面性株分茫類按達推嗎理側時狂所宏用欄知居識上的購確推定伯性剖來翁劃賄分沃，壁推素理偏可分狐為疊確半定侵性推誓理話、瞞不宮確帳定慰性荒推高理慌。3他.按亂推線理價過調程皇的慚單唯調稈性按據照主推硬理胖過君程氧中槐所擾推舊出舅的立結端論視是量否君單第調燒地梨增職加纏，眼或織者禮說腰按鉆照正推聰理笨過啦程燒所書得而到李的慚結頑論蘋是使否華越級來師越粥接伐近賴最珍終挺目罷標夸來未分目類辟，路推紗理剃可怠分膛為估單警調煎推濾理楊與寬非歲單很調始推猴理糊。3前.連1爸推影理臭概閉述3咽.基1仿.每3誓推壓理送的耕控住制顯策晴略推熊理轉過類程礙不杏僅鑼依至賴公于晝所坊用盛的蛇推勾理慨方認法慣，姥同撈時普也藏依纖賴哪于盆推詳理垂的藝控擊制租策禁略窗。詞控貧制除策醋略晉包搶括鹿推賄理耗方暴向框、熔搜蔑索認策襯略貝、喇沖繼突男消賴解啟策靈略僅等質；餐而磚推慨理禮方皇法違則集是逆指州在啄推蠟理揀控優制冬策伯略惰確也定撐之萬后盟，爐在返進頑行荒具下體莖推芬理肺時知所嚼要晝采魔取礦的沖匹凝配扣方質法胳或讓不暢確軌定戶性窯傳壇遞有算市法跨等聾方建法沿。推是理哭方眠向侍用夜來雜確我定李推暴理刷的年驅獄動森方講式尚，告即份是計數紅據擱（蘇證賀據洽）球驅易動蛙或綿是定目違標權驅胡動揮。技所抵謂穿數叫據半驅勒動腎即泊指奧推標理篇過灘程軋從沿初荒始追證亦據謠開魯始免直嘉到稿目達標聚結節束釀，尸而顧目沿標慌驅五動就則潮是睜指忌推厘理兼過肝程年從嘗目堂標最開醉始攪進烈行臟反賊向撤推肯理位，連直嶺到陸出關現濟與吩初忙始頌證子據羊相能吻隨合露的燃結細果達。按雁照周對脂推臺理奴方欺向牙的邀控革制縣，余推執理辨可射分欣為農正所向擠推挺理己、孫反斤向春推堅理兆、斃混勿合尋推次理涂及錢雙唐向卵推割理環四暑種喘情饞況品。3欣.竭1屢推島理謙概戲述正憐向會推晴理斜是李一子種證從功已澆知村事筍實大出涂發屆、鵲正雁向尚使大用漂推渠理粘規默則陶的下推捆理批方摸式賓，籃它穴是圣一壟種鏟數謊據躺（博或六證既據秩）污驅卵動揉的錫推烘理輪方甘式茂，齒又遮稱鞏前炕項眠鏈借推鄰理據或封自秋底輩向年上夫推偽理貍。反羨向這推效理復是耽一臉種蕩以敵某鑼個盼假匯設忍目感標燭為歐出關發短點掃，惕反標向敗運商用蕩推象理貌規染則敲的曬推靠理日方群式尋，怕它厭是膝一挑種晨目醒標絨驅歌動接的氏推元理維方徒式診，難又陣稱鑰反滲向寸鏈昌推潤理廁或稈自令頂饞向璃下珠推父理晴。混丹合累推瘦理酷是竊把適正狗向杜推榴理芬和送反賽向樓推婚理犁結貸合唱起段來螞所螺進界行若的功推瓜理踢。所偷謂旁雙裕向箭混字合驅推欠理燭是聰指類正聲向固推樸理刃和暈反搞向熱推家理道同捆時揉進勸行兩，歇使樹推券理膜過教程亂在匙中肺間順的簽某惠一專步嘗驟最相雜匯粉合事而牧結方束拖的勁一警種師推裝理否方尺法省。3閑.站1哈推酸理南概遭述3旋.乓1炮.紅4推廊理丘的仇沖慨突伍消挑解檔策粘略推肥理崗過籠程顯中濟的再沖杏突切消麗解段策幸略向，輸就捐是講確鈔定重如每何饒從嗚多遮條天匹禽配夕規孩則萄中苦選裕出強一買條諷規蚊則付作掃為堤啟訪用碑規鄰則撐，彎將欠它還用毯于叔當參前漠的禾推汗理詳。目刷前慘已標有磨的蹄多盾種失沖乓突飄消地解腸策還略浸的僻基略本怨思育想樂都菜是泳對券匹李配柳的蜂知級識汪或宮規羞則貫進參行跪排就序妥，綿以才決盒定去匹鍬配浴規錯則告的串優程先仁級歸別碗，孔優梅先奮級返高兼的造規百則貌將糖作軍為初啟換用期規黃則稿。常界用遙排態序愛方頁法途有合如封下刊幾皮種寨:3鑄.酬1登推營理細概練述按霸就麗近筆原鏡則禾排陵序按努知皮識眼特饑殊蛙性哄排提序按普上享下冒文末限偷制征排咱序按丑知苗識摸的養新授鮮蚊性征排壇序按割知巴識架的害差碌異嬌性換排攝序按嗎領紹域悟問偶題乘的泛特拋點妻排婦序按沈規爺則完的調次務序綠排舒序按尸前慘提勿條對件浮的潮規敬模膚排夫序3輔.蹲2稿命諸題載邏聯輯3欺.湖2捧.蔽1命葉題定絨義子3騙.屠1能網夠墻分森辨副真壯假驅的佛語早句憶稱豬作命絹題。定患義膚3略.速2一民個喂語間句友如幸果修不唐能尼再境進畝一愧步會分痕解何成脆更創簡猴單絕的顛語釣句蜂，嘗并拿且懶又護是把一素個霸命液題盆，趁則促稱淺此常命游題域為原充子冰命攝題。原灶子暴命姓題矛是啟命熔題殃中錢最肺基貫本瓜的灰單浮位角。松我漁們崇一零般爆用場P霉、初Q抖、堵R搏、遇…字大役寫券拉趙丁把字挺母杰表殘示觸命協題霧，汽而界命縣題唱的男真弦與床假雷分佩別題用風“粒T債”遣與取“獨F競”舒表贏示康。用規大做寫寧英說文星字稅母寇表炕示怖的你命塞題誰既飾可照以逐是滾一帥個豎特繁定父的奶命靠題莊，輕也煉可棕以哨是守一吳個抬抽錦象尊的倘命包題慣。鬼前冒者投稱階為命羅題懼常剪量，貿后屈者鼠稱項為命承題擁變扶量。杯對準于鮮命鋒題耐變腳量存而轎言悅，維只密有戀把爭確蠢定耗的騰命教題途代痰入殊后撇，止它鄙才悠可釀能俯有咽明處確事的位邏錯輯蹈值堂（T或F）昂。3賓.卻2溜命逮題撞邏藝輯3魚.寸2沸.國2命紡題語公嗎式1嫩.斤連碗接存詞～統：婚稱答為殖“身非欣”叉或茶“衛否問定俯”帆。∨館：蟲稱乎為做“堪析賓取鞭”枯。∧壞：仁稱泄為遷“墻合停取上”辨。→稈：桌稱科為學“廉條頃件立”阿或趕者飛“漢蘊牙含詞”施。：也稱依為慎“絹雙絨條奮件與”也。PQ表只示遇“P當標且倒僅性當Q”激。表鏈3螺.太1釘命如題藥邏蝦輯惕真剛值逆表PQP∨QP∧QP→QPQ~PTTTTTTFTFTFFFFFTTFTFTFFFFTTT3竹.蟲2孩命柄題顆邏遼輯2害.兼命斧題擊公托式定舞義訴3嚴.衫3勝以達下號面閱的宜遞量歸箱形延式您給譜出昆命候題龍公眼式累的復定修義雜：（孩1稅）禍原粱子陜命純題谷是析命吐題保公趕式此。（吹2紗）A是逃命府題過公巖式添，霞則邁～A也左是礎命圍題多公稈式兇。（3）稍若A和B都意是獅命蠅題暈公替式獨，枝則A∧B、A∨B、A→B、禿A矮B（4）撈只賞有皆按違（1）茫—振（3）鴨所蠻得揀的廟公裝式賽才身是鮮命光題林公賴式近。3弄.群2尋命晶題爪邏尊輯命籮題角公以式略的碰缺食點助：無各法彎把美所懼描母述很的貪客防觀躺事稱物賓的庫結衰構夸和代邏沖輯坡特射征嫩反鏟映集出歉來不閣能喬把掌不夢同蕉事叼物麗的歲共依同既特費征劫反峽映繞出毫來P帥:玩“宗張青三泛是浙李分四潛的形老換師俘”漏；騙僅箭用鐵字資母且P幼看零不勤出菜張株三靈和畏李窄四能之警間煎的詳師垮生垂關刊系述。為欣了軌克迎服凡命童題抗邏質輯謀的青局吉限犁性我，穴引河入尿了提下丹面開的向謂充詞防邏風輯3誰.姻3股謂光詞求邏忍輯3慚.喜3妹.微1突謂亡詞崖與跟個爆體在提謂施詞買邏鑒輯舌中秧，憲將歌原森子黎命財題蘿分評解值為謂層詞與個雞體兩伴部奶分塘。個瓣體是恩指價可額以河獨英立悠存都在唯的瘦物做體板，暮可籃以柳是趙抽眉象僅的追或禾具到體組的鍛。謂場詞則坦是扁用拋于綠刻洋畫昂個娛體階的暮性挎質誕、咳狀增態淋或西個而體室間蝴的怒關增系前的啦。例脫如束：刃“菠李騎白鞋是休詩太人逃”可蜓表肆示榨為毀：何p鼠o錦e越t描(超L奴i僵B僵a挽i清)p富o裙e未t煤稱劃為射謂結詞封，斃用劣以蟻刻金畫雁“的是饑詩左人屈”服；珍L懼i紅B沾a亦i遵稱饑為脫個薪體3櫻.芬3日謂陵詞練邏星輯一慢個訊謂帖詞羽可轟以鴉與洞一匆個知個高體鬼相腦關挨聯漠，僑此泡種讓謂漏詞刊稱吵作一茫元砍謂流詞，它擋刻炮畫毀了株個沃體懂的儀性傻質。催一某個近謂槳詞寒也測可岔以將與貴多出個梅個唯體刷相舞關兵聯上，場此修種哈謂憑詞堪稱撐為多既元餓謂親詞，它遙刻疏畫末了側個沖體爸間壯的火“今關除系飼”。3載.獲3宵謂兆詞樹邏點輯謂血詞緒的伐一城般尾形再式遙：P碌(當x1,次x2,持…語,銀xn)其再中P是包謂點詞展，征而x1,錢x2,扒…性,宵xn是峽個惕體強。采謂扇詞任通撲常欣用疫大炮寫攻字忽母堪表刮示遞，鳥個天體睜通臣常請用唐小露寫兵字撫母滋表殖示察。項摔：在拔謂易詞掘中購，共個單體嘉可嫩以辜是常爺量，都也茫可虜以醉是變收量，誘還趴可恐以壞是測一舟個函無數。屬例房誠如盜，石“孟小俊劉疑的蠻哥徐哥獨是勒個包工歇人尖”隸，性可尊以畝表早示瀉為w嗎o厲r則k晌e眨r臘(味b互r捎o案t糞h襖e礙r老(艙L釀i榆u邁)演)，訓其活中b膚r森o恨t扁h膝e側r詞(缸L凡i名u僑)是減一隸個歌函唱數他。管個熄體忍常孫數胃、伯變繩量以和雜函豬數緩統鄙稱潛為項。謂腳詞唯的刺語列義亡：由隱使波用培者米根家據柔需漿要杯人音為撓地浙定掀義蠟.3葛.抽3譽謂蠅詞補邏乎輯謂史詞定的敞元猜數鴿：謂鄙詞柳中繳包漸含糖的疑個留體纏數引目互稱灘為影謂絲式詞鳳的元訓數，帶例食如P忍(址x沖)是毅一長元盛謂惑詞煉，P盲(貨x順,梁y逝)是營二告元衰謂填詞永，澤而P惕(程x1,旁x2,律…珠,刃xn)則塘是n元赴謂血詞吼。謂話詞蓋的轉階事數供：在迎謂恐詞星P筐(艘x1,降x2,慶…烘,此xn)致中公，渾若望xi(希i逃=來1扁,損2咱,顆…烏,劃n武)夠都熊是支個輸體冤常佛量創、唯變退元葬或解函廊數換，標則臉稱熄它攤為一席階息謂瀉詞。港如動果殲某科個稿xi本魚身料又麗是溉一駐個沿一效階郊謂控詞掀，滋則錦稱瘦它故為二及階靠謂興詞，寺依駛次環類伸推芝。謂引詞唯和鐵函交數械的也區椅別喂：謂末詞挎具群有橡邏灣輯陜值刺“作真掙”掠或魯“胖假矮”上，裕而恰函塘數春則景是板某脆個脅個款體土到鴿另餓一熊個立個協體泉（懷按遙數皺學艦上警的刪概輛念花是勤自破變指量冠到罵因鎖變尿量少）疲之初間博的偉映違射除。3濟.扶3普謂縫詞喬邏浙輯3濟.筆3垂.而2謂砌詞某公辛式1和.連殊接耍詞～骨，蛛∨基，犬∧奪，揉→障，2玻.量基詞為躍刻倚畫工謂鄙詞煩與派個橡體寸間藥的乖關坡系揪，語引與入老了曾兩革個桂量呆詞昌：勇全看稱底量朽詞燭（x）楚,上和弦存漏在喬量忘詞籌（x）癥。3先.謂左詞煮演嗚算榜公加式定外義沸3罷.誦4謂頓詞然演珠算袖中劍，洋由兔單懼個耕謂犯詞易構寒成械的刑不狠含墓任旬何艙連浙接步詞祥的榆公節式登，抄叫天做原移子榮謂峽詞攤公攔式。3打.矛3機謂粗詞插邏腔輯由煤原材子粉公批式職的拾定揪義搞出掀發鐘，法可染定辣義皺謂旗詞嚇演據算謠的漢合便式蒙公湊式地如球下由。定猛義燈3掩.鉆5可崇按攪下膛述膚規銹則游得各到公謂溪詞溫演哥算涼的陽合蠢式聯公餃式育：（劈燕1糾）原村子瞎謂鼓詞迷公錫式驅是食合題式驚公盡式塘。（銀2伯）若A是喘合悔式幻玉公肆式聚，府則第～A也茅是險合絞式隆公謊式叮。（3）引若A和B都走是僑合鎖式屬公冬式肝，根則A∧B、A∨B、A→B、AB也門都齡是慨合驢式岔公甩式烤。（4）換若A是早合責式性公擁式記，x是鋸任哥一土個鈔體田變味元逝，畜則(x蠢)筐A和(x聰)霸A也逃都抖是遭合雖式竊公誼式妹。（5）綠只李有子按將（1）—（4）磚所仁得田的吼公轉式抓才蔑是篇合核式黃公泊式幫。3愈.御3貌謂親詞青邏塔輯4柄.職量映詞嗎轄盡域將與畢約胞束隆變側元在平一其個趁公喚式美中珍，而如相果偵有考量針詞宅出幸現恒，痕位椅于普量財詞拔后瓣面羅的快單印個乒謂班詞創或倆者藝用挽括磁弧桶括鈴起壁來脅的掠合分式糾公卵式椒稱多為量榮詞習的舒轄膠域。員在瞧轄懂域負內起與縣量挖詞溉中散同某名囑的碰變僻元智稱仗為約恒束隸變鼠元。3候.釣3忘謂餃詞率邏惱輯3義.盟3慚.竟3滾謂室詞隙公芒式銀的慈永劉真湖性專和鍵可鈔滿痕足名性1籍．顧謂掙詞革公鹿式憑的京解貧釋定洋義壟3昌.概6設D為劈燕謂額詞委公繳式P的劇個但體翼域龜，喚若碧對P中封的捎個蓮體悔常淹量毯、糠函畫數容和拉謂塵詞席按永照刮如懷下雪規牧定樹賦司值吼：（1）郵為庫每兄個逃個唯體匹常豎量脫指紹派D中晃的談一投個阻元愉素執；（2）掃為問每盛個n元其函膨數殲指似派浸一拳個菌從Dn到D的虹映矩射雁，燥其決中Dn=還{荒(萄x1,估x2,螞…輩,取xn)許|歷x1,便x2,女…犯,紡xnD困}（3）泥為便每躬個n元雜謂匙詞危指汁派頌一徑個轟從Dn到{剪F耍,芹T逃}的管映爆射料；則棵稱聚這閥些鞭指破派梢為包公師式P在D上領的姜一洗個解土釋。3撓.蔬3撒謂告詞群邏御輯例縫3添.絨1設錦個哨體杠域D臘=鏈{稈1比,繼2思}，漂求暖公賞式A艷=童(x統)貴(便P濃(雨x屋)→Q慎(鳥f妹(增x各)噸,沃b縮慧)蹲)在D上蓄的埋某盲一奶個飾解質釋潛，海并柴指盆出香在荒此繪解彎釋合下轉公圖式A的淺真貫值愿。詳筒細洗的菌求提解摟過寸程伍參糖見潑教骨材3漲.功3覺謂肌詞肺邏市輯2寺．盤謂讀詞育公磚式迫的白永運真陜性定斤義另3挑.鄭7如禁果校謂筍詞反公菌式P，默對要個和體偉域D上虎的晝任單何侍一結個咱解謠釋杏都紫取肥得仗真兔值T，刪則琴稱P在D上酷是永字真致的；年如最果P在左每蹄個疑非蝕空掠個奧體扎域嫂上見均切永副真背，顧則貓稱P永柳真。定件義概3籌.肺8如成果青謂豬詞仆公挎式P對依于得個練體破域D上偶的建所嘴有妹解堪釋毛都戴取傘得幫假忠值F，慘則眨稱P在D上傍是永叢假爺的；勵如鋒果P在箭每竹個僑非乘空孤個刷體駕域許上曬均賠永壺假彎，掩則卻稱P永慣假。謂塔詞謀公義式趁的掀永揉假屑性歐又講稱思為也不換可介滿董足猛性抖或償不疤相勢容粘性毀。3湖.熟3擾謂佳詞表邏敢輯3．謂疾詞顧公均式遮的活可慨滿裙足御性定倍義酸3債.悠9對丸于賴謂詠詞撒公避式P，頭如秒果時至詢少示存婦在單一段個異解圍釋軌使壓得傷公圍式P在矮此棵解植釋助下戴的寸真殊值注為T，憐則去稱知公炕式P是可獲滿瀉足伍的。按弦照材定唯義3站.鉤9，完對卸謂鋤詞訊公猛式P，帳如近果檔不井存魂在關任蘭何利解體釋辰，員使許得P的博取太值謹為T，鍛則句稱鑒公境式P是不夠可蛙滿院足呀的。軟所笛以劑，謂漲詞山公液式P永魂假瓜與抬不好可催滿紡足著是堵等裙價君的逮。嗚若P永值假礦，撐則絕也取可妻稱P是糊不虜可觸滿羨足斥的沒。3策.琴3腸謂眠詞處邏倘輯3輛.波3哭.謎4謂竹詞根公徒式村的攀等誰價墨性銅與快永扁真瘡蘊予含定厚義坊3夕.兇1妥0設P與Q是脖兩纏個蕉謂儉詞盛公缸式桐，D是句它葉們場共棋同肆的勾個叫體側域不。乘若蓋對D上嫁的凳任沫何臭一購個蛙解社釋腿，P與Q的傍取做值舍都捐相撕同槳，鏈則照公施式P和Q在菜域D上狗是等館價蹦的。蛾如品果D是突任競意暈個角體的域銜，請則聯稱P和Q是等匯價泄的，鵝記焰作PQ。常塊用譽的幼一袖些憲等盛價歷式擾參機見擋教富材定塑義吉3誓.足1楚1對厲于烘謂曲詞嗽公餅式P和Q，格如詢果P→Q永仆真廣，鑼則編稱P永殘真端蘊僵含Q，病且違稱Q為P的邏酷輯贏結勉論，構稱P為Q的前對提，農記玻作P捷=猶>框Q。以凈后倦要訂用粥到居的還一黃些泉永勇真嘗蘊聽含爺式乘參蠢見尋教捕材3康.鍋3茫謂洽詞估邏肯輯謂半詞住邏偷輯酒中鑄還熱有豪如驚下蘿一館些減推存理腎規鳴則低：（1）P規裙則食：鏡在董推醉理鹽的觸任斧何吩步欲驟甜上暮都星可撞引隔入辜前蜂提吊。（2）T規暢則刊：波推雨理晉時囑，與如團果敲前騙面術步指驟菊中止有灰一挑個啞或帥多龍個舒永欺真鼠蘊跨含千公賣式S，畏則稍可渠把S引齒入慚推鄉豐理疫過鞠程交中旁。（3）C抹P規剃則語：士如聞果疏能寶從R和行前朗提療集崇合既中績推拋出S來笑，滲則讀可旁從愧前啞提電集管合魂推蛛出R→S來獅。（4）罰反書證烘法缺：P栗=硬>劍Q，妄當竿且滔僅風當P∧殃～QF，虹即Q為P的科邏余輯賠結錢論駝，披當詳且爭僅錫當P∧我～Q是懼不嚴可磨滿如足凈的陪。推鎖廣酸之游，火可憂得漲如鏈下荷定鉤理頸。定圾理翠3驅.當1Q為P1，P2，否…攔，Pn的塞邏喘輯柳結禽論覽，怒當君且哀僅擺當(后P1∧P2∧夾…邊∧Pn)∧櫻～Q是圍不瞧可柱滿槍足艘的鐘。3梳.盈3欲謂秀詞錯邏下輯3待.本3悼.弄5置庸換弓與書合挖一1磁.灑置脖換置艙換溉的輪定怠義定眉義穿3首.嘆1底2置燈換朵是盛形撥如{域t1/雀x1,折t2/腦x2,榨…禁,旬tn/閘xn}的醒一播個攜有掘限費集謙。廁其臉中xi是營變蔬量曬，ti是趟不譜同代于xi的宿項敏（寬常問量樹，欠變獄量暴，窄函桂數討）逃，泥且xixj（Ij）滾，i，j粥=叉1筍,驚2拒,稍…笑,做n。3去.抓3唯謂它詞敲邏最輯例描如持，{晝a純/性x睬,披b派/脂y達,匙f苗(駝x倚)孕/泡z肌}，{避f欠(召z顛)駐/恨x匪,屯y底/彼z司}都揚是還置富換波。不武含管任瓣何崗元透素古的犬置筐換頌稱衫為贈空俘置掙換普，委以嘴?系表挑示紫。置案換水乘航法置樂換診乘潛法綠作翻用禁是夢將狠兩位個遮置徒換著合使成引為劑一介個洞置役換返。定卸義競3僚.澇1針3假開設=悠{四t1/退x1,糧t2/擊x2,刷…腳,漠tn/惠xn}=拴{以u1/介y1,涌u2/由y2,方…役,殿um/奧ym}是館兩礦個負置爽換摘，燭則開它體們占的偷乘紙積蟻是旬一巖個孕新出置渡換打，齒其說作啄用宴于姓公射式E時畫，液相隱當獲于臂先后宏λ災對E的蓋作任用勸。殊它鎮的盟定驅義替如潔下誘：3遵.繡3汗謂弊詞微邏叉輯先逝作盟置下換{新t1·/耽x1,拍t2·/掘x2,蒜…界,四tn·/輔xn,養u1/殖y1,錘u2/煎y2,蝴…鄰,秩um/占ym}。若yi{厘x1,門…罵,孫xn}時訊，速先酒從騰上睜述蟲集捷合防中顏刪稀除ui/腿yi。若ti·=扔xi時湯，允再餡從董上添述收集囑合握中勿刪揀除ti·/生xi。刪僵除芝以村后紅剩角下倆元貢素涌所退構略成冒的蘿集晶合吐稱仗作與的先乘味積料，漸記源作·。置認換嗚結闖合燙率一棕般稻地骨說辟，脆下它列否的循置捧換維結株合株律喬成突立(·比)·俯=·南(·諷)但拐除丹了獎空拼置貼換圣外胖，企置稠換賤的堵交籍換斤律坊不鄭成遇立爆。榮即自只瘋有·=·=。3蠻.激3年謂長詞專邏升輯2跟.隨合你一合槽一絞的游概乖念定賭義醋3例.矩1避4設需有解公償式舍集{呀E1,透E2,損…提,帳En}和喪置繁換何θ生，仗使E1θ=類E2θ=錦…胞=忍Enθ便建稱E1，E2，…，En是可喪合誤一困的，光且籠θ摸稱絹為合芝一滲置回換。定寬義粘3兄.僵1然5若E1，E2，…，En有阻合璃一灘置凱換若σ懇，稼且良對E1，E2，…，En的生任擺一留置夸換典都徑存辨在慮一源個網置亦換衛λ塑，纏使痰得章θ熔=遣σ·λ穴，盒則協稱秒σ解是E1，E2，…，En的最蝕一掏般蒸合腿一載置認換，攏記妻為m致g溜u。3床.淘3黎謂達詞葛邏旺輯最筆一罪般劣合先一育置塔換代的研求揚取蹦算憂法設解有凱兩伯個廟謂鈴詞羨公醬式惑：E1：P溉(桿x默,桃y由,嚴z講)夸;糧E2：P例(撒x丸,伴f墻(辮a年)期,灑g媽(吩b妨)逝)分所別療從E1與E2的雷第歷一盤個謀符盤號造開瀉始掘逐戶個開向武右邀比嶄較禍，像此壤時襲發月現E1中賓的y與E2中草的f勸(俗a艦)不雁同迷，驕則載它繞們混構盟成栽了媽一灰個溝不步一冒致嗓集仗：D1=遞{凍y儲,登f痕(丘a個)例}當討繼慈續斗向泄右輩比設較繳時轉，牽又移發摘現冷中E1中新的z與E2中g竟(談b敲)不印同波，拼則仙又楚得倘到閃一市個搭不宰一牲致漂集釀：D2=猛{之z論,縣g腰(遣b尼)竊}下澤面迎給喘出暢求寧公嬌式{淚E1,候E2}的橫最睜一園般妙合雞一披置益換躺的葉算天法段：3次.民3填謂升詞茄邏線輯（偶1覆）令W箏=打{傳E1,欄E2}。（榴2泰）令k喊=丈0，Wk=辣W，σk=透ε；ε是塑空怒置牛換辱，凱它咳表鮮示諒不矮作暑置探換救。（鍛3祖）如酬果Wk只賓有冒一喬個凡表驚達塞式讓，壯則晨算襖法坡停講止疼，σk就努是網所東要愉求唐的m喜g棕u。（鐵4暫）找搶出Wk的斑不撕一護致鎮集Dk。（駕5劫）若Dk中案存警在刃元遞素xk和tk，店其余中xk是固變袍元供，tk是蒸項刻，宿且xk不育在tk中單出殿現憤，疲則手置姐：σk罵+咐1=賀σk·較{鹿tk/品xk}Wk泥+癥1=釘wk{哨tk/搖xk}k務=疼k卻+荒1然弓后琴轉劇（3）曬。（垂6搬）算仰法斤終廣止斥，W的m虎g弱u不箱存茫在芹。可糾以比證設明猴，票如報果E1和E2可兄合榴一業，臥則谷算甲法常必底停露止蜻于覽第蛙（3）帽步拖。3匠.側3集謂他詞咸邏檔輯例限3昨.運5設E1=謊P且(溜a礙,躍v煌,造f步(殺g延(誓y乳)州)丸)，E2=挨P貌(雨z這,及f祝(線a疼)點,鼠f爺(刃u險)兼)，杠求E1和E2的m嶺g景u。解叛題掘請逝參喇見彈教涌材答毫案會為敞：σ3=仇{陡a敲/勉z厭,州f珍(繁a掌)躺/恨v汽,疤g艘(屬y校)哲/舅u氧}σ3就撓是E1和E2的m兆g酸u。3篇.彩4懇自會然珍演敵繹凱推棍理葛方賊法3榮.澡4盾.警1乖自幻玉然宣演暢繹否推踢理磚的判概嫂念自羅然共演馳繹壁推胳理蓬是暫指潑從扁一濁組撫已紙知姓為餡真啞的抓事津實翼出付發鵝，摩直岡接窄運帖用危命杠題討邏秀輯到或糧謂末詞側邏敏輯暢中主的伐推閱理偵規故則潔推智出繳結棕論旺的備過薯程幸。假架言彼三我段內論蔬的李基面本播形枕式距為P植→腳Q幻玉，司Q限→宗RP腳→炎R它厚表藍示厚如嬌果糕謂夏詞薄公臉式欄P雄→遍Q誓和胖Q進→損R徹均拋為間真閑，肌則且謂窗詞浪公算式招P虧→悄R叔也春為均真犬。假遺言易推爹理鳥可狼用稼下幅列茫形皂式憑表儉示P京，倦P蓄→該QQ它皆表言示臭如估果明謂斷詞吊公寫式夏P磁和嶺P臭→喚Q旦都遙為箭真紛，劇則砍可戴推長得純Q縫為師真舊結高論辣。3您.鏈4愿自箭然竭演瘋繹宏推嫌理籮方蔽法拒嚷取筆式講的埋一普般丈形啦式挪為P油→核Q繳，次～飄Q～晨P它陳表親示武如孟果話謂得詞肚公始式洋P打→供Q炮為幕真讓且按Q罷為曾假域，關則誰可舉推表得煤P嬌為峰假智的乘結刷論扇。2指.疤4所.天2門利劍用賴演惡繹傷推興理賞解虎決黨問攝題在衣利馬用宇自震然針演粱繹繩推掙理汁方攤法膛求割解真問橡題列時組，恒一卸定甜要趁注康意蔥避季免權兩云種擠類笨型騰的群錯揀誤勁：張肯亮定嗓后建件渣的上錯妥誤甲和臂否惡定被前置件搶的妹錯亭誤蹲。3頸.設4證自稀然莊演穴繹查推踢理帶方抱法肯酸定胃后漫件鑄的鉤錯賽誤是職指速當P→Q為如真作時折，傻希幻玉望頌通蒜過戀肯由定辮后駕件Q為負真遺來第推腳出化前目件P為誼真握。士這見顯旱然帶是耍錯略誤遇的枝推件理滲邏售輯卻，敘因遠為決當P→Q及Q為賣真糾時畜，郵前印件P既續可有能垃為恨真在，寬也歉可展能瘋為度假訂。否種定姓前藏件然的技錯紫誤是眨指謊當P→Q為煙真漸時群，外希倚望谷通宜過洽否胡定剩前央件P來狡推補出重后榨件Q為敞假黃。辭這康也風是馬不但允朗許檢的家，糞因尚為江當P→Q及P為把假允時令，草后詢件Q既白可兵能桌為樸真層，轉也先可天能殊為括假既。相慣關趕的稱例團題摩請砌參膛見年教布材3貫.堡4認自柴然餓演壁繹穗推啦理宴方縫法3燃.濕4奴.消3壘演吃繹診推逃理石的妄特撥點參則見居教飯材3碗.患5亦歸史結組推膚理畏方源法研逐究堵用井計遠算攀機旗實疑現職定破理晨證罩明撈的第機業械持化漏，嶺已陡是耽人劉工鄰智濕能呆研譽究狹的羽一勾個挎重璃要氏領譯域也。對麻于骨定誼理頓證鉗明死問喘題霜，恢如突果累用正一軋階險謂慰詞兆邏狀輯濾表工示委的葉話谷，事就攀是伙要四求退對據前妖提P和育結亭論Q證罪明P→Q是詳永冶真捆的駕。然寄而布，獅要毯證遺明彈這鏟個遠謂屈詞搞公法式獻的閱永貢真晚性辰，秋必婚須喊對撲所翅有勉個簡體稼域連上甚的船每樣一鼻個想解攀釋蓋進訴行厲驗或證逗，夫這雀是暖極袋其童困叼難躁的孟。企為蠶了伙化離簡京問蟲題次，旱和帶數聚學羞上圍常池采誦用埋的賢方岡法樸一冷樣結，楚我讀們頑考都慮照反吉證赤法裂。即廊，我赴們激先柔否忙定脫邏覆輯贈結團論Q，謹再寬由款否狗定獄后巷的偽邏勤輯體結喪論羅～Q及血前改提失條規件P出亡發銀推產出越矛刷盾箏，嬌即義可償證差明懸原鉤問逆題絹。3劑.遣5免歸頸結垂推取理息方袖法3程.椒5滋.粗1謂民詞狐公文式霧與筐子啞句辣集1紹．井范榮式前商束坑形睡范諒式一仿個擺謂話詞澇公旦式塊，匙如鏡果辭它騰的洗所這有脖量候詞胃均握非蔽否記定尖地換出猾現洗在葛公晌式柳的伶最捏前販面柱，痛且斗它紋的延轄捆域挽一購直柄延習伸嫁到本公粗式濤之醬末泥，肝同謀時減公存式寄中目不犧出宇現虹連系接染詞脂→歸及，臘這掩種滅形民式流的經公爪式蛙稱踐作汽前術束增形虎范潮式倍。例歸如效，跟公慚式(x跌)買(y剝)醉(z既)滿(匪P改(男x鄰)∧F痛(填y它,絮z捐)∧Q爸(向y唉,遍z妙)追)即凈是梢一位個山前部束難形股的蹲公牙式磨。3莫.無5數歸償結關推紫理育方臺法斯百克隔林賴范摩式從龜前墾束攻形晝范蹲式宿中結消扁去許全吳部選存秀在聽量滴詞攪所散得足到鉗的效公腎式錫即臘為S寧k泊o隙l恰e描m范蔑式皂，禽或領稱S嫂k蠢o圣l抬e佛m標宗準寨型仇。例加如帶，攔如所果翻用席f石(錯x夸)訊代戀替碌上雄面積前挺束地形政范捐式滅中鹿的墳y罷即癥得課到煉S敘k酷o雕l屠e丹m丟范別式桐：(x沾)漫(z猾)存(照P震(放x惑)旁∧固F益(頑f飛(凈x尊)諷,煌z想)另∧揭Q底(豆f紋(遷x勾)廟,業z嗽)崖)S畏k舊o咐l網e香m景標酸準夠型狂的戲一本般句形紙式閑是(x1)隱(x2)寒…辣(xn)見M米(參x1,袋x2,惕…商,愈xn)其衡中金，炮M尤(學x1,醉x2,緞…灑,裁xn)說是滋一屬個梨合思取曠范之式迫，養稱圣為副S棟k拖o范l呢e穗m淹標旁準庭型駛的芽母錢式惱。3喇.胃5喇歸濃結慢推尿理俱方喝法將節謂撇詞截公就式G化油為S塑k訊o內l葛e揚m標硬準變型使的侵步跳驟追如睛下箭：（量1膠）消貪去演謂撿詞慌公恢式G中脾的鐮蘊騎涵殲（被→球）介和船雙餅條麥件添符費號求（）交，述以旬～A∨B代抄替A→B，椒以(勸A∧B嚷)∨(～A∧欄～B攏)替泥換AB。（算2滔）減榜少就否允定窄符碧號刃（貝～漿）匆的飽轄碑域雖，真使碰否弟定擴符跟號界“師～老”正最夜多慢只蝦作瓜用繼到證一韻個這謂軌詞貫上末。（柳3隱）重名新膝命枝名炕變裝元遲名是，牛使漫所辜有崇的距變媽元葛的獎名睬字孩均油不陷同縫，挨并余且姻自違由科變開元文及域約靠束棟變抹元歸亦副不押同膛。3請.上5途歸下結免推換理棟方何法（奧4頁）消郵去喘存臭在惑量鋪詞嫁。及這欣里旗分店兩謀種嗎情滲況肯，低一屑種眾情永況鏟是擊存滅在裕量鑒詞尸不繭出就現蘿在不全鑰稱逐量躺詞塑的吐轄桶域券內物，謊此字時狗，芝只盾要睬用鋸一率個蒜新河的菠個濟體創常務量玩替房誠換某該搜存夠在炊量膊詞鉛約構束邀的孝變戴元躲，奮就細可搞以萬消文去增存觸在榴量辨詞做；索另給一戲種鎮情而況乒是兇，達存乓在搖量昏詞辛位誦于繭一使個遵或籍多型個吸全魂稱憐量縫詞瘡的避轄覺域駁內土，卷這剖時樣需狀要問用茅一票個蓄S拒k炸o拴l喊e故m窮函窗數幻玉替過換鬼存打在錘量油詞皺而兄將橫其查消喜去權。（5）浩把擦全歲稱嗓量野詞少全科部捐移影到論公廢式藍的友左內邊角，植并咐使口每躺個泡量扒詞支的怨轄懸域弱包謀括肆這晌個安量房誠詞塔后倚面者公璃式短的寺整料個多部堤分瘋。（6）胳母炊式纏化經為驕合韻取舒范捆式蹦：施任極何阻母墻式吃都胃可報以藏寫小成芳由百一輕些曉謂守詞贏公父式膽和裹謂投詞話公訓式彼否肅定全的內析袍取若的堡有緒限抬集你組樣成腫的守合善取糧。需澡要材指際出控的另是粘，勤由恥于歐在安化臣解腫過熄程響中糕，倒消搖去蠻存聲在忘量仙詞跨時茄作頁了裝一診些霸替粱換褲，瓦一胖般攝情爐況調下泰，G的S項k匙o波l威e要m標撞準駁型著與G并從不疊等覺值呆。3泥.材5弦歸漸結傷推撤理注方喚法2摔．海子灑句患與欺子征句皇集定宰義最3蹲.顧1愉6不貪含埋有嫁任抵何季連供接士詞津的遼謂趕詞鵲公悔式評叫原鉛子詞公屆式，遼簡扮稱原換子，浙而扣原患子然或枕原夢子絮的別否幟定齡統宰稱文同字。定宜義刮3潤.辱1希7子碼句就偵是疑由回一盡些廈文垃字愉組瞎成巨的千析爭取協式屢。定倆義勢3掛.點1釣8不隔包愧含懼任施何巨文殘字業的碧子陳句完稱敗為空估子術句，混記蜓為泡N大I快L莊。定范義孫3形.點1爽99由謙子洽句庸構艇成兆的引集意合訊稱駕為子柜句賊集。3膚.張5競歸兔結沿推哪理集方近法3扮．聚不雀可技滿敵足捐意住義王下半的溉一暫致服性定鬼理離3殖.毫2設夫有逆謂彎詞史公儲式G，軟而晃其防相土應浮的何子階句剝集耐為S，咐則G是稼不紹可馬滿衫足辣的擠充押分很必腸要袍條考件勤是S是拒不爪可朵滿售足號的戲。要戲再老次寒強燙調輩：公辮式斷G半與乒其范子雞句致集俯S么并終不勁等織值既，盡只四是鋸在想不秩可撐滿丸足裳意茂義擊下憂等棕價濱。相稅關季的駕例浪子漲參耗見熊教利材婦中著的爪例挖3霧.憤93恢.求5皺歸析結可推播理精方愁法4慨．P＝P1∧P2∧…Pn的浸子賓句訊集當P＝P1∧P2∧…父Pn時梨，秘若悶設P的巨子博句筋集架為SP，Pi的屋子洲句獨集鼠為Si，粒則清一膝般離情凱況剖下法，SP并扶不訪等夫于S1∪S2∪S3…∪Sn，常而替是列要墾比S1∪S2∪S3…∪Sn復虜雜之得炭多疾。峰但老是肉，內在吹不猾可詠滿硬足證的未意齒義誦下護，嘗子菠句瞎集SP與S1∪S2∪S3…∪Sn是賓一灑致午的月，截即SP不蔽可廉滿拉足S1∪S2∪S3…∪Sn不州可健滿災足3培.博5津歸伸結浮推須理擴方侵法3串.氏5耗.池2援H筋e察r秧b任r航a吼n捏d懶理蔬論1起．沿H查域定每義膚3郊.嗎2鬧0設性謂客詞敢公裕式G的疾子土句轟集凡為S，俗則室按巾下丸述骨方瓣法表構銅造溜的司個蝴體筍變傳元悼域攤H兩。買稱隔為浩公炎式G或艘子奪句趙集S的H逝e茄r阿b躍r選a掘n能d堤域，供簡亂稱H騰域。（配1未）令H0是S中摟所卻出赤現購的業常忙量盒的死集嘴合誓。腐若S中隱沒剃有增常捉量垮出社現某，幕就誰任蛋取部一子個含常定量aD，塞規說定H0=榨{赴a傍}。（鼠2妥）令Hi謎+誓1=情Hi∪{起S中雁所極有管的懲形師如f反(若t1,谷…托,魚tn)的懶元續素}其爸中f粱(嫩t1,咐…辱,艙tn)是集出板現脂于G中野的緊任粒一祖函蹤蝶數膛符載號男，豎而t1，…，tn是Hi中據的缸元秧素侄。i余=路0，1