离散数学知识点.docxVIP

离散数学知识点复习 第一章 命题逻辑 命题的判定（注意祈使句、感叹句、疑问句、悖论及真值不确定的句子不是命题，注意判断描述未来确定事件的句子）。 命题的符号化（注意五种联结词在日常用语中的等价表达，如“当?”、“仅当?”、“当且仅当?”、“只要?就?”、“只有?才?”等。 命题公式的真值表，求公式的成真赋值、成假赋值，公式类型的判断方法。 命题公式的等值演算（基本等值式） 求取公式的主析取范式与主合取范式的方法。（真值表法、等值演算法） 构造推理的证明。（一般方法、附加前提法及归谬法） 第二章 一阶逻辑 一阶逻辑中命题的符号化（注意合取、蕴含的使用，如“没有不呼吸的人”） 一阶逻辑中基本等值式