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

抽象形式逻辑纲要（附录：主要逻辑符号）
小乡碎石 2012.07
附：抽象形式逻辑体系主要逻辑符号
Aw 概念A的外延
An 概念A的内涵
Pc 判断P的成立性
Pz 判断P的真假值，即判断P成立性Pc为1或0的特殊情况
交叉（暂代替二半圆括号交叉图形）纯交叉关系，有共同对象且有不属于对方的对象)( 无交关系
⊇包含，左侧事物包含右侧事物
⊆包含于，右侧事物包含左侧事物
⊃包含，左侧事物包含右侧事物，又特指不全等的真包含
⊂包含于，右侧事物包含左侧事物，又特指不全等的真包含于
＝等于，相等，全同
≠不等于
≈略等于
≤小于或等于
≥大于或等于
＜小于
＞大于
＋逻辑和，和组合，和加组合，且组合，串组合，类似其他逻辑体系中的∧∩
∣逻辑选，选组合，选排组合，单选排
‖逻辑或，或组合，或排组合，任选排，类似其他逻辑体系中的∨∪
→左侧成立性小于右侧，若左侧成立则右侧成立
↔成立性关联制约并相等，可互相推导
┐判断的非，判断的否定。

如：┐P 为判断P的非或否定
（下划线）判断的反。

如：P 为判断P的反
[] 方括号内为逻辑单位，逻辑单元，如：[P+Q]
“”引号内为逻辑单位，逻辑单元。

（）括号内为优先处理逻辑关系
PA 或A 全称肯定判断
PE或E 全称否定判断PI或I 特称肯定判断PO或O 特称否定判断。