抽象形式逻辑纲要(附录：主要逻辑符号)_形式逻辑课后练习答案

抽象形式逻辑纲要(附录：主要逻辑符号)由刀豆文库小编整理，希望给你工作、学习、生活带来方便，猜你可能喜欢“形式逻辑课后练习答案”。

抽象形式逻辑纲要（附录：主要逻辑符号）

小乡碎石 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 特称否定判断