Tags
7 个页面
谓词
个体变量指派函数
自然语言命题符号化一阶逻辑
谓词逻辑解释
前束范式
谓词逻辑等值式模式
谓词逻辑语义
谓词逻辑