法律逻辑学第五章

第五章复合命题及其应用

复合命题概述复合命题的基本形式及其逻辑性质复合命题的等值式及其应用

命题的真值判定方法

第一节复合命题概述一、复合命题定义、组成及特征（一）定义复合命题（compoundproposition）,就是以命题作为直接构成成分的命题，变项是命题，即包含有其他命题的命题。例：①张某是法官，并且张某是共产党员。②张某或者唱歌，或者跳舞。③嫌疑人的行为要么是故意的，要么属于过失。④如果王某是法官，那么他熟悉法律。⑤只草有陈烧某隔去吉过岩作递案母现爸场睛，形他才是摘本说案栽作俱案谅人甚。⑥当谱且斯仅械当被群告挠人齐犯节罪弟的欠证删据夹充词分谁确秃实乓，则可祝认派定汉该棒被行告阅人摔有洗罪聚。⑦并冬非所恐有挖去制过科作璃案傅现射场敏的喉人际都宅是难作述案再人婶。（携二驰）语逻培辑耳结帐构1度.逻痰辑毅变嫌项支污命缩慧题（c击o猫m虽p呀o敬n旗e穷n练t检o焦r帖s拥u葵b柳-槽p烈r组o谈p穗o界s蔽i济t潮i装o假n）作纲为孟复另合达命仿题走直啄接曾构益成遣成脖分份的汽命喝题记硬作乞：p，q，r…天…；p驴1，p巩2…飞…p束n（小许写晃字混母）2诉.逻断辑巩常哨项逻致辑绒联欧结属词拍（l葬o剥g凡i公c族a券l饲c李o肠n锄n仍e戒c悉t象i沸v我e）:联矩结饥支斑命讲题堤的恋词虚项盖。（丽三骂）们常踏用师的贡逻里辑拌联垦结厨词联已结毫词浸名咽称妖符利号倘表通示极与胸支详命咸题宜构钳成的戴命硬题宁形知式并鸡且合垦取巩词∧鲜p似∧帐q或嗓者析求取筐词∨拾p悄∨厅q如非果愉，伸那迅么蕴南涵衫词锤p姻食q只纤有疗，京才逆暑蕴乔涵贡词饺p稻巷q当痒且饺仅贱当等师值毛蕴闷涵愿葵p招减探q并遥非否仗定街词¬烈¬速p二割、返复蒸合呢命植题贯的赶真瞎假悔值伐（t聋r欢u柄t堡h例v竿a砖l届u陶e）复拦合钉命兄题极也对有迈真没、案假懂两冲种开逻类辑多真画值彼。一猜般烤而搭言咳，御一赢个悄命舍题毁的怒真恭假馅值隆取群决帖于坡其连是尘否变与坝它址所祝反絮映充的颈客邀观损实理际必相酷符忽合庆。盏若垂符础合共，繁则唤真宏，辅反咏之阀，眯则键假誉。例斧如：花“吹甲炉是神济耀南负人筹，收并码且港乙纺是挠济努南念人棵”辟这杆一臭命白题枕的摧真障假静，竭就谋取沫决油于映它赴是穴否串合裁符潜实香际锄。第脆二窜节视复谢合责命身题叙形跪式鸟及柴其肉性岩质一荷、逃联贵言弊命息题虹（c巷o桨n圾j捡u碑n市c尸t狡i究v态e腐p次r考o聋p共o西s煤i怕t摄i尸o教n）踪蝶（合说取挨式）（袭一挪）除联迎言觉命辈题芦概切述1话.定占义邻：知反乒映亲若迎干升事榴物狂情组况同榜时滥存圾在的予命矛题例：丙张足某掀是逃一辞名恩律侦师暮，并聪且张亲某悔是些一怨名娇共跳产和党谣员因。2托.结底构液：区联瓦言糖支痕（若陈干伪情黄况）迟；匀联凯结敢词愁（同陵时屈存冰在）3袋.公设式护：p且q且r君p∧q∧r（合稻取搅式）备（c黄o后n泼j副u稻n同c多t轻i驰o沟n）其柿中：p、q、r为攀联央言愉支怀；宰“∧”恐为喝联猛结散词章。4尸.自袖然薄语坏句均：厘虽旨然侮，格但姿是寻；肾既示，孩又伟；乎不播仅碌，将而是且贺；切尽尚管途，旁可屋是箱；加逗侦、定句猪、桂分认号过。例：嫁张锦某荒去喘过惊作跟案编现水场街，炮而烤李浙某门没谦有警去坛过峰作勒案那现弊场刮。例关：物酷美黎价态廉末＝伪这浆件仗商耳品勉质破量乱好筝而洋且来这浙件研商界品览价灵格而便侧宜情泼况谣组湿合秃符对号轰物灰美副价忌廉闪之羡真材假1积.物我美授价玻廉p徒,蝴q真t2杆.物馅美捎价槽不浓廉p把,¬q假f3并.物膨不别美加价下廉¬p旺,优q假f4向.物酱不串美熄价现不阶廉¬p肤,¬q假f(二)联俘言躺命到题犬的似逻钳辑商性忙质：（逻阻辑垃值）p

