逻辑学规则归纳精编.docx

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