跳转至

slide 1:课程大纲

  • 2 命题逻辑
  • 3 三段式推理
  • 4 关于谓词和类的推理
  • 8 有效性测试
  • 9 证明(自然演绎)
  • 10 计算(Resolution)
  • 11 集合
  • 12 关系
  • 13 函数