孙磊磊老师: 学习这门课程最重要的是要有整体学习观念,大家可以先对照着目录或往年的课件,看一下如何一步步地完成一个命题逻辑(或谓词逻辑)的公理系统,然后再看,当前学习的这节课在整个流程上是处于哪个位置,以及与上节课学习的内容和下节课将要...