1. 概述 于 逻辑学 中, 命题 是对一个陈述的 语义 解释, 具备 真值. 2. 谓词 3. 于范畴逻辑中 4. 于类型论中 5. 于命题与谓词逻辑中 6. 相关概念 7. 术语翻译 中文英文命题proposition 逻辑学