离散数学 推理理论

讨论议题:离散数学 推理理论
本议题来自课程共(2节):
  1. 第七节 推理理论
  2. 第六节 谓词演算的推理理论
参与讨论