1、邏輯第七章練習題參考答案VII. 一、P240 （共 8 小題）【原題】一、下列根據對當關系所進行的推理是否有效？為什么？【知識點】 對當關系，邏輯方陣 推理的有效性2022/8/172VII. 一、1. P240【原題】有些人是自學成才的，所以，有些人不是自學成才的。【參考答案】推理形式為：SIP SOP。無效。因為同素材的 I 和O判斷是下反對關系，可以同真但不必然同真。因此I真時O未必真，由 I 真推不出O真。2022/8/173VII. 一、2. P240【原題】參加這次學術討論會的都是中青年教師，所以，參加這次學術討論會的并非有的不是中青年教師。【參考答案】推理形式為：SAP SOP

2、。有效。因為同素材的A和O是矛盾關系，不可同真，故2022/8/174VII. 一、3. P240【原題】并非一切中藥都是苦味的，所以，有些中藥是苦味的。【參考答案】推理形式為：SAP SIP。無效。因為同素材的A和I是差等關系，上位假時下位真假不定，故2022/8/175VII. 一、4. P240【原題】參加轎車展銷會的有些車型并不新穎，所以，參加轎車展銷會的車型都很新穎的說法不符合事實。【參考答案】推理形式為：SOP SAP。有效。因為同素材的O和A是矛盾關系，不可同真，故2022/8/176VII. 一、5. P240【原題】并非所有的辦公大樓都是五層的，所以，有些辦公大樓不是五層的。

3、【參考答案】推理形式為： SAP SOP 。有效。因為同素材的A和O是矛盾關系，不可同假，故2022/8/177VII. 一、6. P240【原題】有人說這個電腦商城有些軟件不是正版軟件。這種說法是毫無根據的。因為這個電腦商城的所有軟件都是正版軟件。【參考答案】推理形式為： SAP SOP 。有效。因為同素材的A和O是矛盾關系，不可同真，故2022/8/178VII. 一、7. P240【原題】既然并非所有的語音識別系統都能保證百分之百的正確率，那就是說，有的語音識別系統不能保證百分之百的正確率。【參考答案】推理形式為： SAP SOP 。有效。因為同素材的A和O是矛盾關系，不可同假，不可同真

4、，故2022/8/179VII. 一、8. P240【原題】經查實，這個班有個別同學上課時間到網吧上網聊天，因此，所謂這個班沒有一個同學上課時間到網吧上網聊天的說法顯然是不對的【參考答案】推理形式為： SIP SEP 。有效。因為同素材的I和E是矛盾關系，不可同真，故2022/8/1710VII. 二、P240-241 （共 5 小題）【原題】二、對下列判斷進行換質，并用公式表示之【知識點】 換質法推理2022/8/1711VII. 二、1. P240【原題】有些選修課不是面對所有專業的。【參考答案】換質：有些選修課是不面對所有專業的。公式：SOP SIP2022/8/1712VII. 二、2

5、. P240【原題】邏輯學不是不能學好的。【參考答案】換質：邏輯學是能學好的。公式：SEP SAP2022/8/1713VII. 二、3. P240【原題】有些戰爭是非正義戰爭。【參考答案】換質：有些戰爭不是正義戰爭。公式：SIP SOP2022/8/1714VII. 二、4. P240【原題】所有的事物都是運動著的。【參考答案】換質：所有的事物都不是靜止的。公式：SAP SEP2022/8/1715VII. 二、5. P241【原題】外資企業有些產品是在國內市場銷售的。【參考答案】換質：有些產品不是不在國內市場公式：SIP SOP2022/8/1716VII. 三、P241 （共 9 小題）

6、【原題】三、下列判斷能否換位？如能，請進行換位，并用公式表示之。【知識點】 換位法推理2022/8/1717VII. 三、1. P241【原題】任何有神論者都不是馬克思主義者。【參考答案】換位：任何馬克思主義者都不是有神論者。公式：SEP PES2022/8/1718VII. 三、2. P241【原題】有些勞動產品不是商品。【參考答案】不能換位。因為是O判斷。2022/8/1719VII. 三、3. P241【原題】有些魚類是卵生動物。【參考答案】換位：有些卵生動物是魚類。公式：SIP PIS2022/8/1720VII. 三、4. P241【原題】有些專家不是大學畢業的。【參考答案】不能換位

