相关推荐：

• 2.2谓词公式与解释
• 谓词逻辑I 谓词、量词与谓词公式
• 第9讲谓词逻辑公式
• 谓词逻辑
• 一阶谓词逻辑word版本
• 13谓词逻辑
• 离散数学的谓词逻辑详解
• 谓词逻辑表示法
• 谓词逻辑永真公式
• 04-L.01 谓词逻辑的基本概念