离散数学 谓词

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