7、。因為是O判斷。2022/8/1721VII. 三、5. P241【原題】一切否定判斷的謂項都是周延的。【參考答案】換位：有的周延的（項）是否定判斷的謂項公式：SAP PIS2022/8/1722VII. 三、6. P241【原題】有些作品不是現實主義作品。【參考答案】不能換位。因為是O判斷。2022/8/1723VII. 三、7. P241【原題】唯心主義不是科學的世界觀。【參考答案】換位：科學的世界觀不是唯心主義。公式：SEP PES2022/8/1724VII. 三、8. P241【原題】有些商品房沒有建在市區。【參考答案】換位：有些沒有建在市區的是商品房。公式：SIP PIS2022/

8、8/1725VII. 三、9. P241【原題】有些電子產品是中國制造的。【參考答案】換位：有些中國制造的是電子產品。公式：SIP PIS2022/8/1726VII. 四、P241 （共 5 小題）【原題】四、對下列判斷進行換質位，并用公式表示之。【知識點】 換質位法推理2022/8/1727VII. 四、1. P241【原題】我們班所有同學都是勤奮學習的。【參考答案】換質位：凡不勤奮學習的都不是我們班同學推理公式：SAP PES導出過程：SAP SEP PES2022/8/1728VII. 四、2. P241【原題】有些大學生不是南方人。【參考答案】換質位：有些非南方人是大學生。推理公式：

9、SOP PIS導出過程：SOP SIP PIS2022/8/1729VII. 四、3. P241【原題】丙廠所有的產品都不是出口產品。【參考答案】換質位：有的非出口商品是丙廠的產品。推理公式：SEP PIS導出過程：SEP SAP PIS2022/8/1730VII. 四、4. P241【原題】沒有事物不是運動的。【參考答案】換質位：凡不運動的都不是事物。推理公式：SAP PES導出過程：SAP SEP PES2022/8/1731VII. 四、5. P241【原題】歌舞團所有的演員都不是大學畢業的。【參考答案】換質位：有的非大學畢業的是A演員。推理公式：SEP PIS導出過程：SEP SAP

10、 PIS2022/8/1732VII. 五、P241 （共 7 小題）【原題】五、下列直接推理能否成立？如能成立，請用公式寫出它的推理過程。【知識點】 判斷變形推理2022/8/1733VII. 五、1. P241【原題】從SOP真，推出POS真。【參考答案】能成立。SOP POS（完全換質位）導出過程：SOP SIP PIS POS2022/8/1734VII. 五、2. P241【原題】從SEP真，推出POS真。【參考答案】能成立。SEP POS（完全換質位）導出過程：SEP SAP PIS POS2022/8/1735VII. 五、3. P241【原題】從SAP真，推出POS真。【參考答

11、案】不能成立。因為：SAP SEP PES PAS而PAS與POS具有矛盾關系，不可同真。2022/8/1736VII. 五、4. P241【原題】從SIP真，推出POS真。【參考答案】不能成立。因為： POS PIS SIP SOP而SOP與SIP具有下反對關系，不必然同真2022/8/1737VII. 五、5. P241【原題】從SEP真，推出 PAS真。【參考答案】不能成立。因為： SEP SAP但由SAP到PAS是A判斷的簡單換位，不能成立。2022/8/1738VII. 五、6. P241【原題】從SEP真，推出 PIS真。【參考答案】能成立。SEP PIS（不完全換質位）導出過程：

12、SEP SAP PIS2022/8/1739VII. 五、7. P241【原題】從SAP真，推出 SAP真。【參考答案】不能成立。因為： SAP SEP PES PAS但由SAP到PAS是A判斷的簡單換位2022/8/1740VII. 六、P241-242 （共 5 小題）【原題】六、請根據換質法和換位法的規則，回答下列問題。【知識點】 判斷變形推理2022/8/1741VII. 六、1. P241【原題】從“一切真正的革命者都是光明磊落的”，能否推出“不光明磊落的人不是真正的革命者”？如能，請將這個推理過程用公式表示出來【參考答案】能推出。SAP PES（不完全換質位）導出過程：SAP SE

