第四章詞項邏輯一、判定下列斷定的正誤：1．直言命題是斷定對象有無某種屬性的命題。1、×2．直言命題的主項、謂項、量項和聯(lián)項，統(tǒng)稱詞項。

2、×3．特稱命題“有的S是P”的含義是“存在S是P，但并非所有S都是P”.

3、×4．在同一素材的四個直言命題中，只要已知其中一個命題的真假，就能依據(jù)對當關系，推出其余三個命題的確定的真假。

4、×5．在對當關系中，單稱命題不能做全稱命題處理。

5、√6．具有下反對關系的兩個命題，如果已知其中一個命題真，就可以推出另一個命題假；但已知一個命題假，不能推出另一個命題的真假。

6、×

7．一個正確的三段論包含并且只包含三個詞項，每個詞項均出現(xiàn)兩次。

7、√8．三段論中排在第一位的前提成為大前提，排在第二位的前提稱為小前提。

8、×9．對于一個正確的三段論而言，如果結論是特稱的，那么前提中一定有一個是特稱的。

9、√

10．對于一個正確三段論而言，如果結論是特稱的，那么前提中一定有一個是特稱的。10、×

11．對于一個正確三段論而言，如果結論是否定的，那么它前提中一定有一個是否定的。11、√二、在下列括號中填入適當?shù)恼Z詞。1．在詞項邏輯中，原子命題被進一步分析為（）、（）、（）和()的合式構成，其中()決定直言命題的質，（）決定直言命題的量。1、主項、謂項、量項、聯(lián)項、聯(lián)項、量項2．如果把“與會者不都是黨員”整理成I命題，則其謂項是()。

2、非黨員3．在四種基本類型的直言命題中，周延的詞項是()，不周延的詞項是()。

3、全稱命題的主項或否定命題的謂項、特稱命題的主項或肯定命題的謂項4．在對當關系中，下反對關系存在于()和()之間。具有下反對關系的兩個命題，如果其中一個命題真，另一個命題()；如果其中一個命題假，則另一個命題()。

4、特稱肯定命題、特稱否定命題、真假不定、必真三、簡答下列問題：1．直接推理和間接推理的區(qū)別是什么?1、直接推理的前提只有一個，間接推理的前提是兩個以上2．為什么SOP不能簡單換位?2、SOP如果簡單換位，則主項S由特稱的主項變成了否定命題的謂項，即由不周延變成了周延，違反換位推理的規(guī)則：前提中不周延的項結論中不得周延。3．什么是直言三段論的公理3、斷定類的全體必斷定其部分，即肯定一類事物具有某種性質，必然肯定這類事物的一部分也具有此性質，否定一類事物具有某種性質，必然否定這類事物的一部分也具有此性質。4．為什么兩個否定前提的三段論不能推出確定結論?4、如果三段論的兩個前提都是否定命題，則中項與小項具有排斥關系，同時與大項也具有排斥關系，而小項與大項的關系無法通過中項加以確立，即得不出結論。5．作為判定三段論有效性的依據(jù)，五條基本規(guī)則和各格的具體規(guī)則的關系是什么?

5、各格的具體規(guī)則是基本規(guī)則在各格中的具體體現(xiàn)。是一般與特殊的關系。6．省略三段論的優(yōu)點和缺點各是什么?質，必然否定這類事物的一部分也具有此性質。

6、省略三段論便于人們敏捷地進行思維活動，并且可以使語言表達更簡潔有力；缺點是：由于有一個組成部分被省略，所以容易掩蓋某種錯誤。四、指出下列語句屬何種直言命題，并寫出其公式：1．一切正義的事業(yè)都是一定要勝利的。1、全稱肯定命題，SAP2．凡事物都是有矛盾的。2、全稱肯定命題，SAP3．有的勞動產品是商品。3、特稱肯定命題，SIP

4．有的植物是喬木。

4、特稱肯定命題，SIP5．有的四邊形不是梯形。

5、特稱否定命題，SOP

6．所有有生的不是永生的。6、全稱否定命題，SEP

7．科學理論都是實踐的產物。7、全稱肯定命題，SAP8．事物的發(fā)展不是沒有曲折的。

8、全稱否定命題，SEP9．別誤會，你的發(fā)言大家不是不同意。

9、全稱否定命題，SEP

10．不對!并非所有勞動產品都是商品。

10、特稱否定命題，SOP

11．這個班有的同學是不喜歡運動的。11、特稱肯定命題，SIP12．并非植物都不是喬木。

12、特稱肯定命題，SIP五、指出下列直言命題主、謂項的周延情況：1．心理學是研究人的精神活動的科學。1、主項周延，謂項不周延

2．科學理論都是實踐的產物。2、主項周延，謂項不周延

3．所有等邊三角形都是等角三角形。3、主項周延，謂項不周延

4．自然科學不是上層建筑。

4、主項周延，謂項周延5．有些水生動物不是用鰓呼吸的。5、主項不周延，謂項周延

6．有些農民是發(fā)明家。

6、主項不周延，謂項不周延7．各行各業(yè)都有不稱職的干部。

7、主項周延，謂項不周延

8．沒有金屬不導電。

8、主項周延，謂項不周延

9．不能說所有社會現(xiàn)象都有階級性

9、主項不周延，謂項周延10．并非有的水稻是多年生植物。

10、主項周延，謂項周延

11．新聞系畢業(yè)的學生不都當記者。11、主項不周延，謂項周延

12．出席會議的人有不是大學畢業(yè)的。

12、主項不周延，謂項周延13．不能說所有干部都稱職。

13、主項不周延，謂項周延六、已知下列直言命題的真假，根據(jù)對當關系確定素材相同的其余三個直言命題的真假情況。1．已知A真，則E——；I——；O——。、1、假、真、假2．已知A假，則E——；I——；O——。2、不定、不定、真

3．已知E真，則A——；I——；O——。

3、假、假、真

4．已知E假，則A——；I——；O——。

4、不定、真、不定5．已知I真，則A——；E——；O——。5、不定、假、不定

6．已知I假，則A——；E——；O——。

6、假、真、真

7．已知O真，則A——；E——；I——。7、假、不定、不定

8．已知O假，則A——；E——；I——。8、真、假、真

七、已知下列命題為真，寫出素材相同的其余三個命題，出它們的真假。1．三班的同學都是學英語的。1、三班同學都不是學英語的為假，有的三班同學是學英語的為真，有的三班同學不是學英語的為假。2．有的蛇是無毒的。

2、所有的蛇都是無毒的不定，所有的蛇都不是無毒的為假，有的蛇不是無毒的不定。3．這輛車上的人都不是去長城的。

3、這輛車上的人都是去長城的為假，這輛車上有的人是去長城的為假，這輛車上有的人不是去長城的為真。

