逻辑学中规则归纳
第二章概念
定义的规则：
1.定义项与被定义项在外延上必须全同
2.定义项不得直接或简介地包含被定义项
3.定义必须清楚明确
划分的规则：
1.划分所得各子项外延之和应等于母项的外延
2.划分所得各子项应当互相排斥
3.每次划分必须按同一标准进行
4.
第四章简单判断及其推理
三段论的规则
关系判断：
不能以非对称关系判断作为前提进行推理
不能以非传递关系判断作为前提进行推理
混合关系推理：
1.前提中的性质判断必须是肯定推理
2.前提中两个相同项（相当于中项）至少有一个项是周延的
3.在前提中不周延的项，在结论中也不得周延
4.前提中关系判断是肯定的，则结论中的关系判断也必须是肯定的
5.前提中的关系判断是否定的，则结论中的关系判断也必须是否定的
6.
真值判断
在逻辑演算中，先列出小括号中的逻辑式，再列出中括号中的逻辑形式
当且仅当所有联言肢为真时，联言判断为真；当；联言判断为真时，所有联言肢为真
全部选言肢中只要有一个为真，则相容选言判断为真；只有当全部选言肢为假时，相容选言判断才是假的
相容选言推理只有一个正确的推理形式，即否定肯定式
相容选言推理规则是:
1、否定一部分选言肢，就要肯定另一部分选言肢
2、肯定一部分选言肢，不能否定另一部分选言肢
不相容选言推理规则是：
1、否定一部分选言肢，就要肯定另一部分选言肢
2、肯定一部分选言肢，就要否定另一部分选言肢
选言肢穷尽是选言前提真的充分条件，却不是其必要条件
充分条件假言判断的逻辑性质：有之则必然，无之未必然
必要条件假言判断的逻辑性质：有之未必然，无之必不然
充分必要条件假言判断逻辑性质：有之则必然，无之必不然
由此可得充分条件假言推理推理规则：
肯定前件就要肯定后件（充分条件：有之则必然）
否定前件不能否定后件（充分条件：无之未必然）
否定后件就要否定前件（必要条件：无之必不然）
肯定后件不能肯定前件（必要条件：有之未必然）
必要条件假言判断和充分条件相似，只不过是位置换一下而已只要记住上面那四条：有之则无之则即可
重言式有：
充分条件假言推理的肯定前件式
充分条件假言推理的否定后件式
必要条件假言推理的否定前件式
必要条件假言推理的肯定后件式
相容选言推理的否定肯定式（否定其中一个得出肯定另一方个的结论）
联言推理的分解式
反三段论：三段论形式正确，结论不成立，一前提成立，可推出另一前提不成立
