《抽象形式逻辑纲要》由会员分享，可在线阅读，更多相关《抽象形式逻辑纲要（3页珍藏版）》请在装配图网上搜索。
1、【经典资料，wo RD文档，可编辑修改】【经典考试资料，答案附后，看后必过，WORD文档，可修改】抽象形式逻辑刚要（第十部分：演绎推理2）抽象形式逻辑纲要 （ 符号化正式版） 小乡碎石 2012.075.2 二、关系推理指根据事物间关系所进行的推理。 用概念反映， 则表现为概念间关系的推理。由于包含律，事物性质推理也转化为概念间包含关系的推理，所以，广义的关系推理也报括直言判断推理。由于事物关系也可以理解为事物性质，因此，一般关系推理和性质推理在逻辑上是相同的，其规则也是相同的。关系推理也可以转化为性质推理。在这里，所要重点分析的是具体关系的推理。具体关系推理指根据事物具体关系性质所进行的推理
2、。如，AB且BG所以AC这里根据事物大小关系的具体性质（传递性）所进行的推理。这里演绎的依据是：事物大小关系具有传递性，这是一个不断被事实验证着的已知结论。包含关系的传递性也是包含律事实验证的结论。有些关系的对称性也是事实验证依据。如，因为： A=R所以，B=A这些具体关系既然以事实为基础，推理的精确度或严密性就和事实验证的精 确度相关。例如，B在C的左边，且A在B的左边，所以，A在C的左边。这是一个传 递性随“左右”精确而变化的推理。由于存在精确度问题，所以这是一个精 确度不高的推理。5.3 三、成立性制约关系推理指按判断成立性大小制约关系进行的推理。例如，“若P则Q且若Q则R ;P,所以R
3、”上述成立性制约关系：Pcv QcQcv Rc ; P成立，所以Q成立，所以R成立, 即Pf R成立性制约关系推理必须是同论域有制约关系且成立性大小关系明确的判断才可以进行推理。例如，已知“小张是男”真，成立性 =1;且“小王是女”真，成立性=1,但彼此无成立性制约，并不能互推。但如果再有一结论：“小 张小王生有一子”，就在上述二判断间建立起制约关系：“小张是男”且“小 张小王生有一子”-“小王是女”制约的基础是客观事实。有制约关系的判断，从小成立性判断的成立（真），可演绎推导出大成立性 判断的成立（真）；从成立性大的不成立（假），可推导成立性小的不成立（假）5.4 四、组合推理组合推理也就是
4、复合判断推理。一般推理都是判断组合后的推理。如三段论第一格AAA式其实是“所有B都是C + “所有A都是B” - “所有A都是C” ,即大小前提“和”组合推导 出结论。除和组合外，还有或组合、条件组合组合推理可以根据成立性大小制约关系进行格式演变式推理。5.4.1 和组合：P+AP , P+AQ ; P+Q真，则 P真，Q真；P+Q假，则 P II Q真5.4.2 或组合:Pll Q真,则P+Q假；Pll Q假，则P+Q假5.4.3 条件组合：PQ ; P真，则Q真；Q假，则P假在实际思维中，上述组合常综合运用。但都可以分步简化为简单组合推理，其简单组合推理的演绎基础就是形式逻辑基本规律和关于客观事实的结论。5.5 五、推理过程模块化在思维中，复杂组合推理还可以模块化。即将常用复杂组合推理的中间演绎过程模块记忆，形成固定推理结构、定理或结论。5.6 六、推理运算运算的主要内容是判断的运算，也是推理模块化主要手段。判断的运算主要是结合等值变换进行成立性尤其是真假值的运算。
抽象形式逻辑纲要
