西安电子科技大学离散数学软件学院第一篇数理逻辑第2章谓词逻辑V第7课时1.1 谓词和量词→第8课时1.2谓词公式A第9课时1.3谓词公式的翻译→第10课时1.4谓词演算的永真公式第11课时1.5谓词演算的四个推理规则第12课时1.6谓词逻辑推理及应用V西安电子科技大学 离散数学 软件学院 第一篇 数理逻辑 第7课时 1.1 谓词和量词 第2章 谓词逻辑 1.4 谓词演算的永真公式 1.2 谓词公式 1.5 谓词演算的四个推理规则 第8课时 第10课时 第11课时 第9课时 1.3 谓词公式的翻译 第12课时 1.6 谓词逻辑推理及应用