1．掌握命题、命题联结词的概念；理解命题公式的递归定义，熟练掌握命题符号化的方法，掌握命题公式真值表的求法。
2．了解范式的概念，掌握求命题公式的析取范式、合取范式、主式的方法。
3．了解与非、或非、异或、蕴含否定等联结词及联结词的归约。
4．掌握常用的推理规则和证明方法。
5．理解谓词、量词、谓词公式、自由变元和约束变元的概念。
6．掌握谓词演算基本的永真公式。
7．会利用谓词演算的推理规则进行简单的推理。
