邏理葩說
本文作者：王宇軒老師
泰祺教育邏輯教研組副組長
在聯(lián)考的邏輯科目中，形式化綜合題型是十分重要的一種題型。形式化綜合在近幾年的考試中都能考到6題以上，可以說占比很高。對于考生來說，如果能夠掌握一些技巧，通曉出題中的一些套路，即可更加輕松地解決這類題目。
什么是形式化綜合？
首先，我們明確一下什么是形式化綜合。一般來說，形式化綜合的題目中，題干中會給到我們一些不確定的信息（即假言和選言）和一個確定的信息（當然偶爾有可能是多個），要求推出結果，解題過程中還會涉及形式邏輯之外的排列或計算。簡單來說，考生們可以理解為，題目中涉及到邏輯聯(lián)詞的綜合推理題，一般來說就可以確定是形式化綜合的題目了。
核心解題思路
碰到形式化綜合的題目，最核心的解題思路就是，將確定的信息作為起點，往不確定的信息（假言和選言）中代入，通過推理，得出結論。在此過程中，一般來說是將確定的信息往假言的前真或后假上套，因為套上前真或后假才能做出有效的推理。
注意事項
我們做此類題目時，需要注意，題目考查我們的是形式邏輯的推理，但是題干中常常會以一些其他的元素作為誘惑，引我們往錯誤的方向上思考。所以當我們做這一類題的時候，我們要抓住題干中的邏輯聯(lián)詞，盡可能形式化之后再做邏輯推理。
【例1】張立是一位單身白領，工作 5 年積累了一筆存款。由于該筆存款金額尚不足以購房，他考慮將其暫時分散投資到股票、黃金、基金、國債和外匯等 5 個方面。該筆存款的投資需要滿足如下條件：
（1）如果黃金投資比例高于 1/2，則剩余部分投入國債和股票；
（2）如果股票投資比例低于 1/3，則剩余部分不能投入外匯或國債；
（3）如果外匯投資比例低于 1/4，則剩余部分投入基金或黃金；
（4）國債投資比例不能低于 1/6。
根據上述信息，可以得出以下哪項？
（A）國債投資比例高于 1/2。
（B）外匯投資比例不低于 1/3。
（C）股票投資比例不低于 1/4
（D）黃金投資比例不低于 1/5。
（E）基金投資比例低于 1/6
在這題中，很多考生就被題干中的比例所迷惑，做法各式各樣。但是如果我們抓住連聯(lián)結詞“如果則“和第四條的確定信息，很容易就能將（2）和（4）結合，后假推前假得出結論”股票投資比例不低于1/3“，從而進一步根據數學得出”股票投資比例不低于1/4“，所以答案選C。
一些常見的前真、后假的表達方式
①
在這種情況中，“p”就構成了“（p∨q）→r“的前真，故而可以推出后真“r”。
②
在這種情況中，“非q“就構成了” p→（q∧r）“的后假，故而可以推出前假“非p”。
③這種情況我們用例子說明：對于假言判斷“如果一個人是江蘇人，那么他是中國人“來說，”小王不是中國人“當然足以構成后假。與此同時，”小王是美國人“也足以表明小王不是中國人，所以也足以構成后假。更進一步，”小王是美國人或英國人“雖然未確定小王是哪國人，但是肯定不是中國人，所以也足以構成后假。
在這幾種表達方式中，前兩種較為常見，并且也相對容易看出。所以本文僅對第三種情況用例題加以說明。
真題演練
【例2】某工廠有一員工宿舍住了甲、乙、丙、丁、戊、己、庚 7 人，每人每周需輪流值日一天，且每天僅安排一人值日。他們值日的安排還需滿足以下條件：
（1）乙周二或周六值日；
（2）如果甲周一值日，那么丙周三值日且戊周五值日；
（3）如果甲周一不值日，那么己周四值日且庚周五值日；
（4）如果乙周二值日，那么己周六值日。
根據以上條件，如果丙周日值班，則可以得出以下哪項？
（A）甲周日值班
（B）乙周六值班
（C）丁周二值班
（D）戊周二值班
（E）己周五值班
（1）乙2∨乙6
（2）甲1→丙3∧戊5
（3）非甲1→己4∧庚5
（4）乙2→己6
（5）丙7
分析題干中的信息，不難發(fā)現，唯一一個確定信息是丙7。根據題干信息，每人打掃一天，每天也只有一人打掃，所以丙7意味著丙不能在別的時間打掃，別人也不能在周日打掃。也就是說，丙7意味著：非丙3。將“非丙3“與（2）結合，后假推前假可得：非甲1。再結合（3）可得己4∧庚5。此時已有確定的結果，卻無法在選項中找到答案，所以還需進一步推理。己周四值日，所以”非己6“，結合（4），后假推前假可得：非乙2；再結合（1），可得：乙6。所以答案選B。
【例3】某大學讀書會開展“一月一書”活動。讀書會成員甲、乙、丙、丁、戊 5 人在《論語》《史記》《唐詩三百首》《奧德賽》《資本論》中各選一種閱讀，互不重復。已知：
（1）甲愛讀歷史，會在《史記》和《奧德賽》中挑一本；
（2）乙和丁只愛讀中國古代經典，但現在都沒有讀詩的心情；
（3）如果乙選《論語》，則戊選《史記》。
事實上，各人都選了自己喜愛的書目。
根據以上信息，可以得出哪項？
（A）甲選《史記》
（B）乙選《奧德賽》
（C）丙選《唐詩三百首》
（D）丁選《論語》
（E）戊選《資本論》
點擊下方空白區(qū)域查看答案
▼
