离散数学总复习剖析.ppt

离散数学 期末总复习 离散数学 * 期 末 总 复 习 内容提要 考试要求 离散数学 * 1、命题及其表示 命题的概念：能够判断真假的陈述句。 2、逻辑联结词 否定、合取、析取、蕴含、等值 3、命题公式与翻译 3.1 命题公式的定义 3.2 命题的符号化： 将一个文字描述的命题写成相应命题公式的形式。 一、数理逻辑 内容提要 离散数学 * 4、真值表与等价公式 4.1 真值表： 将命题公式在所有赋值下的取值情况列成表。 4.2 等价公式： 若命题公式A和B在任一赋值的情况下对应的真值都相同，则称公式A与B等价。 5、命题公式的分类与蕴含式 5.1 命题公式的分类：重言式、矛盾式和可满足式。 5.2 蕴含式的定义： 设A，B为两个命题公式，若A→B为重言式，则称A蕴含B. 离散数学 * 7、推理理论 7.1 直接证法 7.2 间接证法（附加前提证明法、归谬法） 7.3 推理理论的应用 6、范式 6.1 析取范式与合取范式的定义 6.2 主析取范式及其求法（真值表法、等值演算法） 离散数学 * 8、谓词的概念与表示 个体常元与个体变元：表示具体或特定个体的词称为个体常元，表示抽象或泛指个体的词称为个体变元. 9、谓词演算的等价式与蕴含式 谓词演算的等价式 谓词演算的蕴含式 10、谓词演算的推理理论 US、UG、ES、EG规则 离散数学 * 1、理解