按作者与版本查阅
以下按已登记位置排列。出现顺序、原文引用与已登记依赖分别展示;最早位置不代表全书首次定义。
Szekeres · source-snapshot-bc3404156f6e
已登记出处中的最早位置:§1.1 · zh-CN。
来源短摘录与定位
§1.1 · zh-CN · translation · unreviewed
它表示所有使 成立的对象。这里不展开形式逻辑的完整定义。命题由常量、变量、逻辑联结词(logical connective)以及量词(quantifier)组成,并按照逻辑规则操作。