• 离散数学之谓词逻辑
• 离散数学的谓词逻辑详解
• 离散数学 谓词逻辑 三段...
• 离散数学谓词逻辑分解
• 一阶逻辑基本概念谓词逻...
• 离散数学中形式逻辑与数...