wnico

摘要： 谓词逻辑公式语义 谓词逻辑语法 谓词逻辑语言 谓词逻辑语言，又称一阶逻辑语言 逻辑符号：包括变元、联结词、量词 非逻辑符号：包括常量、函词、谓词 仅有个体变元 按形成规则构成的合式公式集合 谓词逻辑，也称为狭义谓词逻辑 谓词都是关于个体的性质或关系，而不涉及关系的性质或关系之间的关系 函数是关于个体 阅读全文