总结-数理逻辑资料.pptVIP

离 散 数 学 数理逻辑 命题逻辑 数理逻辑研究的中心问题是推理。 推理的前提和结论都是表达判断的陈述句。 命题：能判断真假而不是可真可假的陈述句。 真值、真命题、假命题、原子命题、复合命题 感叹句、疑问句、祈使句都不能称为命题。 判断结果不唯一确定的陈述句不是命题。 陈述句中的悖论不是命题。 ┐,∧,∨,→,? p q ┐ p p∧q p∨q p→q p?q 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 0 1 0 0 1 1 0 1 1 1 1 命题逻辑 命题的概念和判断，熟练地将复合命题符号化。 深刻理解各联结词的逻辑含义，要特别注意蕴涵联结的应用，要弄清三个问题： p→q 的逻辑关系 p→q 的真值 p→q 的灵活的叙述方法 合式公式 公式的类型：重言式、矛盾式、可满足式 会写真值表，求公式的成真赋值和成假赋值。 数理逻辑－命题逻辑 等值式与等值演算。 基本的等值式，其中含：双重否定律、幂等律、交换律、结合律、分配律、德·摩根律、吸收律、零律、同一律、排中律、矛盾律、蕴含等值式、等价等值式、假言易位、等价否定等值式、归谬论。 与主析取范式及主合取范式有关的概念：简单合取式、简单析取式、析取范式、合取范式、极小项、极大项、主析取范式、主合取范式。 求给定公式范式的步骤 (1)消去联结词→、?(若存在)。A→B ? ┐A∨BA?B ? (┐A∨B)∧(A∨┐B) (2)否定号的消去(利用双重否定律)或内移(利用德摩根律)。┐┐A ? A┐(A∧B) ? ┐A∨┐B┐(A∨B) ? ┐A∧┐B (3)利用分配律：利用∧对∨的分配律求析取范式， ∨对∧的分配律求合取范式。A∧(B∨C) ? (A∧B)∨(A∧C)A∨(B∧C) ? (A∨B)∧(A∨C) 求公式A的主析取范式的方法与步骤 方法一、等值演算法 (1)化归为析取范式。 (2)除去析取范式中所有永假的析取项。 (3)将析取式中重复出现的合取项和相同的变元合并。 (4)对合取项补入没有出现的命题变元，即添加如(p∨┐p)式，然后应用分配律展开公式。 方法二、真值表法 (1)写出 A 的真值表。 (2)找出 A 的成真赋值。 (3)求出每个成真赋值对应的极小项（用名称表示），按角标从小到大顺序析取。 求公式A的主合取范式的方法与步骤 方法一、等值演算法 (1)化归为合取范式。 (2)除去合取范式中所有永真的合取项。 (3)将合取式中重复出现的析取项和相同的变元合并。 (4)对析取项补入没有出现的命题变元，即添加如(p∧┐p)式，然后应用分配律展开公式。 方法二、真值表法 (1)写出 A 的真值表。 (2)找出 A 的成假赋值。 (3)求出每个成假赋值对应的极大项（用名称表示），按角标从小到大顺序析取。 推理定律--重言蕴含式 (1) A ? A∨B?????????????????? ?????? 附加律 (2) A∧B ? A ?????????????????????????? 化简律 (3)?(A→B)∧A ? B ???????????????????????? 假言推理 (4) (A→B)∧┐B ? ┐A ??????????????? ??? 拒取式 (5) (A∨B)∧┐B ? A ???????????????????? ? 析取三段论 (6)?(A→B) ∧ (B→C) ? (A→C) ?????????? ?? ?? 假言三段论 (7)?(A?B) ∧ (B?C) ? (A ? C) 等价三段论 (8)?(A→B)∧(C→D)∧(A∨C) ?(B∨D)?? 构造性二难  ?(A→B)∧(┐A→B)∧(A∨┐A) ? B?? ? 构造性二难 (特殊形式) (9)(A→B)∧(C→D)∧(┐B∨┐D) ?(┐A∨┐C) 破坏性二难 自然推理系统的推理规则 (1) 前提引入规则 (2) 结论引入规则 (3) 置换规则 (4)假言推理规则 A?B A ? B (5)附加规则 A ? A?B (6)化简规则 A?B ?A (7)拒取式规则 A?B ?B  ? ?A (8)?假言三段论规则 A?B B?C  ? A?C (9)析取三段论规则 A?B ?B ? A (10)构造性二难推理规则 A?B C?D A?C ? B?D (11)破坏性二难推理规则 A?B C?D ?B??D ? ?A?