
考点判定三段论有效性.ppt
73页三段论(论证形式)有效性判定三段论(论证形式)有效性判定1.1.引入三段论的背景引入三段论的背景2.2.什么是三段论什么是三段论3. 3. 五规则法判定三段论有效性五规则法判定三段论有效性4.4.文恩图法判定三段论有效性文恩图法判定三段论有效性5. 5. 课堂练习课堂练习1. 1. 引入三段论的背景引入三段论的背景针对以原子命题(符号)为最小组成单位针对以原子命题(符号)为最小组成单位的论证形式,我们学习了真值表方法、归的论证形式,我们学习了真值表方法、归谬赋值法和命题自然演绎法,这些方法都谬赋值法和命题自然演绎法,这些方法都是值得信赖的然而,这些方法却不是是值得信赖的然而,这些方法却不是““全能的全能的””针对另外一些论证,用这些方针对另外一些论证,用这些方法,我们无法判定其有效性请看:法,我们无法判定其有效性请看:所有中国人都希望中国强大所有中国人都希望中国强大所有华中大学生是中国人所有华中大学生是中国人所以,所有华中大学生希望中国强大所以,所有华中大学生希望中国强大不难看出,这个论证是有效的若前提为不难看出,这个论证是有效的若前提为真,则结论必真但是,若用前面的翻译真,则结论必真。
但是,若用前面的翻译方法,该论证只能翻译为:方法,该论证只能翻译为:p pq q所以,所以,r r•根据真值表或归谬赋值法,不难判定该论根据真值表或归谬赋值法,不难判定该论证形式是无效的此时,我们需找出该论证形式是无效的此时,我们需找出该论证更精细的结构前面学习的关于性质命证更精细的结构前面学习的关于性质命题的知识,给我们提供了这样的资源逻题的知识,给我们提供了这样的资源逻辑学家将上述论证翻译为:辑学家将上述论证翻译为:所有所有M M是是P P所有所有S S是是M M所以,所有所以,所有S S是是P P•具有类似这种形式的论证被称作三段论具有类似这种形式的论证被称作三段论我们将学习如何判定三段论的有效性有我们将学习如何判定三段论的有效性有了这些知识之后,我们会知道,上面论证了这些知识之后,我们会知道,上面论证形式是有效的具有这种形式的所有论证形式是有效的具有这种形式的所有论证都是有效的都是有效的2. 2. 什么是三段论什么是三段论((1 1)所有)所有中国人中国人都希都希望中国强大望中国强大((2 2)所有华中大学生)所有华中大学生是是中国人中国人所以,(所以,(3 3)所有华中)所有华中大学生希望中国强大大学生希望中国强大•三段论论证是以包含一个三段论论证是以包含一个共同项的两个性质命题为共同项的两个性质命题为前提,以一个新的性质命前提,以一个新的性质命题为结论的论证。
题为结论的论证三段论三段论论证简称为三段论任何论证简称为三段论任何一个三段论都由三个性质一个三段论都由三个性质命题组成,其中两个是前命题组成,其中两个是前提,一个是结论任何一提,一个是结论任何一个三段论都个三段论都有而且仅有三有而且仅有三个词项个词项,每个词项在三个,每个词项在三个命题中重复出现一次命题中重复出现一次((1 1)所有)所有中国人中国人都希都希望中国强大望中国强大((2 2)所有华中大学生)所有华中大学生是是中国人中国人所以,(所以,(3 3)所有华中)所有华中大学生希望中国强大大学生希望中国强大•在结论中做主项的词项叫在结论中做主项的词项叫【【小项】小项】,通常用,通常用S S表示在结论中做谓项的词项叫【结论中做谓项的词项叫【大大项项】】,通常用,通常用P P表示只在表示只在两个前提中出现的共同项叫两个前提中出现的共同项叫【【中项中项】】,通常用,通常用M M表示中项在前提中起桥接作用,中项在前提中起桥接作用,把小项和大项桥接起来三把小项和大项桥接起来三段论中,包含中项和大项的段论中,包含中项和大项的命题叫命题叫大前提大前提包含小项和包含小项和中项的命题叫中项的命题叫小前提小前提。
包含包含小项和大项的命题叫小项和大项的命题叫结论结论•我们将学习如何判断三段论(论证形式)我们将学习如何判断三段论(论证形式)的有效性主要有两种方法:五规则法和的有效性主要有两种方法:五规则法和文恩图法五规则法牵涉步骤较多,相比文恩图法五规则法牵涉步骤较多,相比较而言,文恩图法相对更快捷,也更具操较而言,文恩图法相对更快捷,也更具操作性(当然,值得一提的是,许多时候,作性(当然,值得一提的是,许多时候,用五规则法判断一个三段论(论证形式)用五规则法判断一个三段论(论证形式)无效却是非常迅速的)我们将先介绍五无效却是非常迅速的)我们将先介绍五规则法,然后集中介绍文恩图法规则法,然后集中介绍文恩图法3. 3. 五规则法判定三段论有效性五规则法判定三段论有效性一个三段论是有效的,当且仅当,它遵守一个三段论是有效的,当且仅当,它遵守下面五条规则(该结果证明书上没有):下面五条规则(该结果证明书上没有):规则一:中项在前提中至少周延一次规则一:中项在前提中至少周延一次规则二:前提中不周延的项在结论中也不规则二:前提中不周延的项在结论中也不得周延 规则三:两个否定前提推不出结论规则三:两个否定前提推不出结论。
规则四:两个前提中有一个是否定的,则规则四:两个前提中有一个是否定的,则结论是否定的结论是否定的规则五:如果结论是否定的,则必有一个规则五:如果结论是否定的,则必有一个前提是否定的前提是否定的√√规则一:中项在前提中至规则一:中项在前提中至少周延一次少周延一次 √√规则二:前提中不周延的规则二:前提中不周延的项在结论中也不得周延项在结论中也不得周延√√ 规则三:两个否定前提推规则三:两个否定前提推不出结论不出结论√√规则四:两个前提中有一规则四:两个前提中有一个是否定的,则结论是否个是否定的,则结论是否定的定的√√规则五:如果结论是否定规则五:如果结论是否定的,则必有一个前提是否的,则必有一个前提是否定的定的√√MAPMAPSAMSAM所以,所以,SAPSAP((1 1)所有)所有中国人中国人都希望都希望中国强大中国强大((2 2)所有华中大学生)所有华中大学生是是中国人中国人所以,(所以,(3 3)所有华中)所有华中大学生希望中国强大大学生希望中国强大X X规则一:中项在前提中至规则一:中项在前提中至少周延一次少周延一次 √√规则二:前提中不周延的规则二:前提中不周延的项在结论中也不得周延项在结论中也不得周延X X 规则三:两个否定前提推规则三:两个否定前提推不出结论不出结论√√规则四:两个前提中有一规则四:两个前提中有一个是否定的,则结论是否个是否定的,则结论是否定的定的√√规则五:如果结论是否定规则五:如果结论是否定的,则必有一个前提是否的,则必有一个前提是否定的定的√√MAPMAPSOMSOM所以,所以,SOPSOP ((1 1)所有)所有中国人中国人都希都希望中国强大望中国强大((2 2)有的哈佛大学学)有的哈佛大学学生不是生不是中国人中国人所以,(所以,(3 3)有的哈佛)有的哈佛大学学生不希望中国大学学生不希望中国强大强大√√规则一:中项在前提中至规则一:中项在前提中至少周延一次少周延一次 √√规则二:前提中不周延的规则二:前提中不周延的项在结论中也不得周延项在结论中也不得周延√√ 规则三:两个否定前提推规则三:两个否定前提推不出结论不出结论√√规则四:两个前提中有一规则四:两个前提中有一个是否定的,则结论是否个是否定的,则结论是否定的定的√√规则五:如果结论是否定规则五:如果结论是否定的,则必有一个前提是否的,则必有一个前提是否定的定的√√MASMASMIPMIP所以,所以,SIPSIP ((1 1)所有)所有中国人中国人都希都希望中国强大望中国强大((2 2)有的)有的中国人中国人是软是软弱的弱的所以,(所以,(3 3)有的希望)有的希望中国强大的(人)是中国强大的(人)是软弱的软弱的•上述五个规则,对于判定三段论的有效性上述五个规则,对于判定三段论的有效性来说,既是必要的,又是充分的。
也就是来说,既是必要的,又是充分的也就是说,说,遵守了这五条规则,三段论就是有效遵守了这五条规则,三段论就是有效的的若违反了其中任何一条规则,三段论若违反了其中任何一条规则,三段论就不是有效的就不是有效的这样,我们获得了第一种这样,我们获得了第一种判定三段论论证形式有效与否的方法:判定三段论论证形式有效与否的方法:逐逐个规则检查,看看是否一个三段论形式都个规则检查,看看是否一个三段论形式都遵守,若遵守,则有效,若不遵守,则无遵守,若遵守,则有效,若不遵守,则无效通过上面五个规则,可得出下面两个导出规则:通过上面五个规则,可得出下面两个导出规则:规则六:从两个特称的前提不能得出结论规则六:从两个特称的前提不能得出结论规则七:如果有一个前提是特称的,则只能得出规则七:如果有一个前提是特称的,则只能得出特称的结论特称的结论注:因为上面五个规则对于判定三段论有效性而注:因为上面五个规则对于判定三段论有效性而言是充分必要条件,这两个导出规则并无实质作言是充分必要条件,这两个导出规则并无实质作用实际上,两条导出的规则更多用来快速方便用实际上,两条导出的规则更多用来快速方便地地判断一个三段论论证形式的无效,值得说明地地判断一个三段论论证形式的无效,值得说明的是,不用两个导出规则同样可判定。
基于此,的是,不用两个导出规则同样可判定基于此,我们不着重分析这两个导出规则我们不着重分析这两个导出规则4.4.文恩图法判定三段论有效性文恩图法判定三段论有效性•文恩图法是判断三段论(论证形式)有效与否更文恩图法是判断三段论(论证形式)有效与否更加快捷和直观的方法这种方法基于前面我们对加快捷和直观的方法这种方法基于前面我们对性质命题的性质命题的““意义意义””(即为真条件)的理解,背(即为真条件)的理解,背后的想法是,若前提的后的想法是,若前提的““意义意义””包含结论的包含结论的““意意义义””,那么,是有效的,否则是无效的主要思,那么,是有效的,否则是无效的主要思路是:准确地画出两个前提的文恩图,然后,观路是:准确地画出两个前提的文恩图,然后,观察图形,看看察图形,看看““结论的意义结论的意义””(为真条件)是否(为真条件)是否已经出现在图形中已经出现在图形中herehere))•主要步骤如下:(主要步骤如下:(1 1)先把三段论的前提和)先把三段论的前提和结论表示为集合演算的公式(结论表示为集合演算的公式(2 2)然后根据)然后根据前提对应的公式画出文恩图(前提对应的公式画出文恩图(3 3)观察图形)观察图形看看是否结论对应公式的文恩图已经出现看看是否结论对应公式的文恩图已经出现在图形中,若是,则有效,若不是,则无在图形中,若是,则有效,若不是,则无效。
简言之,三个步骤:解释(为真条件)效简言之,三个步骤:解释(为真条件)、画图、判定画图、判定回顾:性质命题的意义回顾:性质命题的意义•S∩P¯=0(所有(所有S是是P))•S∩P=0(所有(所有S不是不是P))•S∩P ≠0(有的(有的S是是P))•S∩P¯≠ 0(有的(有的S不是不是P))文恩图法判断三段论有效性实例例例1::所有所有M是是P所有所有S是是M所以,所有所以,所有S是是P 例例1::所有所有M是是P所有所有S是是M所以,所有所以,所有S是是P 第一步:解释(为真条件)第一步:解释(为真条件)例例1::所有所有M是是P所有所有S是是M所以,所有所以,所有S是是P 第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯=0S∩M¯=0S∩P¯=0例例1::所有所有M是是P所有所有S是是M所以,所有所以,所有S是是P第二步:画图第二步:画图 第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯=0S∩M¯=0S∩P¯=0例例1::所有所有M是是P所有所有S是是M所以,所有所以,所有S是是P第二步:画图第二步:画图 M P S第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯=0S∩M¯=0S∩P¯=0例例1::所有所有M是是P所有所有S是是M所以,所有所以,所有S是是P第二步:画图第二步:画图 M P S第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯=0S∩M¯=0S∩P¯=0例例1::所有所有M是是P所有所有S是是M所以,所有所以,所有S是是P第二步:画图第二步:画图 M P S第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯=0S∩M¯=0S∩P¯=0例例1::所有所有M是是P所有所有S是是M所以,所有所以,所有S是是P第二步:画图第二步:画图 M P S第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯=0S∩M¯=0S∩P¯=0第三步:观察判定第三步:观察判定例例1::所有所有M是是P所有所有S是是M所以,所有所以,所有S是是P第二步:画图第二步:画图 M P S第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯=0S∩M¯=0S∩P¯=0第三步:观察判定第三步:观察判定S S和和P P¯相交的部分为横相交的部分为横线,即为空。
线,即为空S S∩∩P P¯=0=0 成立因此,该三段成立因此,该三段论形式有效论形式有效例例2::所有所有M不是不是P所有所有S是是M所以,所有所以,所有S不是不是P例例2::所有所有M不是不是P所有所有S是是M所以,所有所以,所有S不是不是P第一步:解释(为真条件)第一步:解释(为真条件)例例2::所有所有M不是不是P所有所有S是是M所以,所有所以,所有S不是不是P第一步:解释(为真条件)第一步:解释(为真条件)M∩P = 0S∩M¯=0S∩P =0例例2::所有所有M不是不是P所有所有S是是M所以,所有所以,所有S不是不是P第二步:画图第二步:画图第一步:解释(为真条件)第一步:解释(为真条件)M∩P = 0S∩M¯=0S∩P =0例例2::所有所有M不是不是P所有所有S是是M所以,所有所以,所有S不是不是P第二步:画图第二步:画图 M P S第一步:解释(为真条件)第一步:解释(为真条件)M∩P = 0S∩M¯=0S∩P =0例例2::所有所有M不是不是P所有所有S是是M所以,所有所以,所有S不是不是P第二步:画图第二步:画图 M P S第一步:解释(为真条件)第一步:解释(为真条件)M∩P = 0S∩M¯=0S∩P =0例例2::所有所有M不是不是P所有所有S是是M所以,所有所以,所有S不是不是P第二步:画图第二步:画图 M P S第一步:解释(为真条件)第一步:解释(为真条件)M∩P = 0S∩M¯=0S∩P =0例例2::所有所有M不是不是P所有所有S是是M所以,所有所以,所有S不是不是P第二步:画图第二步:画图 M P S第一步:解释(为真条件)第一步:解释(为真条件)M∩P = 0S∩M¯=0S∩P =0第三步:观察判定第三步:观察判定 例例2::所有所有M不是不是P所有所有S是是M所以,所有所以,所有S不是不是P第二步:画图第二步:画图 M P S第一步:解释(为真条件)第一步:解释(为真条件)M∩P = 0S∩M¯=0S∩P =0第三步:观察判定第三步:观察判定S S和和P P相交的部分为横相交的部分为横线,即为空。
线,即为空S S∩∩P=0P=0 成立因此,该三段成立因此,该三段论形式有效论形式有效例例3::所有所有M是是P所有所有M是是S所以,所有所以,所有S是是P 例例3::所有所有M是是P所有所有M是是S所以,所有所以,所有S是是P第一步:解释(为真条件)第一步:解释(为真条件) 例例3::所有所有M是是P所有所有M是是S所以,所有所以,所有S是是P第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯ = 0M∩S¯=0S∩P¯ =0 例例3::所有所有M是是P所有所有M是是S所以,所有所以,所有S是是P第二步:画图第二步:画图第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯ = 0M∩S¯=0S∩P¯ =0 例例3::所有所有M是是P所有所有M是是S所以,所有所以,所有S是是P第二步:画图第二步:画图 M P S第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯ = 0M∩S¯=0S∩P¯ =0 例例3::所有所有M是是P所有所有M是是S所以,所有所以,所有S是是P第二步:画图第二步:画图 M P S第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯ = 0M∩S¯=0S∩P¯ =0 例例3::所有所有M是是P所有所有M是是S所以,所有所以,所有S是是P第二步:画图第二步:画图 M P S第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯ = 0M∩S¯=0S∩P¯ =0 例例3::所有所有M是是P所有所有M是是S所以,所有所以,所有S是是P第二步:画图第二步:画图 M P S第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯ = 0M∩S¯=0S∩P¯ =0第三步:观察判定第三步:观察判定 例例3::所有所有M是是P所有所有M是是S所以,所有所以,所有S是是P第二步:画图第二步:画图 M P S第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯ = 0M∩S¯=0S∩P¯ =0第三步:观察判定第三步:观察判定S S和和P P¯相交的部分并非都相交的部分并非都是为横线,也就是说,未是为横线,也就是说,未必为空。
就是说,必为空就是说,S S∩∩P P¯ =0=0未必成立该三段论形未必成立该三段论形式无效例例4::所有所有M是是P所有所有M是是S所以,有的所以,有的S是是P例例4::所有所有M是是P所有所有M是是S所以,有的所以,有的S是是P第一步:解释(为真条件)第一步:解释(为真条件)例例4::所有所有M是是P所有所有M是是S所以,有的所以,有的S是是P第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯ = 0M∩S¯=0S∩P ≠ 0例例4::所有所有M是是P所有所有M是是S所以,有的所以,有的S是是P第二步:画图第二步:画图第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯ = 0M∩S¯=0S∩P ≠ 0例例4::所有所有M是是P所有所有M是是S所以,有的所以,有的S是是P第二步:画图第二步:画图 M P S第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯ = 0M∩S¯=0S∩P ≠ 0例例4::所有所有M是是P所有所有M是是S所以,有的所以,有的S是是P第二步:画图第二步:画图 M P S第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯ = 0M∩S¯=0S∩P ≠ 0例例4::所有所有M是是P所有所有M是是S所以,有的所以,有的S是是P第二步:画图第二步:画图 M P S第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯ = 0M∩S¯=0S∩P ≠ 0例例4::所有所有M是是P所有所有M是是S所以,有的所以,有的S是是P第二步:画图第二步:画图 M P S第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯ = 0M∩S¯=0S∩P ≠ 0第三步:观察判定第三步:观察判定例例4::所有所有M是是P所有所有M是是S所以,有的所以,有的S是是P第二步:画图第二步:画图 M P S第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯ = 0M∩S¯=0S∩P ≠ 0第三步:观察判定第三步:观察判定S S和和P P相交的部分并未出现相交的部分并未出现+ +,即未必非空。
就是说,,即未必非空就是说,S S∩∩P P ≠ 0 0未必成立该三未必成立该三段论形式无效段论形式无效例例5::所有所有M是是P有的有的S是是M所以,有的所以,有的S是是P例例5::所有所有M是是P有的有的S是是M所以,有的所以,有的S是是P第一步:解释(为真条件)第一步:解释(为真条件)例例5::所有所有M是是P有的有的S是是M所以,有的所以,有的S是是P第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯ = 0S∩M ≠ 0S∩P ≠ 0例例5::所有所有M是是P有的有的S是是M所以,有的所以,有的S是是P第二步:画图第二步:画图第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯ = 0S∩M ≠ 0S∩P ≠ 0例例5::所有所有M是是P有的有的S是是M所以,有的所以,有的S是是P第二步:画图第二步:画图 M P• S第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯ = 0S∩M ≠ 0S∩P ≠ 0例例5::所有所有M是是P有的有的S是是M所以,有的所以,有的S是是P第二步:画图第二步:画图 M P• S第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯ = 0S∩M ≠ 0S∩P ≠ 0例例5::所有所有M是是P有的有的S是是M所以,有的所以,有的S是是P第二步:画图第二步:画图 M P• + S第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯ = 0S∩M ≠ 0S∩P ≠ 0例例5::所有所有M是是P有的有的S是是M所以,有的所以,有的S是是P第二步:画图第二步:画图 M P• + S第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯ = 0S∩M ≠ 0S∩P ≠ 0第三步:观察判定第三步:观察判定例例5::所有所有M是是P有的有的S是是M所以,有的所以,有的S是是P第二步:画图第二步:画图 M P• + S第一步:解释(为真条件)第一步:解释(为真条件)M∩P¯ = 0S∩M ≠ 0S∩P ≠ 0第三步:观察判定第三步:观察判定S S和和P P相交的部分出现相交的部分出现+ +,即,即非空。
就是说,非空就是说,S S∩∩P P ≠ 0 0成立该三段论形式有效该三段论形式有效例例6::所有所有M不是不是P有的有的S是是M所以,有的所以,有的S不是不是P 例例6::所有所有M不是不是P有的有的S是是M所以,有的所以,有的S不是不是P第一步:解释(为真条件)第一步:解释(为真条件) 例例6::所有所有M不是不是P有的有的S是是M所以,有的所以,有的S不是不是P第一步:解释(为真条件)第一步:解释(为真条件)M∩P = 0S∩M ≠ 0S∩P ¯ ≠ 0 例例6::所有所有M不是不是P有的有的S是是M所以,有的所以,有的S不是不是P第二步:画图第二步:画图第一步:解释(为真条件)第一步:解释(为真条件)M∩P = 0S∩M ≠ 0S∩P ¯ ≠ 0 例例6::所有所有M不是不是P有的有的S是是M所以,有的所以,有的S不是不是P第二步:画图第二步:画图 M P• S第一步:解释(为真条件)第一步:解释(为真条件)M∩P = 0S∩M ≠ 0S∩P ¯ ≠ 0 例例6::所有所有M不是不是P有的有的S是是M所以,有的所以,有的S不是不是P第二步:画图第二步:画图 M P• S第一步:解释(为真条件)第一步:解释(为真条件)M∩P = 0S∩M ≠ 0S∩P ¯ ≠ 0 例例6::所有所有M不是不是P有的有的S是是M所以,有的所以,有的S不是不是P第二步:画图第二步:画图 M P• + S第一步:解释(为真条件)第一步:解释(为真条件)M∩P = 0S∩M ≠ 0S∩P ¯ ≠ 0 例例6::所有所有M不是不是P有的有的S是是M所以,有的所以,有的S不是不是P第二步:画图第二步:画图 M P• + S第一步:解释(为真条件)第一步:解释(为真条件)M∩P = 0S∩M ≠ 0S∩P ¯ ≠ 0第三步:观察判定第三步:观察判定 例例6::所有所有M不是不是P有的有的S是是M所以,有的所以,有的S不是不是P第二步:画图第二步:画图 M P• + S第一步:解释(为真条件)第一步:解释(为真条件)M∩P = 0S∩M ≠ 0S∩P ¯ ≠ 0第三步:观察判定第三步:观察判定S S和和P P ¯相交的部分出现相交的部分出现+ +,,即非空。
就是说,即非空就是说,S S∩∩P P ¯ ≠ 0 0成立该三段论形式有成立该三段论形式有效5. 5. 课堂练习:先写出下面三段论的论证形式,再分课堂练习:先写出下面三段论的论证形式,再分别用五规则法和文恩图法判断其论证形式是否有效别用五规则法和文恩图法判断其论证形式是否有效((1 1)所有人都是哺乳动)所有人都是哺乳动物物((2 2)有的生物不是哺乳)有的生物不是哺乳动物动物所以,(所以,(3 3)有的生物不)有的生物不是人是人中项:哺乳动物中项:哺乳动物大项:人大项:人小项目:生物小项目:生物((1 1)所有人都是哺乳动)所有人都是哺乳动物物((2 2)有的生物不是哺乳)有的生物不是哺乳动物动物所以,(所以,(3 3)有的人不是)有的人不是生物生物中项:哺乳动物中项:哺乳动物大项:生物大项:生物小项:人小项:人。












