第2章计算机基础知识教程.ppt

* 2.2 逻辑代数基础 2.2.1 命题逻辑基础 命题逻辑：也称命题演算，是数理逻辑的重要组成部分，研究以命题为基本单位构成的前提和结论之间的推理关系。 数理逻辑：用数学的方法（即符号体系）研究推理规律的科学，又称为符号逻辑。 * 1.命题与连接词 命题：有具体意义且能够判断真假的陈述句。 命题的真值:命题所具有的值“真”(true，简记为T)或“假”（false,简记为F）称为其真值。 命题标识符：表示命题的符号，该标识符称为命题常量。通常用大写字母或带方括号的字母或数字来表示命题。 2.2.1 命题逻辑基础 原子命题：不能分解为更为简单的陈述句的命题。 复合命题：将原子命题用连接词和标点符号复合而成　　　　　 　　　　　的命题。 * 举例： 北京是中国的首都。 数字8是一个奇数。 全体起立！ 李华是一名足球运动员并且是一名乒乓球运动员。 如果下午不下雨，则我去校园散步。 1.命题与连接词 * （1）连接词“与”（∧） “与”(∧)：两个命题A和B的“与”(又称为A和B的“合取”)是一个复合命题，记为A∧B。当且仅当A和B同时为真时A∧B为真，在其他的情况下A∧B的真值均为假。 A B A∧B T T T T F F F T F F F F 1.命题与连接词 A∧B的真值表 * （2）连接词 “或”（∨） “或”（∨）：两个命题A和B的“或”（又称为A和B的“析取”）是一个复合命题，记为A∨B。当且仅当A和B同时为假时A∨B为假，在其他的情况下A∨B的真值均为真。 A∨B的真值表： A B A∨B T T T T F T F T T F F F 1.命题与连接词 * （3）连接词“非”（┑） “非”（┑）：命题A的“非”（又称为A的“否定”）是一个复合命题，记为 ┑A。若A为真，则┑A为假；若A为假，则┑A为真。 ┑A的真值表： A ┑A T F F T 1.命题与连接词 * （4）连接词 “异或”（⊕） “异或” （⊕）：两个命题的A和B的“异或” 是一个复合命题，记为A⊕B。当且仅当A和B同时为真或者同时为假时A⊕B为假，在其他的情况下A⊕B的真值为真。 A⊕B的真值表 A B A⊕B T T F T F T F T T F F F 1.命题与连接词 * （5）连接词“条件”（ →） “条件”（ →）：两个命题的A和B的“条件”是一个复合命题，记为 A→B, 读作“如果A，则B”。 当且仅当A的真值为真，B的真值为假时，A→B为假，在其他的情况下A→B的真值均为真。 A→B的真值表： A B A →B T T T T F F F T T F F T 1.命题与连接词 * （6）连接词 “双条件”( ) “双条件”( ):两个命题的A和B的“双条件” 是一个复合命题，记为A B，读作“A当且仅当B”。当且仅当A的真值与B的真值相同时，A B为真，否则A B的真值均为假。 A B的真值表： A B A B T T T T F F F T F F F T 1.命题与连接词 * 2. 命题公式 命题公式：由命题变元、连接词和括号组成的合式的式子称为命题公式。 命题公式等价：如果两个不同的命题公式P和Q，无论其命题变元取什么值它们的真值都相同，则称该两个命题公式等价，记为P＝Q。 〖例〗证明 ┑(A→B)与A∧┑B是等价的。 A B ┑(A→B) A∧┑B T T F F T F T T F T F F F F F F 2.2.1 命题逻辑基础 * 3. 命题公式的等价律 其中A、B、C等为命题变元，T表示“真”，F表示“假”。 零律： A∨F＝A