第二次课(命题演算).ppt

Hongzhi Qiao, Xidian Univ. How can the following English sentence be translated into a logical expression? You can access the Internet from campus only if you are a computer science major or you are not a freshman, 原子命题或加上逻辑联结词组成的表达式成为复合命题（Compositional Proposition）。 第一章 --- 数理逻辑 命题公式： 1、原子命题是命题公式； 2、设P是命题公式，则 ?P 也是命题公式； 3、设P、Q是命题公式，则 P、（P ∧ Q）、 （P ∨ Q）、（P → Q）、（P ?? Q）也是命题公式； 4、有限次地使用1、2、3所得到的也是命题公式。 命题公式的运算规则： 逻辑联接词的优先级： ? 、 ∧、 ∨、 → 、?? 命题公式的表达式的运算规律： 同代数表达式 命题公式的运算方法： 所有公式中的命题变量用指定命题（真值）代入（或指派），得到一个公式对应的真值。 性质1： 如果一个命题公式有N个互异的命题变量，则命题公式对应的真值有2的N次幂种可能分布。 性质2： （1）设P是永真命题公式，则P的否定公式是永假命题公式 （2）设P是永假命题公式，则P的否定公式是永真命题公式 （3）设P、Q是永真命题公式，则（P ∧ Q）、 （P ∨ Q）、（P → Q）、（P ?? Q）也是永真命题公式 如果一个公式，对于它的任一解释I下其真值都为真，就称为重言式（永真式）。如p∨ p是一个重言式。　　显然由 ∨ 、∧ 、→ 和 ?? 联结的重言式仍是重言式。 举例：证明P→(Q→(P∧Q))是重言式 The propositions p and q are called logically equivalent if p q is a tautotogy(重言式). The notation p q denotes that p and q are logically equivalent. Show that (p ∨q) and p∧ q are logically equivalent. This equivalence is one of De Morgans laws for propositions, named after the English mathematician Augustus De Morgan, of the mid-nineteenth century. Show that the propositions p→q and p∨q are logically equivalent. 基本逻辑等价定理： 对于任意的命题公式p、q、r，下面的命题公式是等价的。 （参看课本P8 表1.2-1 逻辑恒等式） 永真蕴含式 A→B 是永真式，A永真蕴含B。 永真蕴含式的证明： 1）真值表 2）假定前件是真，若能推出后件是真，则此蕴含式是真。 假定后件是假，若能推出前件是假，则此蕴含式是真。 两个性质： 1）逻辑恒等和永真蕴含都是传递的。 2）若A永真蕴含B，A永真蕴含C，则A永真蕴含B合取C 代入规则 A是一个公式, 对A使用代入规则得公式B, 若A是重言式, 则B也是重言式。为保证重言式经代入规则仍得到保持, 要求: 1. 公式中被代换的只能是命题变元（原子命题）, 而不能是复合命题。2. 对公式中某命题变项施以代入，必须对该公式中出现的所有同一命题变项代换同一公式。 常元（T 、F） 变元（A、B、C、。。。。。。） 举例：使用代入规则证明重言式。例1: 判断(R∨S) ∨ (R∨S)为重言式。因 P∨ P为重言式, 作代入 便得(R∨S) ∨ (R∨S)。依据代入规则,这公式必是重言式。 例2： 判断((R∨S)∧((R∨S)→(P∨Q)))→(P∨Q)为重言式. 替换规则： A恒等于B，如在公式C中出现A的地方，替换以B（不必每处必换）得到公式D，则C恒等于D Show that (p∨( p ∧q)) and p∧ q are logically equivalent. Show that (p ∧q) →