抽象形式逻辑纲要

《抽象形式逻辑纲要》由会员分享，可在线阅读，更多相关《抽象形式逻辑纲要（3页珍藏版）》请在装配图网上搜索。

抽象形式逻辑纲要 （附录：主要逻辑符号）小乡碎石 2012.07附：抽象形式逻辑体系主要逻辑符号Aw概念 A 的外延An概念 A 的内涵Pc判断 P 的成立性Pz判断P的真假值，即判断P成立性Pc为1或0的特殊情况交叉（暂代替二半圆括号交叉图形） 纯交叉关系，有共同对象且有不属于对方的对象 ）（ 无交关系包含，左侧事物包含右侧事物匚包含于，右侧事物包含左侧事物n 包含，左侧事物包含右侧事物，又特指不全等的真包含u 包含于，右侧事物包含左侧事物，又特指不全等的真包含于=等于，相等，全同工不等于略等于W小于或等于三大于或等于V小于大于+ 逻辑和，和组合，和加组合，且组合，串组合，类似其他逻辑体系中的八nI逻辑选，选组合，选排组合，单选排II逻辑或，或组合，或排组合，任选排，类似其他逻辑体系中的V U左侧成立性小于右侧，若左侧成立则右侧成立成立性关联制约并相等，可互相推导n 判断的非，判断的否定。如：P为判断P的非或否定（下划线）判断的反。如：P为判断P的反方括号内为逻辑单位，逻辑单元，如：P+Q“” 引号内为逻辑单位，逻辑单元。（） 括号内为优先处理逻辑关系PA 或 A 全称肯定判断PE 或 E全称否定判断PI 或 I特称肯定判断PO 或 O特称否定判断