2017年南京信息工程大学硕士研究生招生入学考试离散数学考试大纲-软件工程专业数理逻辑

1．掌握命题、命题联结词的概念；理解命题公式的递归定义，熟练掌握命题符号化的方法，掌握命题公式真值表的求法。

2．了解范式的概念，掌握求命题公式的析取范式、合取范式、主式的方法。

3．了解与非、或非、异或、蕴含否定等联结词及联结词的归约。

4．掌握常用的推理规则和证明方法。

5．理解谓词、量词、谓词公式、自由变元和约束变元的概念。

6．掌握谓词演算基本的永真公式。

7．会利用谓词演算的推理规则进行简单的推理。