总结-数理逻辑.pptVIP

离散数学数理逻辑命题逻辑数理逻辑研究的中心问题是推理。推理的前提和结论都是表达判断的陈述句。命题：能判断真假而不是可真可假的陈述句。真值、真命题、假命题、原子命题、复合命题感叹句、疑问句、祈使句都不能称为命题。判断结果不唯一确定的陈述句不是命题。陈述句中的悖论不是命题。┐,∧,∨,→,pq┐pp∧qp∨qp→qpq0010011011011010001001101111命题逻辑命题的概念和判断，熟练地将复合命题符号化。深刻理解各联结词的逻辑含义，要特别注意蕴涵联结的应用，要弄清三个问题：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BBCAC(9)析取三段论规则ABBA(10)构造性二难推理规则ABCDACBD(11)破坏性二难推理规则ABCDBDAC(12)合取引入规则ABAB命题逻辑的推理推理的形式结构推理的前提推理的结论推理正确判断推理是否正确的方法真值表法等值演算法主析取范式法 对于正确的推理，在自然推理系统P中构造证明自然推理系统P的定义自然推理系统P的推理规则附加前提证明法归谬法谓词逻辑三个基本要素：个体词、谓词和量词。要求准确地将给出的命题符号化：①当给定个体域时，在给定个体域内将命题符号化。②当没给定个体域时，应在全总个体域内符号化。③在符号化时，当引入特性时，注意全称量词与蕴含联结词的搭配，存在量词与合取联结词的搭配。 公式类型：逻辑有效式、矛盾式、可满足式。 闭式的性质：在任何解释下均为命题。 对给定的解释，会判别公式的真值或不能确定真值。一阶逻辑中的重要等值式