13、P PES2022/8/1742VII. 六、2. P242【原題】從“我們班上的同學都是不學日語的”，能否推出“學日語的都不是我們班上的同學”或”不學日語的都是我們班上的同學”的結論？為什么【參考答案】第一句能推出。SAP PES導出過程：SAP SEP PES第二句推不出。因為是： SAP PAS2022/8/1743VII. 六、3. P242【原題】從“不勞動者不得食”，能推出“得食者”怎樣？【參考答案】能推出“凡得食者都是勞動者”。公式：SAP PAS（完全換質位）導出過程：SAP SEP PES PAS2022/8/1744VII. 六、4. P242【原題】從“凡是正確的推理都是

14、形式正確的推理”，能推出“形式正確的推理”怎樣？又能推出“不正確的推理”怎樣？【參考答案】（1）能推出“有的形式正確的推理是正確的推理”。公式：SAP PIS（限制換位）2022/8/1745VII. 六、4. P242【原題】從“凡是正確的推理都是形式正確的推理”，能推出“形式正確的推理”怎樣？又能推出“不正確的推理”怎樣？【參考答案】（2）能推出“有的不正確的推理是形式不正確的推理”， “有的不正確的推理不是”公式一：SAP S I P（完全戾換）公式二：SAP SOP（不完全戾換）2022/8/1746VII. 六、4. P242【原題】從“凡是正確的推理都是形式正確的推理”，能推出“形

15、式正確的推理”怎樣？又能推出“不正確的推理”怎樣？【參考答案】（2）導出過程：SAP SEP PES PAS S I PSAP SEP PES PAS S I P SOP 2022/8/1747VII. 六、5. P242【原題】從“一切好的干部都是密切聯系群眾的”，能否推出以下結論：有些好的干部不是密切聯系群眾的。如能，請將其推理形式表示出來；如不能，請說明理由。【參考答案】（1）不能推出。因為是： SAP SOP而同素材的A與O具有矛盾關系，不可同真2022/8/1748VII. 六、5. P242【原題】從“一切好的干部都是密切聯系群眾的”，能否推出以下結論： 不密切聯系群眾的是不好的干

16、部。如能，請將其推理形式表示出來；如不能，請說明理由。【參考答案】（2）能推出。因為是：公式：SAP PAS（完全換質位）導出過程：SAP SEP PES PAS2022/8/1749VII. 六、5. P242【原題】從“一切好的干部都是密切聯系群眾的”，能否推出以下結論： 密切聯系群眾的是好干部。如能，請將其推理形式表示出來；如不能，請說明理由。【參考答案】（3）不能推出。因為是： SAP PAS這是A判斷的簡單換位，推理無效。原因是P在換位前不周延，但換位后周延了。2022/8/1750VII. 七、P242 （共 5 小題）【原題】七、指出下列三段論中的大前提、小前提、結論，以及大項、

17、中項、小項。【知識點】 三段論的定義、結構、公式 三段論的種類（格式）2022/8/1751VII. 七、1. P242【原題】經濟規律是客觀規律，客觀規律總是不以人們的意志為轉移的，所以，經濟規律是不以人們的意志為轉移的。【參考答案】結構：中項、小項、大項公式：SAMMAP SAP格式：（I）AAA2022/8/1752VII. 七、2. P242【原題】所有哲學系學生必修邏輯課，哲學系學生是文科學生，因此，有些文科學生必修邏輯課。【參考答案】結構：中項、小項、大項公式：MAPMAS SIP格式：（III）AAI2022/8/1753VII. 七、3. P242【原題】有些哲學家不是唯物主義

18、哲學家，因為凡唯物主義哲學家都是承認物質第一性的，有些哲學家不承認物質第一性。【參考答案】結構：中項、小項、大項公式：PAMSOM SOP格式：（II）AOO2022/8/1754VII. 七、4. P242【原題】瓦特沒有受過高等教育，瓦特是大發明家，可見，有些大發明家并未受過高等教育。 【參考答案】結構：中項、小項、大項公式：MEPMAS SOP格式：（III）EAO2022/8/1755VII. 七、5. P242【原題】魚是用鰓呼吸的，鯨不是用鰓呼吸的，所似，鯨不是魚。【參考答案】結構：中項、小項、大項公式：PAMSEM SEP格式：（II）AEE2022/8/1756VII. 八、P

