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