4．有的學生不是黨員。4、所有的學生都是黨員為假，所有的學生都不是黨員不定，有的學生是黨員不定。5．所有有生的都是有死的。5、所有有生的都不是有死的為假，有的有生的是有死的為真，有的有生的不是有死的為假。6．外商在我國的投資不是不受法律保護。

6、外商在我國的投資是不受法律保護的為假，有的外商在我國的投資是不受法律保護的為假，有的外商在我國的投資不是不受法律保護的為真。7．這輛公共汽車上并非有乘客是大學生。。

7、所有這輛公共汽車上的乘客都是大學生為假，所有這輛公共汽車上的乘客都不是大學生不定，這輛公共汽車上有的乘客是大學生為假。8．我班沒有會下國際象棋的。8、我們班所有人都會下象棋為假，我們班有人會下象棋為假，我們班有人不會下象棋為真。9．從事司法工作的并非都是律師。

9、所有從事司法工作的都是律師為假，所有從事司法工作的都不是律師不定，有的從事司法工作的是律師不定。八、已知下列命題為假，寫出素材相同的其余三個命題，并根據(jù)對當關系指出它們的真假。1．價格昂貴的商品都是質量好的商品。1、所有昂貴的商品都不是質量好的商品不定，有的昂貴的商品是質量好的商品不定，有的昂貴的商品不是質量好的商品為真。2．有的金屬是絕緣體。2、所有的金屬都是絕緣體為假，所有的金屬都不是絕緣體為真，有的金屬不是絕緣體為真。3．所有的蛇都不是有毒的。

3、所有的蛇都是有毒的不定，有的蛇是有毒的為真，有的蛇不是有毒的不定。

4．有的哺乳動物不是脊椎動物。

4、所有的哺乳動物都是脊椎動物為真，所有的哺乳動物都不是脊椎動物為假，有的哺乳動物是脊椎動物為真。5．所有的質數(shù)都是奇數(shù)。

5、所有的質數(shù)都不是奇數(shù)不定，有的質數(shù)是奇數(shù)不定，有的質數(shù)不是奇數(shù)為真。6．所有價高的商品都是質地優(yōu)良的商品。6、外商在我國的投資是不受法律保護的為假，有的外商在我國的投資是不受法律保護的為假，有的外商在我國的投資不是不受法律保護的為真。

7．沒有生產資料是商品。

7、所有這輛公共汽車上的乘客都是大學生為假，所有這輛公共汽車上的乘客都不是大學生不定，這輛公共汽車上有的乘客是大學生為假。8．這個鐵籠里的蛇有的是無毒的。8、我們班所有人都會下象棋為假，我們班有人會下象棋為假，我們班有人不會下象棋為真。9．北京市的公民人人都有自行車。

9、所有從事司法工作的都是律師為假，所有從事司法工作的都不是律師不定，有的從事司法工作的是律師不定。10．這輛公共汽車的乘客并非都是大學生。

10、這輛公共汽車的乘客都是大學生為真，這輛公共汽車的乘客都不是大學生為假，這輛公共汽車的乘客有的是大學生為真。九、根據(jù)對當關系選擇相關的判斷駁斥下列判斷。1．社會現(xiàn)象都是有階級性的。1、有的社會現(xiàn)象沒有階級性。2．有些鯨不是哺乳動物。

2、所有的鯨都是哺乳動物。3．有些天才是生而知之者。

3、所有的天才都不是生而知之的。4．自學都是不能成才的。

4、有的自學的能成才。

5．凡是能言善辯的人都不是老實人。

5、有的能言善辯的人是老實人。十、指出下列各組命題的真假關系。1．華西村沒有一戶沒彩電；華西村有的戶沒彩電。1、矛盾

2．并非所有喬木都是常綠樹；并非所有喬木都不是常綠樹。2、下反對

3．并非有的物質是靜止不動的；并非有的物質不是靜止不動的。

3、反對

4．并非所有物質都是靜止不動的；所有物質都不是靜止不動的。

4、差等5．沒有一個人不是有生死的；沒有一個人是有生死的。

5、反對

十一、根據(jù)對當關系直接推理，從以下前提出發(fā)，能否推出相應的結論(卜表示推出關系)。題目打不出來1、不能，反對關系可同假。2、不能，下反對關系可同真。3、可以，差等關系全稱真則特稱真。4、不能，差等關系特稱真不能推全稱真。5、可以，差等關系特稱假則全稱假。6、可以，矛盾關系不同假。7、不能，反對關系不同真。十二、在對當關系中1．由矛盾關系和反對關系證明從屬關系；

1、SAP真，據(jù)反對關系知，SEP假，據(jù)矛盾關系知，SIP真；SAP假，據(jù)反對關系知，SEP不定，據(jù)矛盾關系知，SIP不定；SIP真，據(jù)矛盾關系知，SEP假，據(jù)反對關系知，SAP不定；SIP假，據(jù)矛盾關系知，SEP真，據(jù)反對關系知，SAP假。同理可證，SEP與SOP的關系。2．由矛盾關系和下反對關系證明反對關系；2、SAP真，據(jù)矛盾關系知，SOP假，據(jù)下反對關系知，SIP真，據(jù)矛盾關系知，SEP假；SAP假，據(jù)矛盾關系知，SOP真，據(jù)下反對關系知，SIP不定，據(jù)矛盾關系知，SEP不定；SEP真，據(jù)矛盾關系知，SIP假，據(jù)下反對關系知，SOP真，據(jù)矛盾關系知，SAP假；SEP假，據(jù)矛盾關系知，SIP真，據(jù)下反對關系知，SOP不定，據(jù)矛盾關系知，SAP不定。3．由從屬關系和反對關系能否證明矛盾關系，若能，寫出證明；

3、不能證明。4．由從屬關系和反對關系能否證明下反對關系，若能，寫出證明。4、不能證明。十三、對下列命題進行換質，并用公式表示換質過程。1．沒有一個人的經歷是一帆風順的。1、SEP├SA2．有些花不是紅色的。2、SOP├SI

3．所有的困難都不是不能克服的。

3、SE├SAP

4．有些戰(zhàn)爭是非正義的。

4、SI├SOP

5．所有的基本粒子都是有內部結構的。

5、SAP├SE

6．有些花是紅的。

6、SIP├SO

7．有的企業(yè)不是盈利企業(yè)。

7、SOP├SI

8．邏輯學不是不能學好的。

8、SE├SAP9．所有犯罪行為都是違法行為。

9、SAP├SE