qp∧qTTTTFFFTFFFFp∧q的疲真伍值耐表逻倘辑声真能值：瓣支像支节真蹲，∧真勿；努任飘意鞋支宿假骄，钥则∧假舟。课热堂讨练静习聋一若标联映言疮命暗题输（p∧¬q∧食r）顷为药真你，件那喝么向可歇知绍：①¬p为煤（姐）②q∧鼻s为械（母）③r∧¬t为微（扁）二罗、块选坛言社命糕题派（d山i硬s慈j圈u柿n奖c似t传i益v洋e哨p笨r芳o坊p爱o拐s缩慧i票t含i贯o春n；a佩l滴t咽e述r凤n萌a喷t虫i扬v桶e适p幕r务o界p致o权s茫i说t耳i金o晴n）1孩.定诸义敢：旱反沿映捐若鸽干宜可胖能井事庭物俯情造况见至赞少仆有料一蓬种慨存绘在惩的渠命膨题靠。例：①或歼者赏提蚀拔妈小钢王切，迹或俭者诉提传拔择小市李刑。韵（相未容）②张浩某写要席么虎是爹自漂杀饰，料要渴么雁是蛾他聋杀者。订（不影相波容）区修分跃的绞关隆键：省具浇体径内败容畜的育客克观掠的止相吴对麻关窃系贝（同由时指存粗在假？）2滋.结腰构俯：会选忽言伍支深（它若纠干拘可酒能包情评况连）汤；联肯结曲词刘（动至痛少祸有奖一注存患在待）（通一铜）袍相控容策选个言车命寇题（析舞取骡式）裂（d抵i瞒s宜j常u厅n赵c莫t撑i窑o西n）1直.特铅点溉：这选贡言棋支可劝同将真2专.结帮构笑：p或qp痛∨滴q拘(往“∨”为泻相移容浮析以取)其晨中院：p、q为蜘选俘言哪支烤；“∨”为酱联识结膊词跃。3味.自艇然磨语惑句虚：石或碧，他或劳；串可置能萌，枯也买可乒能尽；既也霸许看，话也逮许贫；据至葱少钢有叙一…例：屿该驱案承可肠能沾是馒内嘱盗防，茫也姿可办能荐是饿外吴盗吴。4滴.相素容以选瞎言朵命构题谦的捧逻购辑凶特恼性费：例：毁“瓜此念报待告爱或传材遗料绕不泪可转靠膛，熔或拌计冬算字有悼错袭误蝴”情齿况东组从合熊符质号池命码题纵真困假1碌.不茄可悲靠抽有巷错远误p释,盟q真t2及.不酷可皮靠佛无耐错供误p浪,¬q真t3叶.可趁靠溜有阀错廊误¬p认,胆q真t4仔.可百靠身无穿错藏误¬p非,¬q假fp

q

p∨qTTTTFTFTTFFFp里∨划q的盾真秘值练表逻短辑怪真壶值：票支喊支仆假腹，∨假翠；嗓任期意琴支湿真锣，造则∨真课涌堂同练雄习英二若们选巴言芦命木题馅（p绒∨裁q郊∨¬r）昏为收假锻，编那梯么椒可盐知崭：①¬p∧油r为案（均）②q纲∨狱s为眼（订）③r洒∨散t为骡（若）（需二掘）叠不旨相含容触选罢言塌命朽题1地.特搬点忽：碎选严言更支不灯同肠真例：搂此工行衰为刊要始么东违线法硬，册要疮么帽不寄违债法授。2巩.结修构专：蜜选钉言票支境（可素能扔情俗况）讨联稼结挡词敌（不凳能电同晋时敌存活在）3绞.公券式体：肆要扇么p考,要啊么q丹p球∨工q屈∨别r（幅∨镰为息不湾相余容陷析纽奉取御）葡其略中蔑：p、q为扭选梨言柜支胳；悼“如∨兔”掉为走联域结伤词停。．····4逮.自未然爷语善句泼：流不递是洞，屑就摊是蠢；饱或银，未或句，券二呆者碎不拨可似兼舟得道等例课：或争者盲是京鱼末，弱或摔者崭是盆熊沟掌庭，俭二绝者确不蛋可粱兼卧得完。情劫况泉组掌合仓符拢号绿命表题泪真捡假1兔.虎葵死弃，含松绒死p迅,突q假f2貌.虎彼死脑，饰松种未辰死p确,¬q真t3庙.虎扯未易死毫，瓶松赛死¬p受,废q真t4挠.虎东未载死但，滔松汗未津死¬p币,¬q假f5崇.不半相芽容隔选去言诵命驰题将的因逻籍辑都特晚性誉：例：飘“屿要郑么蛮武灶松纱打惹死别老冲虎丑，加要恼么唱老螺虎佛吃弦掉茄武趟松岭”p

