SAP T SEP F SIP T SOP F 1、 矛盾关系p66 T F T F F F T T F F T T F T F T A与O，E与I之间，不可同真假。（A?? O，E? ?I）
A?? O、?A? O、 O? ?A、? O?A；E??I、?E? I、 I??E、?I? E。 2、 反对关系
A与E之间，不可同真，可同假。A?? E 、E?? A。
3、 差等关系
A与I，E与O之间，A/E真，则I/O真；I/O假，则A/E假。（重言蕴含关系） A?I，? I?? A； E?O，? O? ? E。 4、 下反对关系
I与O之间，可同真，不可同假。? I? O，? O? I。 对当矩阵：
二、
直言命题的变形推理p69
1、换质法
改变一个直言命题的质，从而推出另一个直言命题的推理。 规则：（1）改变命题的质，肯定换否定，否定换肯定。
（2）谓项改为原来词项的负词项。 换质法前提结论之间总是重言等值关系。 2、换位法
通过交换直言命题主谓项的位置，从而推出另一个直言命题的推理。
36
规则：（1）只改变主谓项位置，不改变命题的质。
（2）在前提中不周延的项，在结论中不得周延。（SOP不能换位！） 简单换位，前提结论之间是重言等值关系。 SEP ? PES，SIP? PIS
限制（量）换位，前提结论之间是重言蕴含关系。 SAP?PIS 3、换质换位法
换质法和换位法的结合。分为先换质和先换位（可以换位的前提下）。 换质法和换位法还可以同对当关系推理结合：
比如：一个有效的换质位推理的结论是PES，其前提是（ ）。 ①所有S都是非P ②所有S都是P ③所有非S都是P ④所有非S都是非P
第五节 三段论
一、
三段论的定义p79
1、 三段论是由包含一个共同项的两个直言命题推出一个直言命题的推理。 2、三段论的推理形式是固定的，表现为：
（1） 任何一个三段论由而且只由三个直言命构成； （2） 任何一个三段论由而且只由三个项构成； （3） 每两个直言命题有而且只有一个项是相同的。
结论的主项称为小项（minor term）S,结论的谓项称为大项（major term）P,两个前提中包含的那个共同项称为中项（middle term）M。包含大项的前提称为大前提，包含小项的前提称为小前提。竖式写法大前提在上。 3、三段论的格和式
根据中项M在前提中的不同位置，三段论分为四个格：
37
三段论三个命题不同的质和量的组合称为三段论的式，如：第一格AAA式。 二、判定三段论式有效性的方法 集合表达式法，文恩图法 三、三段论的规则p80
1、三段论公理：一类对象的全部是/不是什么，这类对象的部分也是/不是什么。
，
2、三段论的规则
。
规则1：中项在前提中至少周延一次。错误：中项M不周延。
规则2：在前提中不周延的项，在结论中不得周延。错误：大项P、小项S扩大。 规则3：前提与结论中否定命题的数目必须相同。（两个否定前提不能得出结论。
前提之一是否定的，结论也是否定的；结论是否定的，前提之一必定是否定的。）错误：双否定前提
判定三段论形式是否正确的一般步骤：
第一步：前提和结论的否定数是否相同。（简记为：否定平衡） 第二步：中项是否至少周延一次。（简记为：中项周延） 第三步：是否有大项或小项扩大。（简记为：结论不扩大） 四、三段论的导出规则p85
任何有效三段论式都须遵守以下导出规则：
1、两个前提不能都是特称的。错误：双特称。 2、如果前提之一是特称的，结论就是特称的。 3、如果大前提是特称的，那么小前提不是否定的。
不同格有效三段论式的导出规则： 第一格：1、小前提是肯定的；
38
2、大前提是全称的。
第二格：1、前提中必有一个是否定的； 2、大前提是全称的； 3、结论是否定的。 第三格：1、小前提是肯定的；
2、结论是特称的；
3、至少有一个前提是全称的。
第四格：1：如果有一个前提是否定的，那么大前提是全称的； 2、如果大前提是肯定的，那么小前提是全称的； 3、如果小前提是肯定的，那么结论是特称的；
4、 前提不能是特称否定的； 5、结论不能是全称肯定的。
练习p111
第六章 模态逻辑 第一节 模态逻辑概述p145
1、 关于模态
所谓模态是指事物或认识的必然性和可能性等这类性质。 狭义模态可以看作关于真的性质的模态，即必然真、可能真等等。 2、命题的模态形式
命题常项：必然，?；可能，?。 模态对当方阵：
39
第二节 规范模态逻辑p153
1、规范模态逻辑的定义
含道义概念必须、允许、禁止，并把它们作为逻辑常项的命题称道义命题，又称规范命题。 2、类型
必须命题O（ought），允许命题P(permit)、禁止命题F(ferbid)。（因为“必须p”等值于“禁止非p”，“必须非p”等值于“禁止p”，故归结为四种：Op，Op；Pp，Pp。） 3、对当关系
习题
一、填空
1、词项的主要逻辑特征是有（ ）、（ ）。
2、命题的基本的逻辑特征是，对思维对象总是（ ）或（ ）；任何命题都是（ ）。
3、“大学生”的邻近属词项是（ ），种词项可以是（ ），矛盾关系的词项是（ ），反对关系的词项是（ ）。
4、 “词项S与P交叉”的逻辑形式人工语言表述是（ ）。
40