一阶谓词逻辑

讨论议题:一阶谓词逻辑
本议题来自课程共(3节):
  1. 第三章 谓词逻辑
  2. 第四节 谓词演算的永真式
  3. 第二章 谓词逻辑
参与讨论