q

p∨qTTFTFTFTTFFF···p用∨解q的鲁真理值盛表真皇值可：犹至芹少本有拔一惠存呀在崭，胡但顿不道能灰同劝时抚存锐在蜘即室至钳少角且齿至碌多届有望一质存乖在藏，献也底即钱唯指一态支烂真胃。狭唯蜻一麦支别真∨真（台三样）矮选岗言技支谈穷步尽翻问汗题（父应兔用丹）定古义：逮就齿是换指妇选芝言确命询题瞎的烤选册言桐支纠是割否蒸反华映幅了咸事顶物壮情咳况眠的植所误有淋可尚能敢。壶如忙果崖反士映挺了拦全很部塌则皱是爽穷究尽获了诱；护否怨则拔就绍是坛不派穷走尽传。选挖言该支腾穷果尽申的饶命纱题徒一皆定臭是啄真越命堆题橡；残但诞一卧个糊真破的假选赶言蚕命为题同不柴一凳定萌是批选珠言辜支瘦穷恰尽绍的唱（湖如帖有杰特稿殊找的胖限瞎定午）（醉四瓣）唇联纪言帅命掠题幕与篮选淋言刚命摊题旧的贤等扶值俊转泛换（争德·摩墙根彩定且律哨）根脖据惰定爪义店（性砌质）仁可今知超：（喜借赠助从负受命参题加）（p或固者q）揉是膝假亮的关→印并鬼非腐（p或碌者q）由赴真手值助表查可爸知砌：p是兼假活的涂并洗且q是络假驰的轰。所竿以兔：跃①¬（p∧q）火（¬狸p∨¬榴q）②¬（p∨q）图（¬今p∧¬赖q）三认、节假越言梦命虾题1歇.定朝义数：斥反芽映一吗事跳物煮情头况是另勉一版事荣物歉情荐况的存奋在笔条潜件的勺命爽题辨形阵式却。2愚.结佳构：假协言乡丰支（前价件、后先件）肆和联痛结自词例领：菌①如象果一普个奥人译患港了献肺解炎，那详么他畏一敞定缓会光发万烧。②只多有坚吹持粉抗晓战，才左能打壮败乱侵涌略筹者。③当坏且盟仅役当某乒人踩是帆党绪员，他设才烟交嗽党想费。命戚题阅真泥假冷的您关桥键板是冒前储后借件非关政系亮是随否师反良映缸两铺种硬情框况美之蓬间适的条哨件仆关压系。（哄一锁）蒸充慌分即条州件闹假夫言钱命村题1诞.定浮义狱：悼反诞映一劲事盟物玩情踩况是另哄一欣事坊物半情圣况存幸在寻的客充斯分妥条跨件的傅假或言悦命殃题该。例瓶：秆①确如披果贴构冠成到犯米罪缩慧，荣则勤必剖然挣会挽受仅到珍处倚罚棍。②嫂只诵要右某吸人风是提杀复人敬犯驰，雨则楚他限一雷定慢有怎作典案扇时情间自。问右：掀从珠上河例条可消看能充饲分改条罗件继的羽特剖点向有锦什适么和？充表分简条什件辰的四特毒点1待.芹p，q；2至.¬p，q3授.¬p，¬q；4促.从醉未响有p而¬qp是q的充哈分日条卧件—接—根帮据1、4，诉则餐有p必乱有q；岁根悄据2、3，词则史无p未居必腿无q实各质：碑在盗于版仅漫仅弯此撞一哀（给组逢）讽条涂件午就阔足易以火产识生贩相句应宴的继结当果美，逆无栗须绍考距虑宗其皂他蜜条询件河。2天.结肌构既：紧若p则q；p啄叔q（详读海作出：p蕴损涵q）3葵.自系然爷语勒句矩：衰假提使朋，蓬那茎么似；结倘苗若须，农则工；侄只朵要龙，弟就爸；朽要画是孩，劲就巧；苍当趋，辈便加；漫一检旦灵，贸就勺；阅如五果跪，虫则4暮.充悠分怒条粗件咏假摇言愁命嗓题愈的益逻概辑泡特帽性例才：如拉果彻构橡成土犯河罪运，黑则冰必足然常会诱受待到曾处翻罚彻。情佩况求组名合驱符阔号瞎命嚼题山真挽假1秩.摩尿擦井，哄生揪热p杀,帆q真t2暖.摩你擦系，镜不往生倍热p智,¬q假f3晒.不禁摩好擦挎，侵生酒热¬p间,菊q真t4脊.不仗摩逮擦套，贪不捎生裕热¬p形,¬q真tp

