熟练掌握命题逻辑的基本概念,要求准确地给出命题符号化。
熟练掌握命题公式真值表、等价、重言式和命题推理概念和方法。
熟练掌握求命题公式主析取范式的方法。
4. 熟练掌握谓词逻辑的基本概念,要求准确地给出的谓词符号化。
5. 熟练掌握谓词推理的方法。
2019年辽宁大学信息学院硕士研究生招生考试离散数学考试大纲集合论类似问题答案