离散数学命题逻辑 命题公式与翻译 真值表.pptVIP

*离散数学-lecture2 * 1-3 命题公式与翻译 回顾：原子命题、复合命题、命题变元、命题公式 命题公式无真假值 定义：命题演算的合式公式（简记为Wff）：　　1. 单个命题是合式公式。　　2. 如果A是合式公式, 那么 A也是合式公式。　　3. 如果A、B是合式公式, 那么(A∧B), (A∨B), (A→B)和(A ? B)是合式公式。　　4. 当且仅当经过有限次地使用1.2.3所组成的符号串才是合式公式。　　这个定义给出了建立合式公式的一般原则，也给出了识别一个符号串是否是合式公式的原则。 1-3 命题公式与翻译 合式公式的例子： 优先级 1-3 命题公式与翻译 自然语言的翻译： 教材上的例子 P10-11,注意例四、例六 1-3 命题公式与翻译 自然语言的翻译： 1-3 命题公式与翻译 公式A在一切可能的赋值情况下取得的值列成表，该表称为A的 真值表。 1-3 命题公式与翻译 自然语言的翻译： 1-3 命题公式与翻译 自然语言的翻译： 1-3 命题公式与翻译 自然语言的翻译： 或者翻译为 ?Q?P 但不能翻译为 P? ?Q 因为从题的意思可得：你努力，但不能保证成功；但如果 成功了，那么一定努力；不努力，必定失败。 1-3 命题公式与翻译 自然语言的翻译： 1-3 命题公式与翻译 自然语言的翻译： 注意自然语言中的一些联结词如：与、且、或、除非等都有具体含义，需根据不同情况翻译 小结 练习题 1-3 命题公式与翻译 在一般情况下，出题考查一些条件句“仅当”、“除非(…否则)”、 “只有”、“只要”、“当”等。 “只要”和“当”是由条件推出结论；“仅当”和“只有”则是由结论 推出条件；“除非(…否则)”是由条件推出结论，但却是条件的非。 “除非…否则” （1）当A则B，是A →B; （2）只要A则B，是A →B; （3）仅当A则B，是B→A;仅当你走，我留下； （4）只有A则B，是B →A; （5）除非A(否)则B，是?A→B，或?B→A除非天下雨，否则我进城。 对于“或”，应仔细考虑前后两件事情可否同时发生，若不能同时发生，则 不能用析取联结词，否则可用。 1-4 真值表 定义 1-4.1 在命题公式中，对于分量指派真值的各种可能 组合，就确定了这个命题公式的各种真值情况， 把它汇列成表，就是命题公式的真值表。 举例说明如下： 1-4 真值表（续） 例1 构造?P∨Q的真值表 T T F F T T T F F F F T T F T T ?P∨Q ?P Q P 例2 给出(P∧Q) ∧?P的真值表 F F F T P∧Q F T F F F T T F F F F T F F T T (P∧Q)∧?P ?P Q P 1-4 真值表（续） 表1-4.2 1-4 真值表（续） 例3 给出(P∧Q)∨(?P∧?Q）的真值表 T F T F ?Q T T F F ?P F F F T P∧Q T T F F F F T F F F F T T F T T (P∧Q)∨(?P∧?Q） ?P∧?Q Q P 1-4 真值表 （续） 例4 给出?(P∧Q)?(?P∨?Q）的真值表 T F T F ?Q T T F F ?P T T T F ?P∨?Q F F F T P∧Q T T F F T T T F T T F T T F T T (P∧Q)∨(?P∧?Q) ?(P∧Q) Q P 表1-4.4 1-4 真值表 （续） 由表1-4.4（表1-4.2）可以看出，有一类公式不论命题变元 作何种指派，其真值永为真（假），这类公式记为T(F)。 在真值表中，命题公式真值的取值数目决定于分量的个数。 一般来说，n个命题变元组成的命题公式共有2n种真值。 思考题： n个命题变元能组成多少个不等价的命题公式？ 1-4 真值表 有些命题公式在分量的不同指派下，其对应的真值与另 一命题公式完全相同，例如： ?P∨Q与P?Q T T F F T T T F F F F T T T T T ?P∨Q P?Q Q P （续） 1-4 真值表 (P∧Q) ∨(?P∧?Q)与P?Q T T F F F F T F F F F T T T T T (P∧Q) ∨(?P∧?Q) P?Q Q P （续） (P?Q) ∧(Q?P)与P?Q T T F F F F T F F F F T T T T T (P?Q) ∧(Q?P) P?Q Q P 1-4 真值表 （续） 1-4 真值表：等价命题 定义1-4.2 给定两个命题公式A和B，设P1,P2,…,Pn