qpqTTTTFFFTTFFTpq的砖真统值拔表真久值：鸦前鼓（暮件绢）特真撑而刺后权（蜓件吃）受假喉，香则哪假前戏（奔件印）匠假框，帖或消后津（颈件佛）漆真志，廉则惧渴真如彩何尤理继解粉充催分酷条狱件恒假皂言什命掘题澡的存真烤值一套、第从真有值岗角裂度理绵解p鸣q是熟否盾成用立驶，宰只逝考咱虑p、q的腊真宰值，更不资考畏虑p和q在桌内踩容拖、图意蚁义娃方伐面爸的品一神切直联拴系。二拔、少日蒜常香用纹法罗的启经对验贺根奇据名或帽基户础很隐多单人树不统理返解乐“解当p假蜓或q真萍时份，p维q真签”?下梢面烟我林们坚通趣过仇例远子螺来猴理兆解赚：（1）新如游果偿克贯林候顿箱是驴美摘国慢总清统联，罩则护卷膨心施菜灭是夕蔬馋菜喇。（2）暂如真果2＋2溪=僻5轻,则透雪剑是牧白美的功。（3）饮如炊果2＋2蚕=砍5投,则粗雪朋是烈黑促的停。按低照让真星值控表鞭，约这心些沉命分题镜都陪是芦真盐的邀，鞠但泳怎姓么灾理趟解丛？确当瞒我棒们乱在稻（1）纵之烧外铜再歼补主充依一问个贡命遥题定：（4）如螺果英克限林挑顿固不费是民美迷国躲总稍统求，山则节卷含心钩菜或是各蔬遭菜义。这纪时冈，诱（1）议的续奇秀特浅性满就智消节失大了怪。己（1）踢和丽（4）缸加年在赏一醋起戴的夜意四思骨是钥：辉不吩管雪克悟林机顿变是颠不旷是花美膊国练总孔统朴，纤卷厕心像菜设都痛是矛蔬怜菜济，能也艇就挣是负说离，后根者与前嘉者没边有僚关育系。同奇样烧，当抚前倦件伐确只实局为至假时绞，疏无碧论丸后诊件假是犁真支是衔假耐，腾都请不严会团出坝现渗前术件抓真尤后叶件持假轧的块组刻合立，闸相谜应境的帅蕴网涵优式惕也高总晨为俱真侍。例皆如：床一厌个穷口光秆蛋说醒：（5）如收果警我犹有选一产亿扛美田元坏，匙我甲将警分遇一嫁半钓给劳你村。迈他祥也务可裹以自说（6）如徒果板我闯有才一尽亿壳美驼元湾，栋我脊不提会变分理一疤半脊给邻你箱。笼由姐于疼他廉身埋无加分轻文救，前方件报总笼不妙满弟足，喂他服的向话有永厦远袄不门会香被帽证量伪韵，靠总父是很成饮立件的摸。蔬我吗们糊只还能悼说狂他岔许病下逗了蛮两吗个枯无贺法习兑速现穴的增诺个言受，刚而验不博能给说片他馆故嘉意脉撒周谎桶，坟说马了划两巾句我假敲话序。因障此搬，逗当P假壮或q真捡时兽，墙不步管p和q是瓜否夹有偏内呢容肤、规意独义晶上笨的奖关忠联睬，链相毒应匙的柏蕴蹲涵做式穿总弄为陆真同。并爸且拖，撒这管些核蕴合涵偶式阵有绒时用还朴有秋语衣法偏上选的坛修麻饰研作拣用天：当p假q也碍假时凤，链相父应乱的睁蕴夫涵鸦式p怠q只延不系过俩是p假融的倚强裳调钉说毁法常。果以册（3）铅为丧例夜，殿它泼只挥不起过隐是岂强良调奇“2＋2截=芒5”叮与我“劲雪撤是预黑佩的挣”资一拘样拦荒浸谬争。三判、蹦一佳般胡例股解刮析条狗件防公腿式券：别如枕果x气﹤章2，把那随么x晴﹤虾4对澡任考一x都搏是申真对的布。着我躲们蝇来煤看和数1、3和4，师依观次蜂为内它顷们摇中械的姓每属一科个谋代锻入胶这链个暮公类式刊中壤的逝数喝字训变谢项x，说可诉以波得匹到：（1）起如孝果1蒙﹤括2，鹅那忌么1途﹤雀4；（2）移如岔果3里﹤胶2，靠那岁么3勉﹤轿4；（3）狸如宣果4钢﹤姐2，轮那装么4仍﹤怨4。当型然有没末有阴小屋于2且红不兼小纽奉于4的紫数谢，篇也铃就降是族说拆没董有柜前她件秃为脚真梅且努后浑件枯为忙假厉的股真确条傍件却陈颗述梯。。（歇二亚）风必领要堪条时件达假路言篇命锅题1花.定太义龄：斤反浮映一卡事众物雪情朴况是另拼一翁事矿物循情芳况存窑在窄的必镜要伍条石件的管假盆言告命慢题营。例：左①竭只夫有遥构迁成迹违安法演，特才溉能臣构串成泻犯母罪束。②脊公迷民资只职有片年挑满1粗8岁先，绑才任有绕选工举足权胃。问类：继从踏上悔例刃可科看围必铁要祸条牛件盘的浑特咱点弟有颠什丙么拐？必蓄要掀条勒件扩的吵特互点恋：1催.骡p，q；2晶.p，¬q；3等.¬p，¬q；4矿.从亡未芳有¬p而qp是q的必作要垫条抖件—羞—根嫁据3、4，驻无p必侦定致无q；嫂根州据1、2有p未意必促有q。实登质：蛇在孤于将仅贴仅去缺愿少昌此吹一炉（访组扩）漠条珍件遣就诊无余法率产伐生眯相枝应读的丘结验果俘，议即吵使五其僻他弦条卡件伟具脂备猎。2通.结泼构可：婆只墙有p才q；p战辨q（业读期作寒“p逆沈蕴要涵q”共）3晋.自逆然绒语惰句伤：袭只仍有挡，马才悲；惹除潜非督，栏不礼；想没宪有店，瓶就痛没与有口；4爹.必呆要恼条存件坛假酒言介命霜题泪的渗逻姑辑苍特齐性终：例：巩只到有蜻一猛个兽人觉年符满1驼8周誓岁致，啦他五才酬有蝇选图取扇权情声况盯组示合甩符张号僻命弦题测真冈假1膜.年化满1埋8，采有暂选去举委权p存,柄q真t2尊.年抄满1行8，殖无骑选钟举世权p郊,¬q真t3昏.未乡丰满1偷8，复有拔选满举案权¬p芒,戚q假f4显.未堵满1沫8，滨无扭选摧举刚权¬p清,¬q真tp

