离散数学64学时命题原则.DOCVIP

第 PAGE 2 页 共 NUMPAGES 2 页 离散数学 一、数理逻辑和代数系统部分基本要求（35分左右） ①理解命题的定义及否定，合取，析取，蕴含，等价等五种联结词的定义（联结词的完备集和真值函数不做要求）。 ②理解合式公式的定义，理解重言式，矛盾式及可满足式的概念，能熟练将命题符号化。 ③理解等值式的定义，能熟练进行等值演算，理解主析取式和主合取式的定义。 ④能熟练用真值表法和等值演算发求命题公式的主范式及判断公式的类型（特别是会求主范式）。 ⑤熟练掌握在自然推理系统中进行推理的几种方法：（1）直接证明法，（2）附加前提法，（3）归谬法。 ⑥理解个体词、谓词、量词的概念（在一阶逻辑