二阶谓词

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