q

pqTTTTFFFTTFFTp相q的救真雕值取表真含值守：前去（处件枣）寒假袖而船后搞（秋件拥）廊真要，货则砖假前扩（弓件斥）哲真拌，摘或毯后序（富件如）想假详，麻则穴肥真（杰三编）薄充鞋分喉必侦要束条阳件轿假援言鲜命警题1盒.定些义议：药反何映一猪事给物使情雁况是另蜓一湾事坐物乎情崇况的凝存粪在向的充博分梅且艇必匙要狭条绪件命谅题但。例：记①端当国且杏仅炉当旦公毕民灭满1桃8岁再，廊则舅是早成续年刑人跟。②轮当吗且缓仅班当养三谋角针形雀的繁边猛相趁等熊，辈三犬角凤形娃的辆角积才藏是睡相觉等镜的冰。问使：薪从禁上嫌例美可改看柔充慌要市条薄件酷的矩特肚点钟有户什凉么回？充元要洗条数件的能特符点鄙：充坑分丘条手件：始有p必肥要q，短无p未揭必稻无q；必境要全条端件：单有p未再必寸有q，禁无p未画必怪无q匆—洋—充猪要炕条此件：略有p必侍有q，漂无p必躲无q（p等错值下于q）2劲.结袭构旧：简当播且托仅货当p才q；管（读商作混：p等危值扑蕴蹄涵q）3妥.自没然枪语否句明：适当敌且旅仅屿当久，颤则臭；缴如镰果葵，下则夏；怠如蹄果怖不轧，恒则阅不情暗况榨组绣合千符监号委命中题毒真悟假1瓶.偶预数棒，衫被2整余除p隙,洗q真t2碌.偶域数度，似不砖被2整白除p葡,¬q假f3险.不恩是燃偶忙数敞，梯但经被2整淋除¬p半,拘q假f4级.不残是熟偶剩数颜，武不雷被2整清除¬p四,¬q真t4梢.充亦要蜻条搏件蔬假馅言挺命却题蜡的元逻卸辑列特萝性断：例：范当暑且研仅凝当六一河个芬数苏是碎偶盼数沟，矩则罢它盈能沙被2整肺除菊。p鞠q的盗真装值询表p

q

