第一章习题复习总结全.pptVIP

1.7 常见题型解析 1）命题的符号化 要想解决实际问题，很多时候需要我们将实际问题中的自然语言描述进行符号化。这类习题的思路是： 符号化原子命题→确定联结词→符号化联结词→复合命题符号化 2）求公式的主析取/合取范式 求一个公式的主析取范式或主合取范式主要有三种方法：真值表法、逻辑等价演算法以及利用主析取范式求主合取范式或利用主合取范式求主析取范式。 1.7 常见题型解析 3）求公式的成真赋值与成假赋值 一般采用真值表法或求主范式的方法，主析取范式的极小项对应成真赋值，主合取范式的极大项对应成假赋值。 如果公式形式过于繁琐，也可采用逻辑等价演算的方法将公式转化为与之逻辑等价的较简单公式后，再使用上述方法。 4）判断公式类型 公式的类型主要有三种：重言式、矛盾式和非重言可满足式。 判断的方法常用的主要是真值表法和主范式的方法。 可以借助逻辑等价演算的方法进行简化后再进行判断。 对于非重言可满足式只需要分别找到一个成真赋值和一个成假赋值即可。 1.7 常见题型解析 5）判断/证明两个命题公式的逻辑等价关系 基本方法是真值表法（较直观）和主范式方法； 如果确定是证明两个公式的逻辑等价关系，比较方便的方法是逻辑等价演算的方法； 如果确定不是逻辑等价的，可以通过找出一个赋值，在此赋值下两公式真值不等证明公式间非逻辑等价。 1.7 常见题型解析 6）判断推理是否正确 判断推理是否正确的实质是判断前提的合取与结论构成的蕴涵式是否为永真式。 一般，判断推理正确可使用的方法有真值表法、逻辑等价演算法、主析（合）取范式法和命题演算推证法等。 但一般比较有效的方法是命题演算推证法。这类方法证明过程中要注意一般首尾相接的原则，即一般上一步骤的结论是下一步骤的前提。 1.7 常见题型解析 7）解决逻辑难题 这类问题一般都来自于现实生活，所以解决这类问题首先需要进行命题的符号化，然后根据具体问题，确定解决思路。 对于推理问题，命题演算推理是比较有效的方法。 本章知识逻辑结构图 深刻理解各联结词的逻辑关系, 熟练地将命题符号化 会求复合命题的真值 深刻理解合式公式及重言式、矛盾式、可满足式等概念 熟练地求公式的真值表，并用它求公式的成真赋值与成假赋值及判断公式类型 要求 要求 深刻理解逻辑等价关系、逻辑蕴涵关系的概念 牢记基本逻辑等价式、逻辑蕴涵式 熟练地应用基本逻辑等价式及置换规则进行等值演算 理解文字、简单析取式、简单合取式、析取范式、合取范式的概念 深刻理解极小项、极大项的概念、名称及下角标与成真、成假赋值的关系，并理解简单析取式与极小项的关系 熟练掌握求主范式的方法（等值演算、真值表等） 会用主范式求公式的成真赋值、成假赋值、判断公式的类型、判断两个公式是否等值 会用命题逻辑的概念及运算解决简单的应用问题 理解并记住推理形式结构的两种形式： 1. (A1?A2?…?Ak)?B 2. 前提：A1, A2, … , Ak 结论：B 熟练掌握判断推理是否正确的不同方法（如真值表法、等值演算法、主析取范式法等） 熟练掌握构造证明的直接证明法、附加前提证明法和归谬法 会解决实际中的简单推理问题 要求 主范式求法 特别记忆 五个联结词的真值表 16组24对基本逻辑等价式 9对基本逻辑蕴涵式 一、填空： 1.设p:小王走路,q:小王听音乐,在命题逻辑中，命题“小王边走路边听音乐”的符号化形式为___________________。 2.设p: 天下雨，q: 天刮风，r: 我去书店，则命题“如果天不下雨并且不刮风，我就去书店”的符号化形式为_______________。 3.公式﹁p?q与（p∧﹁q）∨（﹁p∧q）的共同的成真赋值是___________。 二、选择题 1.设命题公式G=﹁(p→q)，H=q→﹁p，则G与H的关系是( )。 (A)G?H (B) H?G (C)G ? H (D)以上都不是. 2.设命题公式G=(p∨﹁p)→((q∧r)∨p)，则G是( )。 (A)永真的 (B)永假的 (C)可满足的 (D)析取范式. 3. 下列公式中不是合取范式的是（ ）。 (A)p∧q (B) ﹁p (C) p∨(﹁p∧r) (D) p∨q∨r 三、推理和计算 1.用等值演算的方法求(q→ p)∨p∧r的主析取范式（写出过程）并写出其简化表示。 2.在命题逻辑自然推理系统P中构造下面推理的证明： 甲、乙、丙、丁四人参加拳击比赛，若甲获胜，则乙失败；若丙获胜，则乙不失败；若甲不获胜，则丁不失败。所以若丙获胜，则丁不失败。 如果小张守第一垒并且小李向B队投球，则A队将取胜；或者A队未取胜，或者A队获得联赛第一名；A队没有获得联赛的第一名；小张守