谓词演算

讨论议题:谓词演算
本议题来自课程共(4节):
  1. 第二节 谓词公式
  2. 第四节 谓词演算的永真式
  3. 第四节 谓词演算的等价式与蕴含式
  4. 第六节 谓词演算的推理理论
参与讨论