离散数学
谓词逻辑
谓词逻辑语义
谓词逻辑解释
个体变量指派函数
变量改名注意事项
前束范式
自然语言命题符号化一阶逻辑
谓词逻辑等值演算
谓词逻辑等值式模式
谓词逻辑推理理论
谓词逻辑推理规则