19、242-243 （共 4 小題）【原題】八、下列各段文章中，是否包含有三段論？如有，請指出該三段論的大前提、小前提和結論。【知識點】 三段論的定義、結構、公式 三段論的種類（格式）2022/8/1757VII. 八、1. P242【原題】（1）命令主義是錯誤的，因為它超過了群眾的覺悟程度而凡是超過群眾覺悟程度的總是錯誤的。 【參考答案】結構：中項、小項、大項公式： SAMMAP SAP格式：（I）AAA2022/8/1758VII. 八、1. P242【原題】（2）尾巴主義也是錯誤的，因為它落后于群眾的覺悟程度而凡是落后于群眾的覺悟程度總是錯誤的。 【參考答案】結構：中項、小項、大項公式： S

20、AMMAP SAP格式：（I）AAA2022/8/1759VII. 八、2. P243【原題】凡是有水生生物化石的地層，都是地質史上的古海洋地區。喜馬拉雅山脈的地層遍布了珊瑚、苔薛、海藻、魚龍、海百合等化石。可見，喜馬拉雅山脈在過去的地質年代里，曾經被海洋淹沒過。 【參考答案】結構：中項、小項、大項公式： SAMMAP SAP格式：（I）AAA2022/8/1760VII. 八、3. P243【原題】凡是隕石墜地，一般是奇怪的是，在這里怎么也找不到隕石的殘跡。沒有隕石穿過的任何痕跡。隕石仍然無影無蹤。因此，許多科學家認為，這次災變不是隕石墜地引起的。【參考答案】結構：中項、小項、大項公式： P

21、AMSEM SEP格式：（II）AEE2022/8/1761VII. 八、4. P243【原題】當今，在前沿科學取得重大成就的科學家沒有一個不是在數學方面訓練有素的。有些年老的科學家不懂得數學語言，結果，他們無法在前沿科學中取得重大的成就。 【參考答案】結構：中項、小項、大項公式： PAMSEM SEP格式：（II）AEE2022/8/1762VII. 九、P244 （共 11 小題）【原題】九、下列三段論是否正確？如不正確，違反了哪條規則？【知識點】 三段論的定義、結構、公式 三段論的種類（格式） 三段論的一般規則 三段論的特殊規則2022/8/1763VII. 九、1. P244【原題】中

22、學生是在中學學習的，王英是在中學學習的，所以，王英是中學生。【參考答案】公式： PAMSAM SAP無效：（II）AAA違反一般規則：（二）違反第二格特殊規則：（1）2022/8/1764VII. 九、2. P244【原題】中子是一種基本粒子，而中子是不帶電的，所以，有些基本粒子不帶電。【參考答案】公式： MASMAP SIP有效：（III）AAI2022/8/1765VII. 九、3. P244【原題】共產黨員都要起模范帶頭作用，我不是共產黨員，所以，我不要起模范帶頭作用。【參考答案】公式： MAPSEM SEP無效：（I）AEE違反一般規則：（三）違反第一格特殊規則：（1）2022/8/1

23、766VII. 九、4. P244【原題】有些人是勞動模范，有些人是戰斗英雄，所以，有些戰斗英雄是勞動模范。【參考答案】公式： MIPMIS SIP無效：（III）III違反一般規則：（二）（六）違反第三格特殊規則：（無）！2022/8/1767VII. 九、5. P244【原題】海琢不是魚，海獅不是海啄，所以，海獅不是魚。【參考答案】公式： MEPSEM SEP無效：（I）EEE違反一般規則：（四）違反第一格特殊規則：（1）2022/8/1768VII. 九、6. P244【原題】我們班上不少同學是共青團員，有些共青團員學習很好，所以，有些學習很好的是我們班上的同學。【參考答案】公式： PI

24、MMIS SIP無效：（IV）III違反一般規則：（二）、（六）違反第四格特殊規則：2022/8/1769VII. 九、7. P244【原題】并非所有的唯物主義者都不是馬克思主義者，而沒有一個共產主義者不是馬克思主義者，因此，所有的共產主義者都是唯物主義者。【參考答案】公式： PIMSAM SAP無效：（II）IAA違反一般規則：（二）、（七）違反第四格特殊規則：（1）（2）2022/8/1770VII. 九、8. P244【原題】某電大班沒有一個學員不是北京人，某電大班沒有一個學員不是學經濟的，所以，學經濟的是北京人。【參考答案】公式：MAPMAS SAP無效：（III）AAA違反一般規則：

