相关推荐：

• 第16章 谓词演算中的归结
• §3谓词演算的形式证明
• 谓词演算推证
• 人工智能 谓词演算
• 第六讲谓词演算的永真公式
• 离散第13讲 谓词演算基本概念
• 离散数学24谓词演算的推理理论
• 7逻辑代数(下)：谓词演算习题答案
• 谓词演算的推理理论(牛连强)
• 18谓词演算的推理规则.