pqTTTTFFFTTFFT真舟值：前啦后垮件售同照真拖假沟，天则令真随蜡堂惕练证习炊三试瓦分愿析助以尚下浸命袄题旨属久于出何颤种飘假耐言某命炼题林？1形.不萍入查虎锦穴碰，煌焉本得启虎答子练？2湖.只撤要康某峰人既构漏成迹间繁谍艘罪抄，枝那宾他颂就黑有告危肆害型国蜓家俩安忘全之的怜目傻的糖。3劝.一炉个新三仰角碍形藏是翠直守角束三典角随形舟当狐且英仅梢当即它慌的苍斜源边险的对平蚂方渐等个于圾两咐边奸的壶平小方楼和如。4哭.他沙犯相了励罪驴，另应穗受呆刑撤罚语处霜罚烤。5枣.某常甲所是滴中隶国笔公距民妙，回他轧具船有敞中蔽国冒国拖籍返。第恶三室节踢复培合肉命胸题粥等想值骨式牧及吐应校用一赴、宗负期命诵题亚及推其织等废值即式（推一姑）勇负蚕命逢题秘概都述1克.定夹义盾：缸否堂定深某劈燕个断命罩题仍的塌命患题2头.结渴构紧：齿并叙非p；¬p（网读峡作涉：并箱非p）3升.自诉然暑语拆言治：毛并他非荒；蚊并更不局是悉；嚷是纳假吴的宰；姑是选不摄对乳的4接.负灿命娘题忙的期逻档辑跪特啦性例：并嗽非所向有亡的吗违屯法可行嘱为们都纵是西犯傅罪搜行放为肢。¬pp¬pTFFT¬p的肚真驳值宪表p¬p¬桂¬pTFTFTF¬客¬p的捡真殿值伴表逻估辑变真演值曲：陡负矩命府题枪真遮，彩当驱且桃仅横当膝原叔命登题块假因榨此绝有双亩重朗否寨定滩律：p愉¬瘦¬p（捐二敞）株负喂命洋题拳的够种拐类1亿.性蜡质舅命碌题跟的兵负声命肃题释及牲其林等用值工式（1）S荐A阀P停:¬涨S迎A触P武踏S狼O林P（2）S层E上P敲:¬颂S滋E弯P牲固S度I白P（3）S辉I仓P玻:¬欧S肺I迟P虹姻S袄E鼠P（4）S幅O者P失:¬海S午O华P犹参S侄A际P（5）S页U过P卷:¬躺S唇U害P盖效S筝V新P（6）S排V唐P瞎:¬奋S谨V肺P这雄S承U吼P注奖：妖“等佣值闸式”全又浅可独称丹作滥“等肾值皇推比理”2病.复沫合尿命付题矩的开负阶命森题掌及获其腥等派值念式宰（负等值值蔽推食理颈）（1）猎联窗言拨命躲题损负螺命苦题饼推摄理¬（p∧q）经时（¬p朗∨¬q）（声否约定允合柿取旧得晓析停取殿，剖分尸配蝇否坐定悄到眨变将项雕）（2）秩相催容呀选索言爹命形题色负晚命泽题早推呜理¬（p∨q）鹊肌（¬p穗∧¬q）（命否夕定谢析妄取格得次合浅取钞，汗分中配桨否塑定侵到扭变轧项类）（1）撇、失（2）励又萍叫德持摩玻根拐律（3）族不励相君容坦选烂言嫌命婚题枪负暂命跑题臣推蔑理¬（p∨q）捆吃（p∧q）∨(¬p∧¬q）（4）驰充糟分薄条虾件疗假懂言踩命效题娘负君命崭题累推长理¬（p斥q）宰荷乒（p限∧¬q）·（5）割必刊要裁条羽件牌假业言姨命宪题客负叮命眼题尘推柴理¬（p筋q）限笨牙（¬p耍∧货q）（6）录充夜要犁条果件杨假饲言嫌命持题谋负绑命挂题摸推去理¬（p版q）薄非（p岗∧¬q）袍∨厌（¬p面∧目q）（7）寨负筑命组题愈的抵负日命伤题乖推捐理¬（¬p）桥秩p二垮、理假筝言雕命促题墙与补其蝴他俗命姻题闯形讽式音间饼的舍等昌值捆转颜换敌（丑等体值促式锦）（慢一晶）讲与兴联京言袍命范题补间袜的脾等后值绞转段换召（峰等悦值颜式缘瑞）1港.¬（pq）海(污p备∧¬q）2签.该¬（p绕q）律泪全（¬p兵∧忠q）（戚二双）丙与徐选差言柜命锄题榆间嫌的慌等插值宫转计换薄（端等持值层式捎）1衣.（pq）圆幻玉（¬p∨q）关（荣蕴洒析扮式敌）2挠.（p因q）墨屡施（p∨¬q）3孩.逮¬（p纯q）恼清（攀（p夏∧¬q）妻∨愉（¬p令∧姜q）李）4嗓.（p抛q）唱万（态（p∧q）杀∨谢（¬p∧¬q）醉）（约三巨）李假遗言胸命挨题约间狐的魔等才值秤转命化倍（便等市值扇式税）1质.（pq）隔懒（q坏p梳)雀(¬q¬p)蹈广（¬p¬q）2赌.（pq）龄介（qp）捆(¬p¬q)互理（¬q¬p）3韵.（p桌q）慢（pq）∧（qp）尾（pq）∧酬(¬p¬q尘)侮（pq）∧生(p牙q姜)厦…斤…三蛮、夫多费重绑复贯合唐命剂题翼及疾其滋等严值置式（衬一还）毒多焦重杠复捷合圆命免题法的叛基习本筛特零征1幼.定演义限：成至祖少巨有软一灿个傅支疯命驶题莫为纲复控合赠命鸣题载的脆复捎合虫命授题哥。忙即骗变梅项钱为便复祸合拖复钞合逮命阁题抚的律复亚合鬼命荣题猎形瓶式胳。例：啦如册果紧自陵己染不歉督析促侄自乐己朽（p）宪、脚自匹己屋不况严谦格明要佩求宇自屋己饭（q）,那阶么敏即菜便嫁请候一父百孔位萌老仍师盟来里管梁束押你群（r）鼓，坡他简们获也锄是兴无含能嗓为橡力验的佳（s）解。（p∧q）嫂(细rs增)2齿.逻叛辑遮结我构（1）舅逻袖辑觉变顶项淋：呜支得命各题（2）服逻吸辑洁常党项撇：暖联皱结娃词主甩联己结腐词：备整揉个展命头题延的监逻哄辑缘瑞联阵结寻词绣，凉它毒决再定润着尺整盘个猪命旱题困的刷逻印辑离性堡质墓和票逻决辑抽特柴征架。从关联获结丹词：妈支瘦命步题沙中团的庄逻如辑鸣联屿结烦词枕。例：聚（p∧q）姨r“”添是逝主片联唇结衰词安“∧”蛋是当从厚联汽结岂词3被.主冻要铲类旅型塘：联身言灶型脊：剧（…）∧（…）选受言萍型评：判（…）∨（…）充右分触条查件费假听言似型：念（…）（…）必静要纹条伐件场假娘言析型：（…）（…）充惑要缠条跌件拦假炉言绘型：（…）裳（…）负透命漫题皮型：¬（…）实照例莫分妄析：如吼果一贩个牛由贝若梯干扮前斗提父推身出微一涝个提结第论凯的饥推律理叛是佣有耳效贴的昨，那范么若差结絮论并为蒜假秧，则至饿少许有海一钳前烘提灾是吐假亩的木，再庭知诸道其蚀中律一丽前茅提孙是换真技的拥，则剩察余挠的舰前疤提疾是罩假期的掘。随毕堂悠练养习：一臭、嚷如曾果允“冤鱼浓和震熊近掌榆不麦可妇兼午得榜”管是帽不售可闪改观变迹的凤事般实货，琴那夺么晴下驶面需哪欲项房诚一驶定抓是铁事广实西？样（尖）A殖.鱼能可画得障但宅熊妈掌治不潮可烘得片；B猾.熊召掌下可谎得料但型鱼师不僵可迷得票；C吓.如鱼果惑鱼治不捕可养得玻，绪那吗么习熊怖掌周可毯得怜；D址.如察果贼鱼香可矩得末，幕那押么圈熊杜掌萍不疗可能得才。二驴、横“支本坏案金不乳可摇能塑既艘不俊是促图缠财遗害营命纹，漆也已不泽是落情罗仇厨杀鸦人差”油等打值接于业（扇）①右本孟案骂既脖是样图稿财繁害糟命拿，壤又扩是街情叫仇毅杀匆人捞；②址本蜂案肥或砌者厅是态图递财凤害芝命震，片或针者慨是初情肉仇拥杀渔人贿；③让如促果轮本均案把是触图鱼财病害慰命丛，横就立不素是票情穿仇溪杀凤人俘；④赛只刚要都本姻案勾不悄是范情法仇词杀者人枪，舞就奔是司图值财详害蜂命张；⑤利只辱有垂本势案以是惨图迎财唯害债命们，汽才珍不呢是仓情脸仇龟杀染人躁；⑥舒只午有倘本城案忙不制是嘱图斤财足害惠命么，弊才冻是围情炸仇东杀范人费；⑦堂如连果哑本懂案糖不打是墙图荐财侧害陶命克，神就牺是枪情组仇垦杀咸人摸；⑧聪只巷有兆本扁案贿是须情寺仇撕杀爆人铜，静才司不罚是端图艘财辰害松命食。第泳四蓬节殊命旷题诊的茫真兽值桃判包定喷方毯法一创、冒真尽值产表脱方固法1膏.真踢值述表粒的谣作售用定拌义建作痰用：五辆个惜基矿本浩真垦值讽形忘式旅的肝真鄙值简表留定坊义雷了即五防个末真凝值自形讽式挽。时如枕，绪什视么宰是术合象取踪蝶式桥？认回剖答疮是滨：团每捡一目支吴命毯题肥为侦真追，症则帜它砍为摆真廊的吓那挂种脏真哪值太形绍式购。判陷定踢作收用：（1）城判各定险一铅个蜡公馋式脚的赤性茄质糊（节重绒言要式委，谎矛米盾朝式虹或径可迁满傻足属式积）吃；（2）品判施定彼任歇意遭多芽个毕公聋式线的威关舟系拆（哈等罗值构或匙矛必盾放等锹）其；（3）课判尼定傲一笋个驱推陪理史是射否毕有旨效捉，扰即丘它昂是框否离一穿个疫重零言雁的尼蕴戏涵愤式眠或伏等全值拖式港。2吩.真王值旗表京的殊作趟法分出解斥公雹式侨。巨把怎一驶复历杂违公择式谊分宅解敏为废支黎命携题眼和冤命焦题榆变丧项条。示如着：（闷（p∧暂q）r）乡丰木（奇（¬r∧p）¬q）先龙找寒到游主答联费结府词甜，呜即雄最巩大饲括筋号异外芽的欣联哗结亿词抱。疫蕴死涵止号得枕到（阶（p∧数q）孟r）疲和庸（¬r俩∧凳p）教¬q）再雪行坝分娘解,得盛到p∧朝q和r；¬r勾∧建p和¬q按馋变虚项结－翅最姐简透单鄙公情式汤－呜复辟杂授公惨式欠顺方序敌排桥列p，q，r，¬q，¬r，p∧敏q，¬r购∧肯p，（p∧海q）饰r，陆（¬r浑∧避p）充¬q，最维后伟是便总敲公栽式（跳（p∧灿q）乘r）寨繁（¬r引∧肾p）奸¬q）可治以突坚绝持一架条祥原渠则：愉一谅公坡式裹的州支毯命栽题胃在拦前榨，愤该钱公输式岸在源后旦，绪因摘此舍顺叉序货也前可振排冰为p，q，r，¬q，¬r，p∧损q，（p∧肌q）剂r，¬r军∧帜p序,（¬r面∧卡p）奔¬q，只麻要荷保劳证领，沈被疲判梨定朽的惯公用式趣的糊支砍命仰题装在瓜先扭已穴经谨赋兆值虹即庭可房诚。然卧后伟画双表携，抓先似画议一祸个日偏课十菌字毒或驾表纺格纠，刚将荣分钳解膝后露的劲公仆式炮成竟分穷由仇简安到刺繁挥写煎进厚表（版（p∧突q）熊r）律勿（坏（¬r米∧雀p）鸽¬q）箩的传真幸值床表肆作围法第抱一游步厅：煌分炼解吨公辩式阀，衣画选表3个溪变积项打，钩其闸真静假欧组谎合陶共寄有23＝8种佛可之能因亮此茫有8行糊；荡变贪项脱有3个椅，步整封个扬公出式防可觉分抵解秋为7部钳分某，酿共闲有1鬼0列赠。第龄二时步灭：嗽由牲简质到忍繁犁填凶入智欲六赋撤值谅的督公已式pqr¬q¬rp∧qp∧qr¬r∧p¬r∧p¬q(p∧q

）r）（¬r∧p）¬q第彻三兼步需：缘瑞给短变锤项棕赋怎值固（越技踢巧嘱：乐先靠给刻最绝后激一伐个所变村项竿按沸一炮真脆一俗假施赋仓值站，择再肚给埋第2个拦变傲项支按钻两精真惯两牢假皆赋绪值梁；颜再杂给患第呜一州个码变消项数按委四醋真那四祝假领赋幻玉值盒）pqrtttttftfttfffttftffftfff第葬四白步僵：锦依险次旬按活照5个凑基山本桨真岩值否形钉式葬的块真蚂值路表抖给泛每骄个例子制公异式竖赋受值pqr¬q¬rp∧qp∧qr¬r∧p¬r∧p¬q(p∧q

）r）（¬r∧p）¬qtttffttfttttffttftfttfttfftftttffttfttttfttffftfttftfftftfttffttfftfttfffttftftt第糖五缘瑞步崖：互根闻据作真犬值透表锋中响的锻总东公坛式缝即丙最抢后漆一援列若的盘赋挖值教，扔对寨公厚式温做骂出壳判傍定悟。此毯总柳公宽式蔽下伯每迈一迎行悬均堵为坊真脱，瞎故成该鲜蕴葬涵殊式纵为师重牲言以式数，次即亡一矛个副有太效驳推外理舍形雾式判孩定广多订个拖公尾式痕的纤性需质爹或泳关忠系pq¬p¬qp∧q¬

（p∧q）¬p∨

¬qp∨

¬pp¬qttfftfftftfftfttttfttffttttffttftttt1稼2伸3议4坚5史6定7妻8口9可嘴以也看猛出歉：第5列馆与丈第6列古取插值吼完医全计相爹反砍，竟二蹲者赌为滑矛孟盾蛙关捡系第6列显与秋第7列添取喇值袜完尊全夹相翠同逝，戒二率者游为脚等互值沾关挂系第6列欺与粥第9列缓取冲值丝式完暮全紫相卵同继