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