十四、下列命題能否換位?如能，請進行換位，并用公式表示換位過程。1．不能說所有唯心論者都是宗教徒。1、不能換位。2．并非所有秋菊都不開白花。2、SIP├PIS3．并非凡是先進設備都是進口產品。3、不能換位。4．任何個人主義者都不是共產主義者。4、SEP├PES5．有些魚類是卵生動物。5、SIP├PIS6．有些作品不是浪漫主義作品。6、不能換位。7．所有的中國人都是炎黃子孫。7、SAP├PIS8．有些人不是大學生。8、不能換位。9．有些手機是中國制造的。9、SIP├PIS10．肯定命題的謂項是不周延的。10、SAP├PIS11．所有素數(shù)都不是無理數(shù)。11、SEP├PES

十五、根據(jù)命題變形推理規(guī)則，判定下列推理是否成立。1．由“不搞陰謀詭計的人不是野心家”推出“有些非野心家不搞陰謀詭計”。1、“不搞陰謀詭計的人不是野心家”換質得“不搞陰謀詭計的人是非野心家”，限量換位得“有些非野心家是不搞陰謀詭計的”。成立。2．由“凡是正派人都是光明磊落的”推出“不光明磊落的人都不是正派人”。都是正確的推理”或者“有些不正確的推理是非形式有效的推理”。2、“凡是正派的人都是光明磊落的”換質得“凡是正派的人都不是不光明磊落的”，簡單換位得，“不光明磊落的人都不是正派人”。成立。3．由“不勞動者不得食”推出“有些不得食者是不勞動者”。3、“不勞動者不得食”限量換位得“有些不得食者是不勞動者”。4．由“凡是正確的推理都是形式有效的推理”推出“形式有效的推理都是正確的推理”或者“有些不正確的推理是非形式有效的推理”。4、“凡是正確的推理都是形式有效的推理”不能推出“形式有效的推理都是正確的推理”，否則“形式有效的推理”由不周延變?yōu)榱酥苎樱`反了換位規(guī)則；“凡是正確的推理都是形式有效的推理”換質得“凡是正確的推理都不是非形式有效的推理”，換位得“凡是非形式有效的推理都不是正確的推理”，換質得“凡是非形式有效的推理都是不正確的推理”，限量換位得“有些不正確的推理是非形式有效的推理”。5．由“凡是好干部都是人民的勤務員”推出：（1）有些好干部不是人民的勤務員；（2）不是人民的勤務員不是好干部；(3)凡是人民的勤務員都是好干部。5、（1）矛盾關系，不能推出；（2）“凡是好干部都是人民的勤務員”換質得“凡是好干部都不是不是人民的勤務員”，簡單換位得“不是人民的勤務員不是好干部”；（3）推不出“凡是人民的勤務員都是好干部”，因為違反“前提中不周延的項結論中不得周延”的換位規(guī)則，“人民的勤務員”由不周延結論中變周延。6．由“所有生物都是有機物”推出“有些無機物不是生物”。6、“所有生物都是有機物”換質得“所有生物都不是無機物”，簡單換位得“無機物都不是生物”，換質得“無機物都是非生物”，限量換位得“有些非生物是無機物”，簡單換位得“有些無機物是非生物”，換質得“有些無機物不是生物”。7．由“所有的侵略戰(zhàn)爭都非正義的”推出“所有非侵略戰(zhàn)爭都是正義的”。7、“所有的侵略戰(zhàn)爭都是非正義的”換質得“所有的侵略戰(zhàn)爭都不是正義戰(zhàn)爭”，簡單換位得“正義戰(zhàn)爭都不是侵略戰(zhàn)爭”，換質得“正義戰(zhàn)爭都是非侵略戰(zhàn)爭”，但不能換位得“非侵略戰(zhàn)爭都是正義戰(zhàn)爭”，因為違反“前提中不周延的項結論中不得周延”的換位規(guī)則。8．由“有些工藝品不是不出售的”推出“有些出售的不是非工藝品”。8、“有些工藝品不是不出售的”換質得“有些工藝品是出售的”，簡單換位得“有些出售的是工藝品”，換質得“有些出售的不是非工藝品”。9．由“有些黨員是高級知識分子”推出“有些高級知識分子不是非黨員”。9、“有些黨員是高級知識分子”簡單換位得“有些高級知識分子是黨員”，換質得“有些高級知識分子不是非黨員”。10．由“各種形式的社會主義都有利于發(fā)展生產力”推出：(1)有利于發(fā)展生產力的都是社會主義；(2)不利于發(fā)展生產力的都不是社會主義。10、（1）不能推出，違反了“前提中不周延的項結論中不得周延”的換位規(guī)則；（2）換質位可以得出。11．由“我班上的同學都是不學法語的”推出“不學法語的都是我班上的同學。11、不能推出。違反了“前提中不周延的項結論中不得周延”的換位規(guī)則。12．從“凡是正確的推理都是形式正確的推理”，能推出“形式正確的推理”怎樣?又能推出“不正確的推理”怎樣？12、能推出“有些形式正確的推理是正確的推理”；可以換質得“凡是正確的推理都不是形式不正確的推理”，簡單換位得“形式不正確的推理都不是正確的推理”，換質得“形式不正確的的推理都是不正確的推理”，限量換位得“有些不正確的推理是形式不正確的推理”。十六、某公請客，尚有人未到。于是他說：“該來的不來?！庇行┛腿寺犃舜嗽挶闫鹕碜吡恕Ｄ彻终f：“不該走的走了?！庇谑鞘Ｏ碌目腿巳甲吖饬?。請析某公為何請客不成。十六、“該來的不來”簡單換位得“來的不是該來的”，換質得“來的是不該來的”；“不該走的走了”換質得“不該走的不是沒走的”，簡單換位得“沒走的不是不該走的”，換質得“沒走的是該走的”。十七、分析下列三段論的大前提、小前提、結論及大項、小項、中項，指出|其屬于哪一格，并寫出其邏輯形式。1．海綿是生物，而海綿是不能自己移動的，所以，有些生物是不能自己移動的。1、大前提：海綿是不能自己移動的；小前提：海綿是生物；結論：有些生物是不能自己移動的；大項：不能自己移動的；小項：生物；中項：海綿。2．經濟規(guī)律是客觀規(guī)律，客觀規(guī)律總是不以人們的意志為轉移的，所以，經濟規(guī)律是不以人們的意志為轉移的。2、大前提：客觀規(guī)律總是不以人們的意志為轉移的；小前提：經濟規(guī)律是客觀規(guī)律；結論：經濟規(guī)律是不以人們的意志為轉移的；大項：不以人們的意志為轉移的；小項：經濟規(guī)律；中項：客觀規(guī)律。3．凡是受到人民擁護的政策都是符合人民的根本利益的，改革開放是受到人民擁護的政策，所以，改革開放是符合人民的根本利益的。3、大前提：凡是受到人民擁護的政策都是符合人民的根本利益的；小前提：改革開放是受到人民擁護的政策；結論：改革開放是符合人民的根本利益的；大項：符合人民的根本利益的；小項：改革開放；中項：受到人民擁護的政策。4．所有數(shù)學系的學生必修高等代數(shù)，數(shù)學系的學生是理科學生，因此，有些理科學生必修高等代數(shù)。4、大前提：所有數(shù)學系的學生必修高等數(shù)學；小前提：數(shù)學系的學生是理科學生；結論：有些理科學生必修高等數(shù)學；大項：必修高等數(shù)學；小項：理科學生；中項：數(shù)學系的學生。十八、下列三段論是否正確?如不正確，它違反了哪條規(guī)則?1．審判員在法院工作，這些人在法院工作，所以，這些人是審判員。1、不正確，違反了“中項至少周延一次”的規(guī)則。2．外語翻譯都要懂外語，他不是外語翻譯，所以，他不懂外語。2、不正確，違反了“前提中不周延的項結論中不得周延”的規(guī)則。3，中子是基本粒子，中子是不帶電的，所以，有些基本粒子不帶電。3、正確。4．并非所有細菌都有毒，也并非所有生物都是細菌，所以，并非所有生物都有毒。4、不正確，違反了“兩個特稱命題不能結論”的規(guī)則。5、正確。6、不正確，違反了“兩個特稱命題不能得結論”和“中項至少周延一次”的規(guī)則。7、不正確，違反了“兩個否定命題不能得結論”的規(guī)則。8、不正確，違反了“中項至少周延一次”的規(guī)則。9、不正確，違反了“前提中不周延的項結論中不得周延”的規(guī)則。10、不正確，違反了“中項至少周延一次”的規(guī)則。11、正確。12、不正確，違反了“前提中不周延的項結論中不得周延”的規(guī)則。13、不正確，多于三個項。14、不正確，違反了“兩個特稱前提不能得結論”的規(guī)則。15、不正確，違反了“中項至少周延一次”的規(guī)則。16、不正確，違反了“兩個特稱前提不能得結論”的規(guī)則。17、不正確，多于三個項。十九、1、6種方法(M)E(P);S(A)M;∴S(E)P?；?M)E(P);S(I)M;∴S(O)P。2、(M)AP;(S)I(M);∴SIP?；?M)AP;(M)I(S)∴SIP。3、(P)A(M);S(E)M;∴SEP。因為，前提有一特稱的，則結論一定是特稱的，結論不是特稱的，則前提沒有特稱的；結論是否定的，則前提必有一否定的，大前提既為全稱肯定，小前提必為全稱否定；又因為大項在結論中是否定命題的謂項，是周延的，根據(jù)規(guī)則“前提中不周延的項結論中不得周延”，大項在前提中必周延，由于肯定命題的謂項不周延，因此，大項一定是大前提的主項，中項則為謂項。4、P(A)M;(M)A(S);∴SIP。或P(I)M;(M)A(S);∴SIP。5、(M)E(P);M(I)S;∴SOP?；?P)E(M);M(I)S;∴SOP。6、(P)(A)(M);(S)O(M);∴(S)(O)(P)。因為前提有一否定的則結論必否定，前提有一特稱的則結論必是特稱的，因此結論一定是特稱否定命題；兩個特稱前提不能得出結論，兩個否定前提不能得出結論，因此大前提為全稱肯定命題；又由于結論否定，大項在結論中周延，根據(jù)“前提中不周延的項結論中不得周延”的規(guī)則，大項在前提中必須周延，而在全稱肯定命題中只能是做主項才能周延，中項為謂項。7、M(A)P;S(A)M;∴SAP。8、P(E)M;S(A)M;∴SEP。或P(A)M;S(E)M;∴SEP。9、M(A)P;SIM;∴S(I)P?；騇(E)P;SIM;∴S(O)P。10、MIP;M(A)S;∴S(I)P。11、PEM;M(A)S;∴S(O)P?；騊EM;M(I)S;∴S(O)P。12、(M)(A)(P);(S)(A)(M);∴SAP。因為前提有一否定的則結論必否定，前提有一特稱的則結論必特稱，結論不是否定，也不是特稱的，因此前提沒有特稱的，也沒有否定的，全為全稱肯定命題；又因為在結論中小項為全稱命題的主項，是周延的，根據(jù)“前提中不周延的項結論中不得周延”的規(guī)則，小項在前提中周延，只能是全稱肯定命題的主項，中項為謂項；中項在小前提中作為肯定命題的謂項是不周延的，根據(jù)規(guī)則“中項至少周延一次”，中項在大前提中必須周延，而大前提為全稱肯定命題，只有主項是周延的，中項只能做主項，大項為謂項。13、MIP;(M)(A)(S);∴S(I)P。14、(M)O(P);(M)(A)(S);∴S(O)P。15、P(A)M;(M)(A)(S);∴SIP。或P(I)M;(M)(A)(S);∴SIP。16、(P)(A)(M);SOM;∴S(O)P。因為前提有一特稱的結論必為特稱，前提有一否定的結論必是否定的，因此結論一定是特稱否定命題；兩個特稱前提不能得結論，兩個否定命題也不能得結論，因此大前提必為全稱肯定命題；又因為在結論中作為否定命題的謂項，大項是周延的，根據(jù)“前提中不周延的項結論中不得周延”的規(guī)則，大項在大前提中必須周延，大前提為全稱肯定命題，主項周延謂項不周延，因此大項做主項，中項為謂項。17、(M)E(P);MIS;∴S(O)P。或(P)E(M);MIS;∴S(O)P。二十．請運用三段論的規(guī)則?；卮鹣铝袉栴}。1．以“所有A是B。所有C是B”為三段論的前提。能否必然得出結論。為什么?2．以“所有A是B”為大前提?！八蠧都不是A”為小前提。能否必然推出結論。為什么?3．如果正確的直言三段論結論是全稱的。則中項不能周延兩次。為什么?4．以“所有A是B。所有C是B”為三段論的前提。能否必然得出結論。為什么?5．已知一個正確的三段論。其兩個前提中只有大前提中有一個詞項周延。這個三段論的大前提應是什么命題。為什么?

6．一個正確的直言三段論。它的大前提是肯定的。大項在前提和結論中都周延。小項在前提和結論中都不周延。這個直言三段論的式是什么?7．已知一個正確的三段論。兩個前提中只有大前提中有一個詞項周延。這個三段論的大前提應是什么命題。為什么?8．為什么第一格的結論可能有A．E．I．O四種命題?9．“有教養(yǎng)的人懂禮貌。這個人不懂禮貌。所以。這個人沒有教養(yǎng)。”這個三段論屬于第幾格?是否有效?為什么?10．“并非有的商品沒有價值。并非所有勞動產品都是商品。所以。并非所有勞動產品都有價值?！边@一三段論的形式是什么?是否正確?為什么?11．以“所有A不是B”與“有C是A”為前提。能否必然推出“有B不是C”?能否必然推出“有C不是B”?為什么?12．如果一個有效三段論的大前提為O命題。試問它是第幾格的三段論?它的邏輯形式是什么?13．一個正確的三段論能否三個詞項都周延兩次?為什么?14．為什么結論是否定命題的三段論。其大前提不能是I命題?15．有一個正確的三段論。其大前提是肯定命題。大項在前提和結論中都周延。小項在前提和結論中都不周延。那么這個三段論是怎樣的?

二十、答案1．以“所有A是B。所有C是B”為三段論的前提。能否必然得出結論。為什么?1、不能。中項不周延。

2．以“所有A是B”為大前提?！八蠧都不是A”為小前提。能否必然推出結論。為什么?2、不能。前提有一否定的結論必否定，大項A作為否定命題的謂項是周延的，而大項在前提中是肯定命題的謂項，不周延，這樣違反了“前提中不周延的項結論中不得周延”的規(guī)則。3．如果正確的直言三段論結論是全稱的。則中項不能周延兩次。為什么?3、如果正確的直言三段論結論是全稱的，則其主項S是周延的，根據(jù)“前提中不周延的項結論中不得周延”的規(guī)則，小項S在前提中必須周延；假如中項周延兩次，則在小前提中周延，這樣，小前提的主謂項皆周延，據(jù)周延規(guī)律，這只能是全稱否定命題；據(jù)規(guī)則“前提有一否定則結論必否定”，結論為全稱否定命題，其謂項即大項P周延；又據(jù)規(guī)則“前提中不周延的項結論中不得周延”的規(guī)則，大項P在前提中必須周延；如果中項在大前提中也周延，則大前提的主謂項皆周延，這樣只能是全稱否定命題；根據(jù)規(guī)則，“兩個否定命題不能得結論”，因此假設不能成立，正確的直言三段論結論全稱，則中項不能周延兩次。

4．以“所有A是B。所有C是B”為三段論的前提。能否必然得出結論。為什么?4、不能。中項不周延。5．已知一個正確的三段論。其兩個前提中只有大前提中有一個詞項周延。這個三段論的大前提應是什么命題。為什么?5、只能是特稱肯定命題。根據(jù)周延規(guī)律，兩個前提中只有大前提中有一個詞項是周延的，則小前提主謂項皆不周延，只能是特稱肯定命題，大前提有兩種情況，一是全稱肯定命題，二是特稱否定命題；由于兩個特稱前提不能得結論，因此，大前提只能是全稱肯定命題；據(jù)規(guī)則，“結論否定則前提必有一否定”，前提沒有否定的，結論必肯定，又據(jù)規(guī)則“前提有一特稱結論必特稱”，因此結論為特稱肯定命題。6．一個正確的直言三段論。它的大前提是肯定的。大項在前提和結論中都周延。小項在前提和結論中都不周延。這個直言三段論的式是什么?6、第二格的AOO式或第四格的AAI式。即PAM;SOM;∴SOP?；蛘逷AM;MAS;∴SIP。7．已知一個正確的三段論。兩個前提中只有大前提中有一個詞項周延。這個三段論的大前提應是什么命題。為什么?7、MAP因為兩個前提中只有大前提中有一個詞項周延，那么，這個詞項應該是M，并且結論只能是SIP.因此，大前提為肯定命題。所以大前提為MAP.8．為什么第一格的結論可能有A．E．I．O四種命題?8、大前提為全稱命題：MAP；MEP小前提為肯定命題：SAM；SIMMAP;SAM;SAPMAP;SIM;SIPMEP;SAM;SEPMEP;SIM;SOP9．“有教養(yǎng)的人懂禮貌。這個人不懂禮貌。所以。這個人沒有教養(yǎng)。”這個三段論屬于第幾格?是否有效?為什么?9、第二格，無效，中項不周延。10．“并非有的商品沒有價值。并非所有勞動產品都是商品。所以。并非所有勞動產品都有價值?！边@一三段論的形式是什么?是否正確?為什么?10、第一格AOO式，無效，大項周延不當。11．以“所有A不是B”與“有C是A”為前提。能否必然推出“有B不是C”?能否必然推出“有C不是B”?為什么?11、不能推出“有B不是C”，大項周延不當；能推出“有C不是B”。12．如果一個有效三段論的大前提為O命題。試問它是第幾格的三段論?它的邏輯形式是什么?12、第三格OAO式。13．一個正確的三段論能否三個詞項都周延兩次?為什么?13、不能。所有詞項都周延兩次說明三個詞項在大小前提中皆周延，因此兩個前提都是全稱否定命題，而兩個否定命題得不出結論。14．為什么結論是否定命題的三段論。其大前提不能是I命題?14、結論否定則大項周延，據(jù)規(guī)則“前提中不周延的項結論中不得周延”，大項在前提中必須周延，而I命題的主謂項皆不周延，不合要求。15．有一個正確的三段論。其大前提是肯定命題。大項在前提和結論中都周延。小項在前提和結論中都不周延。那么這個三段論是怎樣的?

15、第二格AOO式。二十一．證明題。1．一個有效的三段論。如果大前提是特稱的。那么小前提必須是全稱肯定。2．一個有效的三段論。如果結論是全稱否定命題。那么其前提必然是一個全稱否定命題和一個全稱肯定命題。3．一個有效的三段論。若小前提為全稱否定命題。則大前提必須為全稱肯定命題。4．一個有效的第一格三段論。若結論為特稱否定命題。則大前提只能是全稱否定命題。5．根據(jù)三段論的一般規(guī)則和第一格的形式。證明“小前提必須肯定”這一特殊規(guī)則。

6．結論否定的正確三段論。其大前提不能是I命題。7．設：A表示命題“所有精通邏輯的都精通英語”表示“所有精通英語的不精通數(shù)。B學”表示“有些精通數(shù)學的是精通邏輯的”。C。試證明：若A與B均真。則C假。8．設A．B．C分別為有效三段論的前提和結論。D是與結論C相矛盾的直言命題。試證明：A．B．D中肯定命題必是兩個。9．若A．B．C分別為有效三段論的兩個前提和結論。D是與B相矛盾的直言命題。試證明：“D八A—C”不是有效的三段論式。10．一有效三段論的大項在前提中周延而在結論中不周延。請寫出該三段論的格與式。并寫出推導過程。11．用選言法證明：小前提為O命題的有效三段論必定是第二格三段論。12．用反證法證明：有效的第四格三段論式的大小前提都不能是O判斷。113．試證明：若有效的第四格三段論式的小項在結論中周延。則該三段論必為AEE。14．已知某有效三段論的小前提是否定命題。試證明：該三段論大前提只能是全稱肯定命題。15、證明:如果同時肯定下列三個命題，則違反矛盾律的邏輯要求。(1)PES(2)MOP→SIP(3)SIM16、已知:①若P不真包含于M,則S與P全異;②若S不與M交叉,則S與P交叉;③S不與P全異,也不與P交叉;試證明:S真包含p。17、下面三句話恰有一假,試證明有B是C真。⑴若A不與B全同,則A與C全異;⑵若A不真包含于B,則B與C全異;⑶A和B都與C全異18已知:

(1)如果概念A與概念B全異，則概念A與概念C全異。

(2)A真包含于。C

求證:概念B不與C全異。19已知以A、B為前提可以必然推出C,而D與C矛盾,E與A矛盾。試證明:由D和B可以必然推出E。

20、證明：（1）設大前提是特稱命題，小前提為否定命題。則大前提為特稱肯定命題。小前提為全稱否定，結論為特稱否定。P周延。者與大前提特稱肯定矛盾。（2）設中項周延兩次，結論是全稱命題。則P周延，大前提為全稱否定。結論則為全稱否定。S也周延，小前提也為全稱否定。兩個否定命題推不出結論。（3）設ABC分別為有效三段論的前提和結論，D是與結論C相矛盾的性質命題，試證：ABD中肯定命題必然是兩個。二十一．證明題。1．一個有效的三段論。如果大前提是特稱的。那么小前提必須是全稱肯定。1、大前提特稱有兩種情況：特稱肯定、特稱否定。若為特稱肯定，則主謂項皆不周延，根據(jù)“前提中不周延的項結論中不得周延”的規(guī)則，大項在結論中不得周延，而只有肯定命題的謂項才不周延，因此結論為肯定命題；因為“前提有一否定結論必否定”，結論肯定則前提沒有肯定的，小前提必為肯定，又據(jù)規(guī)則“兩個特稱命題不能得結論”，大前提既為特稱肯定，小前提為全稱，這樣小前提為全稱肯定命題。若大前提為特稱否定，則據(jù)規(guī)則“兩個特稱前提不能的結論”和“兩個否定前提不能得結論”，小前提為全稱肯定命題。

2．一個有效的三段論。如果結論是全稱否定命題。那么其前提必然是一個全稱否定命題和一個全稱肯定命題。2、據(jù)規(guī)則“結論為否定的則前提必有一否定”，前提必有一否定；又據(jù)規(guī)則“兩個否定前提不能得結論”，另一前提為肯定命題；據(jù)規(guī)則“前提有一特稱的則結論必特稱”，結論全稱則前提皆為全稱，因此，兩個前提必然一個是全稱否定命題，一個是全稱肯定命題。

3．一個有效的三段論。若小前提為全稱否定命題。則大前提必須為全稱肯定命題。3、小前提全稱否定，據(jù)“前提有一否定則結論必否定”，結論為否定的，謂項大項周延；據(jù)規(guī)則“前提中不周延的項結論中不得周延”，大項在結論中周延，在大前提中必周延；又因為“兩個否定前提不能得結論”，小前提全稱否定，大前提為肯定，而肯定命題的謂項不周延，大項要周延必為全稱肯定命題的主項。因此，大前提為全稱肯定命題。

4．一個有效的第一格三段論。若結論為特稱否定命題。則大前提只能是全稱否定命題。4、結論為特稱否定命題，謂項大項周延，據(jù)規(guī)則“前提中不周延的項結論中不得周延”，大項在大前提中周延，這樣大前提必為否定命題；又因為“兩個否定命題不能得結論”，小前提為肯定命題，中項在小前提中為謂項，不周延，據(jù)規(guī)則“中項至少周延一次”，中項在大前提中周延，中項在大前提中為主項，大前提應為全稱的；因此，大前提為全稱否定命題。5．根據(jù)三段論的一般規(guī)則和第一格的形式。證明“小前提必須肯定”這一特殊規(guī)則。5、見教材

6．結論否定的正確三段論。其大前提不能是I命題。6、設結論否定的準確三段論，其大前提是I命題.,此時P和M都不周延。而結論為否定命題則P是周延的。違反規(guī)則2.7．設：A表示命題“所有精通邏輯的都精通英語”表示“所有精通英語的不精通數(shù)。B學”表示“有些精通數(shù)學的是精通邏輯的”。C。試證明：若A與B均真。則C假。7、若A、B均真，二者據(jù)三段論可得出“所有精通邏輯的不精通數(shù)學”，簡單換位得“所有精通數(shù)學的不精通邏輯”（D），D與C為矛盾關系，不能同真，D真C則假。

8．設A．B．C分別為有效三段論的前提和結論。D是與結論C相矛盾的直言命題。試證明：A．B．D中肯定命題必是兩個。8、由于兩個否定命題不能得結論，A、B為兩個肯定命題或一肯一否。若A、B為兩個肯定命題，據(jù)規(guī)則“結論否定則前提有一否定”，前提沒有否定則結論C肯定，而D與C矛盾，必為否定。若A、B一肯一否，則據(jù)規(guī)則“前提有一否定則結論必否定”，結論C必否定，D與C矛盾，必為肯定。9．若A．B．C分別為有效三段論的兩個前提和結論。D是與B相矛盾的直言命題。試證明：“D八A—C”不是有效的三段論式。9、因為A、B、C為有效三段論的前提和結論，則ABC，據(jù)反三段論可得ACB；由于D與B為矛盾關系，DB，因此上式可變?yōu)锳CD；假如DAC為有效三段論式，則據(jù)反三段論ACD；AC得出D和D，矛盾；因此，DAC不是有效三段論式。

10．一有效三段論的大項在前提中周延而在結論中不周延。請寫出該三段論的格與式。并寫出推導過程。10、PAM;MAS;∴SIP。第四格的AAI式。由于大項在結論中不周延，結論必為肯定命題，因為只有肯定命題的謂項才不周延；據(jù)規(guī)則“前提有一否定結論必否定”，結論肯定則前提皆為肯定；大項在大前提中要周延只能是全稱肯定命題的主項，因為肯定命題的謂項不周延，主項周延只能是全稱命題，大前提為PAM；由于中項在大前提中為肯定命題的謂項，不周延，據(jù)規(guī)則“中項至少周延一次”，在小前提中必周延；因為小前提也是肯定命題，中項要周延一定是全稱命題的主項，這樣，小前提為全稱肯定命題MAS；小項S在小前提中為肯定命題的謂項，不周延，據(jù)規(guī)則“前提中不周延的項結論中不得周延”，小項在結論中不周延；因為小項是結論的主項，不周延只能是特稱命題，又據(jù)上述結論為肯定命題，因此結論為特稱肯定命題SIP。11．用選言法證明：小前提為O命題的有效三段論必定是第二格三段論。11、用選言法證明：小前提為O命題的有效三段論必定是第二格三段論。

證明：先構成小前提為O命題的選言支，其大小前提的組合情況有下面幾種：1）AO，2）EO，3）IO，4）OO。而其中3）和4）都是兩個特稱的前提，根據(jù)規(guī)則6，推不出；2）為兩個否定，據(jù)規(guī)則3也推不出。這樣就只有1）AO組合能滿足要求。這個組合有兩次周延的機會，由于有O命題作為前提，結論是否定的，則大前提在結論中是周延的，因而（據(jù)規(guī)則2）要求大項在結論中周延；而大項要在A命題中周延，大項必須是全稱命題的主項，因而，大前提為PAM。再者，中項必須周延一次（規(guī)則1），所以，小前提中的小項就不可能周延了，它一定是O命題的主項，即小前提是SOM。綜上該有效三段論就為第二格：

PAM

SOM

SOP

12．用反證法證明：有效的第四格三段論式的大小前提都不能是O判斷。112、若大前提為O命題，則據(jù)規(guī)則“前提有一否定結論必否定”，大項在結論中周延，而大項在前提中為特稱命題的主項，不周延，這樣違反了“前提中不周延的項結論中不得周延”的規(guī)則；因此小前提不能是O命題若小前提為O命題，中項作為特稱命題的主項不周延，而據(jù)規(guī)則“中項至少周延一次”，中項在大前提中周延；在大前提中中項為謂項，要周延必為否定命題，因為只有否定命題的謂項才周延；這樣大小前提皆為否定命題，而據(jù)規(guī)則“兩個否定命題不能得結論”；因此大前提不能是O命題。13．試證明：若有效的第四格三段論式的小項在結論中周延。則該三段論必為AEE。13、小項在結論中周延→結論全稱否定，在前提中周延→前提皆為全稱，小前提否定→大前提全稱肯定。14．已知某有效三段論的小前提是否定命題。試證明：該三段論大前提只能是全稱肯定命題。14、小前提否定→結論否定，大前提肯定→大項結論中周延→大項前提中周延→大前提全稱肯定。15、證明:如果同時肯定下列三個命題，則違反矛盾律的邏輯要求。(1)PES(2)MOP→SIP(3)SIM15、（4）SEP（1）換位（5）MOP

（3）（4）三段論（6）SIP（2）（5）充分條件假言推理肯定前件式（4）（6）矛盾。16、已知:①若P不真包含于M,則S與P全異;②若S不與M交叉,則S與P交叉;③S不與P全異,也不與P交叉;試證明:S真包含p。16、（4）S不與P全異（3）聯(lián)言推理分解式（5）P真包含于M

（1）（4）充分條件假言推理否定后件式（6）S不與P交叉

（3）聯(lián)言推理分解式（7）S與M交叉

（2）（6）充分條件假言推理否定后件式（8）S真包含P

綜上17、下面三句話恰有一假,試證明有B是C真。⑴若A不與B全同,則A與C全異;⑵若A不真包含于B,則B與C全異;⑶A和B都與C全異

17、如果（3）為真，則A與C全異，B與C全異，據(jù)充分條件假言命題的真值特點，后件真則充分條件假言命題必真，（1）、（2）皆為真，與題意不符，因此，（3）為假，（1）、（2）為真。（3）為假等值于“A不與C全異或B不與C全異”，結合（1）、（2），用二難推理的復雜破斥式可得，“A與B全同或A真包含于B”，進而可知，所有的A是B。如果“有B是C”為假，則“所有B不是C”為真，據(jù)三段論可得，所有的A不是C，A與C為全異關系；又，“所有B不是C”為真，B與C為全異關系，根據(jù)上述命題“A不與C全異或B不與C全異”，以及選言推理的規(guī)則可知，A不與C全異；這樣就推出矛盾，假設不成立，“有B是C”為真。18已知:

(1)如果概念A與概念B全異，則概念A與概念C全異。

(2)A真包含于。C

求證:概念B不與C全異。18、假設B與C全異，則所有的B不是C，由（2）知所有的A是C，A不與C全異，據(jù)三段論得，所有的A不是B，即A與B全異，據(jù)（1）和充分條件假言推理的肯定前件式得，A與C全異。這樣得出矛盾，假設不成立，B不與C全異。19已知以A、B為前提可以必然推出C,而D與C矛盾,E與A矛盾。試證明:由D和B可以必然推出E。19、A和B可必然推出C可以表示為：A∧B→C，據(jù)反三段論可得，B∧～C→～A；因為D與C矛盾，E與A矛盾，則D=～C，E=～A；代入上式得，B∧D→E。20、證明：（1）設大前提是特稱命題，小前提為否定命題。則大前提為特稱肯定命題。小前提為全稱否定，結論為特稱否定。P周延。者與大前提特稱肯定矛盾。（2）設中項周延兩次，結論是全稱命題。則P周延，大前提為全稱否定。結論則為全稱否定。S也周延，小前提也為全稱否定。兩個否定命題推不出結論。（3）設ABC分別為有效三段論的前提和結論，D是與結論C相矛盾的性質命題，試證：ABD中肯定命題必然是兩個。假設D是肯定判斷，則C必定是否定判斷（D是與結論C相矛盾的性質判斷），C是否定判斷，則A、B兩個前提中必定有一個是否定判斷，一個是肯定判斷（根據(jù)三段論的兩條規(guī)則：兩個否定的前提不能得出結論；結論是否定的，前提中一定有一個是否定的），可見A、B、D中至少有兩個是肯定判斷。假設D是否定判斷，則C必定是肯定判斷（D是與結論C相矛盾的性質判斷），C是肯定判斷，則A、B兩個前提必定都是肯定判斷（根據(jù)三段論規(guī)則：前提中有一個是否定的，結論必然是否定的），可見A、B、D中至少有兩個是肯定判斷。二十二．運用有關知識回答下列問題。1．以下三句話一真兩假。試確定S與P的外延關系(1)有S是P。(2)有S不是P。(3)有P不是S。2．以下三句話一真兩假。試確定S與P的外延關系。(1)有S不是非P。(2)有S不是P。(3)有非S是P。3．下列三句話一真二假。請問：甲班的50名同學中有多少人會游泳?(1)有些甲班的同學會游泳。(2)有些甲班的同學不會游泳。(3)甲班的小王會游泳。4．已知“或者B真包含于C。或者C真包含于A”與“C與A交叉”均真。能否斷定“A不真包含于B”為真?5．已知“只有B與C全異。A才不真包含于B”與“B真包含于C”均真。能否斷定“C不真包含于A”為真?6．若A與B全異。B與C不全異。試問A與C的外延關系可能有哪幾種?為什么?7．設下列三句話中只有一句是假的。請問：甲公司總經理是否懂得計算機?(1)甲公司所有員工都懂計算機。(2)甲公司小王懂計算機。(3)甲公司所有員工都不懂計算機。

8．已知：(1)“所有M不是P”為真。(2)M真包含S。請用歐拉圖表示S與P可能具有的各種外延關系。9．已知：(1)M真包含于P。(2)“有些S是M”為真。請用歐拉圖表示S與P可能具有的各種外延關系。10．已知：SAP為真而PAS為假。根據(jù)已知條件：(1)用歐拉圖表示出S與P的外延關系。(2)指出S與P這兩個概念哪一個的內涵較多。11．若MOP為假而SAM為真。請用歐拉圖表示s與P的各種外延關系。12．設SAP真。用歐拉圖表示S．P．一P在外延上的各種關系。13．設M真包含于S。所有M不是P。用歐拉圖表示S與P的各種外延關系。14．已知概念A與概念B交叉。概念B真包含概念C。請用歐拉圖表示概念A與概念C可能具有的各種外延關系。15、SAP假，試用歐拉圖表示S與P可能具有的各種外延關系。16、已知:(1)M與P外延不相容

(2)所有M是S為真請用歐拉圖表示S與P可能具有的各種外延關系。17、設S與P交叉,M真包含于S,用歐拉圖表示S、M和P之間的三種外延關系。18、設定下列四句話中只有一句話為真，（1）有P是S

（2）如果有S不M，則

有S是M

（3）有P不是S

（4）M都不是P

19、已知

(1)

A真包含于B

(2)有C不是B

(3)若C不真包含A,則C真包含于A問:A與C具有什么關系?請寫出推導過程,并用歐拉圖將A、B、C三概念在外延上可能有的關系表示出來。20、已知A、B、C、D有下列關系，請推出A與B、B與D、A與D的外延關系，寫出推導過程，并將A、B、C、D的外延關系表示在一個歐拉圖中。二十二、1．以下三句話一真兩假。試確定S與P的外延關系(1)有S是P。(2)有S不是P。(3)有P不是S。1、（1）、（2）為下反對關系，不可同假，至少一真；據(jù)題意（3）必為假，等值于所有P是S，換位得有的S是P，即（1）為真；據(jù)題意（2）為假，等值于所有S是P；綜上知，S與P為全同關系。2．以下三句話一真兩假。試確定S與P的外延關系。(1)有S不是非P。(2)有S不是P。(3)有非S是P。2、運用換質法可知(1)與有S是P等值。運用換位法和換質法可知(3)與有P不是S等值。因此它與題1的三句話分別對應等值，因此s與P為全同關系。3．下列三句話一真二假。請問：甲班的50名同學中有多少人會游泳?(1)有些甲班的同學會游泳。(2)有些甲班的同學不會游泳。(3)甲班的小王會游泳。3、甲班的50名都不會游泳。（1）、（2）為下反對關系，不可同假，至少一真，據(jù)題意（3）為假，等值于甲班的小王不會游泳，據(jù)從屬關系知（2）為真，（1）為假，據(jù)矛盾關系知甲班的同學都不會游泳。4．已知“或者B真包含于C?；蛘逤真包含于A”與“C與A交叉”均真。能否斷定“A不真包含于B”為真?4、能。由C與A交叉知，C不真包含于A，據(jù)選言推理的否定肯定式得，B真包含于C，結合C與A交叉知，A不真包含于B。5．已知“只有B與C全異。A才不真包含于B”與“B真包含于C”均真。能否斷定“C不真包含于A”為真?5、能。由“B真包含于C”真知，“B與C全異”為假，據(jù)必要條件假言推理否定前件式得，“A真包含于B”為真，由此推得“A真包含于C”為真，“真包含于”為反對稱關系，因此，“C不真包含于A”為真。6．若A與B全異。B與C不全異。試問A與C的外延關系可能有哪幾種?為什么?6、由A與B全異可知所有A不是B；由B與C不全異可知有B是C。根據(jù)三段論第四格的EIO式得到有C不是A。因此A與C的外延關系可能有全異、交叉和真包含于這三種。7．設下列三句話中只有一句是假的。請問：甲公司總經理是否懂得計算機?(1)甲公司所有員工都懂計算機。(2)甲公司小王懂計算機。(3)甲公司所有員工都不懂計算機。7、甲公司總經理懂計算機。（1）、（3）為反對關系，不可同真，必有一假，據(jù)題意知，（2）為真，由從屬關系知，甲公司有人懂計算機，據(jù)矛盾關系知，（3）為假，據(jù)題意（1）為真，再據(jù)從屬關系知，甲公司總經理懂計算機。

8．已知：(1)“所有M不是P”為真。(2)M真包含S。請用歐拉圖表示S與P可能具有的各種外延關系。

8、由(1)得所有M不是P；由(2)所有S是M。根據(jù)三段論第一格的EAE式便得到所有S不是P。因此S與P具有全異關系9．已知：(1)M真包含于P。(2)“有些S是M”為真。請用歐拉圖表示S與P可能具有的各種外延關系。9、由（1）知所有M是P；與（2）利用三段論第一格的AII式可得到有S是P。因此，因此S與P可能具有全同、真包含于、真包含和交叉關系。10．已知：SAP為真而PAS為假。根據(jù)已知條件：(1)用歐拉圖表示出S與P的外延關系。(2)指出S與P這兩個概念哪一個的內涵較多。10、由PAS假可知POS真，再由SAP真可知S與P具有真包含于關系。根據(jù)內涵與外延的反變關系，因為S的外延較P的外延小，因而S的內涵較P的內涵多。11．若MOP為假而SAM為真。請用歐拉圖表示s與P的各種外延關系。11、全同、真包含于。12．設SAP真。用歐拉圖表示S．P．一P在外延上的各種關系。12、由SAP根據(jù)換質法得到所有S不是?P。因此，S、P、?P可能具有外延關系為：S與P全同，與?P矛盾，或S真包含于P，P與?P矛盾。SP?PSP?P13．設M真包含于S。所有M不是P。用歐拉圖表示S與P的各種外延關系。13、由M真包含于S知所有M是S，由此再和所有M不是P根據(jù)三段第三格的EAO式便得到有S不是P。所以，S與P可能具有：全異關系、真包含關系、交叉關系。14．已知概念A與