第2章 谓词逻辑-3rd1

【文件属性】：

文件名称：第2章 谓词逻辑-3rd1

文件大小：500KB

文件格式：PDF

更新时间：2022-08-03 15:54:48

第二章 谓词逻辑回顾• 谓词公式的翻译• 推理规则– 约束变元改名– *变元代入– 命题变元代换规则– 取代规则– 量词的增删规则• 全称特指（Univers