谓词逻辑

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