25、（三）違反第四格特殊規則：（2）2022/8/1771VII. 九、9. P244【原題】甲車間多數工人評上過先進生產者，甲車間有些工人是黨員，所以甲車間有些黨員是先進生產者。【參考答案】公式： MIPMIS SIP無效：（III）III違反一般規則：（二）（六）違反第三格特殊規則：（無）！2022/8/1772VII. 九、10. P244【原題】并非有的學術論文需要創造藝術形象，電影劇本不是不需要創造藝術形象的，所以，電影劇本不是學術論文。【參考答案】公式： PAMSEM SEP有效：（II）AEE2022/8/1773VII. 九、11. P244【原題】沒有優秀的文藝作品不受群眾歡迎的

26、，長篇小說并不都是受群眾歡迎的，所以，有些長篇小說不是優秀的文藝作品。【參考答案】公式： PAMSOM SOP有效：（II）AOO2022/8/1774VII. 十、P244 （共 3 小題）【原題】十、下面各題是幾個不完整的三段論式。請在括號內填入適當字母，使其構成正確的三段論式，并寫出推導過程。【知識點】 三段論的種類（格式） 三段論的一般規則2022/8/1775VII. 十、1. P244 【參考答案】【解】： (P)(A)(M)SOM S(O)P由小前提是特稱判斷，根據一般規則七，可知結論必須是特稱判斷。由小前提是否定判斷，根據一般規則五，可知結論必須是否定判斷。故結論必須為特稱否定

27、判斷，即：SOP。由小前提是特稱判斷，根據一般規則六，可知大前提必須是特稱判斷。由小前提是否定判斷，根據一般規則四，可知大前提必須是肯定判斷。故大前必須為全稱肯定判斷，即：MAP或PAM。由于結論為SOP，其中大項P周延。根據一般規則三，P在大前提中也必須周延。因此，大前提不能是MAP，而只能是PAM。2022/8/1776VII. 十、2. P244 【參考答案】【解】： MOP (M)(A)(S) S(O)P由大前提是特稱判斷，根據一般規則七，可知結論必須是特稱判斷。由大前提是否定判斷，根據一般規則五，可知結論必須是否定判斷。故結論必須為特稱否定判斷，即：SOP。由大前提是特稱判斷，根據一

28、般規則六，可知小前提必須是特稱判斷。由大前提是否定判斷，根據一般規則四，可知小前提必須是肯定判斷。故小前必須為全稱肯定判斷，即：MAS或SAM。由于中項M大前提MOP中不周延。根據一般規則二，M在小前提中必須周延。因此，小前提不能是SAM，而只能是MAS。2022/8/1777VII. 十、3. P244 【參考答案】【解】： (M)E(P)MIS S(O)P 或 (P)E(M)MIS S(O)P由小前提是特稱判斷，根據一般規則七，可知結論必須是特稱判斷。由大前提是否定判斷，根據一般規則五，可知結論必須是否定判斷。故結論必須為特稱否定判斷，即SOP由大前提是E（全稱否定）判斷，根據周延性理論，

29、其主、謂項均周延，既可以滿足中項必須至少周延一次的要求（一般規則二），又可以防止大項擴大（一般規則三）。故大前提可以是MEP，也可以是PEM。2022/8/1778VII. 十一、P245 （共 6 小題）【原題】十一、試分析下列省略三段論，要求: (A)指出它流程圖了哪一部分；(B)把它恢復成完整的三段論；(C)分析它是否正確。【知識點】 省略三段論的恢復和檢驗2022/8/1779VII. 十一、1. P245 【參考答案】【解】：從“因而”可以看出“（）都是能夠克服的”是結論，其主項（即小項）為“我們在所碰到的困難”。由此可知已有的是小前提，省略的是大前提。由于結論為SAP，故可以考慮按第一格AAA式進行恢復。即補充大前提MAP（凡是前進中的困難都是能夠克服的），使其成為完整的三段論。此時大、小前提均為真，且推理形式有效，故為正確的三段論。第一格AAA式即：MAPSAM SAP2022/8/1780VII. 十一、2. P245 【參考答案】【解】：從“所以”可以看出“我們不應當割斷歷史”是結論，其主項（即小項）為“我們”。由此可知已有的是小前提，省略的是大前提。由于結論為SE