第二章 命题逻辑-3rd1

【文件属性】：

文件名称：第二章 命题逻辑-3rd1

文件大小：800KB

文件格式：PDF

更新时间：2022-08-03 17:52:34

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