抽象形式逻辑纲要(附录：主要逻辑符号)

《抽象形式逻辑纲要(附录：主要逻辑符号)》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、抽象形式逻辑纲要（附录：主要逻辑符号）小乡碎石2012.07附：抽象形式逻辑体系主要逻辑符号Aw概念A的外延An概念A的内涵Pc判断P的成立性Pz判断P的真假值，即判断P成立性Pc为1或0的特殊情况交叉（暂代替二半圆括号交叉图形）纯交叉关系，有共同对象且有不属于对方的对象)(无交关系⊇包含，左侧事物包含右侧事物⊆包含于，右侧事物包含左侧事物⊃包含，左侧事物包含右侧事物，又特指不全等的真包含⊂包含于，右侧事物包含左侧事物，又特指不全等的真包含于＝等于，相等，全同≠不等于≈略等于≤小于或等于≥大于或等于＜小于

2、＞大于＋逻辑和，和组合，和加组合，且组合，串组合，类似其他逻辑体系中的∧  ∩∣逻辑选，选组合，选排组合，单选排‖逻辑或，或组合，或排组合，任选排，类似其他逻辑体系中的 ∨  ∪→左侧成立性小于右侧，若左侧成立则右侧成立↔成立性关联制约并相等，可互相推导┐判断的非，判断的否定。如：┐P为判断P的非或否定（下划线）判断的反。如：P为判断P的反[]方括号内为逻辑单位，逻辑单元，如：[P+Q]“”引号内为逻辑单位，逻辑单元。（）括号内为优先处理逻辑关系PA或A全称肯定判断PE或E全称否定判断PI或I特称肯定判断

3、PO或O特称否定判断