离散数学谓词逻辑

讨论议题:离散数学谓词逻辑
本议题来自课程共(12节):
  1. 第二章 命题逻辑
  2. 第三章 谓词逻辑
  3. 第一节 谓词、量词、个体域
  4. 第二节 谓词公式
  5. 第四节 谓词演算的永真式
  6. 数理逻辑
  7. 第一章 命题逻辑
  8. 第二章 谓词逻辑
  9. 第一节 谓词、命题函数与量词
  10. 第二节 谓词公式与翻译
  11. 第四节 谓词演算的等价式与蕴含式
  12. 第六节 谓词演算的推理理论
参与讨论