年人是骗人者。
所有吸血鬼都是怪物，所有怪物都是上帝的造物，所以有些上帝的造物不是吸血鬼。
? 以上五条三段论规则是基本的，用他们就足以把有效的三段论与无效的三段论区别开来（既充分又必要）
为明确和方便起见，有时还从它们证明、推导出一些规则，例如： ⑥ 两个特称前提不能得出结论 前提分别为：II、IO、OI、OO的情形均不可能 ⑦ 如果两个前提中有一个特称，结论必然特称 由⑥得“不可能两个前提均特称”，故，必为一全一特。
上述第7个规则的逆命题不成立。若结论特称，前提有可能均是全称，如AAI
*根据三段论的一般规则亦可证明：一个结论全称的正确三段论，其中项不能周延两次。
5.三段论的特殊规则
针对特殊的格——每个格都有自己的规则
小前提必须肯定 第一格规则 大前提必须全称 两个前提必有一个否定 第二格规则 （意味着结论必然否定） 大前提必须全称 小前提必须肯定 第三个规则 结论必须特称 如果大前提肯定，则小前提必须全称 如果小前提肯定，则结论必须特称 第四格规则 如果有一个前提否定，则大前提必须全称 如果大前提特称，则两个前提都必须肯定 如果小前提特称，则大前提必须否定
6.三段论的全部有效格式 第一格 第二格 第三格 第四格 AAA AEE AAI AAI AAI* AEO* AII AEE AII AOO EAO AEO* EAE EAE EIO EAO EAO* EAO* IAI EIO EIO EIO OAO IAI 共24个有效格式，每格6个
*弱式/差等式：本可以得出全称结论，却得出特称结论 ·一些观察：
结论为全称肯定的仅有AAA-1
大前提为特称肯定的仅有IAI-3，IAI-4 四个格的EAO式、EIO式均有效
7.三段论的非标准形式 例：
“没有企鹅不是鸟，并非所有的鸟都会飞，所以，有些企鹅不会飞” →所有的企鹅都是鸟，有些鸟不会飞，所以有些企鹅不会飞。 【分析】
有些企鹅不会飞→SOP
前提1：所有的企鹅都是鸟→SAM（小前提） 前提2：有些鸟不会飞→MOP（大前提） 【答】
1) 该推理整理为标准形式的三段论后，属于第一格OAO式 2) 它是无效的，违反了三段论的一般规则，中项在前提中至少周延一次。
8.非标准化为标准的注意事项
1) 首先将所有前提和结论化为标准形式的直言命题
①用矛盾关系整理“并非。。。”命题
②注意双重否定（如：没有S不是P→所有的S都是P） 2) 确定大、中、小项
①结论的主项是小项S，结论的谓项是大项P,中项M在结论中不出现
②留心四词项错误
3) 辨析哪个是大前提，哪个是小前提
①含大项P的是大前提，含小项S的是小前提。在非标准形式下，有时先说的是小前提，这就需要安排两个前提的顺序
4) 分析其格式及其有效性 5) 有时，分析方法不唯一 【练习】
“所有戴眼镜的人都不是视力好的人，而有些视力好的人不能当飞行员；所以，有些戴眼镜的人不能当飞行员”
分类讨论：
1.若将“能当飞行员的人”视为大项，则该三段论属于第x格第x式，且违反了一般规则的：？
2. 若将“不能当飞行员的人”视为大项，则该三段论属于第x格第x式，且违反了一般规则的：？
【答】
1. 第一格；OEO式；两个否定前提不能得出结论 2. 第一格；IEI式；有否定前提，当且仅当，结论否定
9.用文恩图判定三段论的有效性
文恩图用两个相互交叉的圆圈表示直言命题主谓项关系 可以用文恩图去验证任一三段论是否有效。文恩图不假定主项存在，因而那些依赖主项存在的三段论根据文恩图都是无效的。
由于三段论有三个词项，我们需要三个相互交叠的圆圈，分别代表大项、中项、小项
S P M （一）图解两个前提时，如果有一个是全称前提，另一个是特称前提，应先图解全称前提。
1.图解全称前提
*所有的S都是P——将P外的S荫蔽（画上阴影） *所有的S都不是P——将P和S交集荫蔽
2.图解特称前提
*有的S是P——在P和S的交集中画表示某部分不空的记号“+” *有的S不是P——在S中P外的部分画不空记号“+”
3.“+”所放的位置，假如不能确定应放在线哪一边时，就把它放在线上。（交叉线）
（二）然后检查该文恩图，看两个前提的图解是否包含了结论的图解，如果包含了结论的图解，该三段论就是有效的，否则就是无效的。
①例如：PAM，SEM，所以，SEP PAM SEM M S →所有的P都是M P →将M外的P都涂上阴影（红色） →所有的S都不是M →将S与M的交集涂上阴影（橙色） 可得出SEP，有效（上述阴影包含了最后结论的阴影） 因为SEP →所有的S都不是P →将S与P的交集涂上阴影（蓝色）
法律逻辑(复习版)
