r01命题逻辑b.pdf

 回顾：  命题概念及其判断  命题联结词：否定、合取、析取、条件、 双条件 1 1.2 命题公式  通常, 如果P代表真值未指定的任意命题, 我们就称P为命 题变元; 如果P代表一个真值已指定的命题, 我们就称P为 命题常元。但由于在命题演算中并不关心具体命题的涵 义, 只关心其真假值。因此, 我们可以形式地定义它们。  定义１：以“真”, “假”为其变域的变元, 称为命题变元; T 和F称为命题常元。 2 命题公式和翻译 单个命题变元和命题常元叫原子公式。 由以下形成规则生 成的公式叫命题公式: (1) 单个原子公式是命题公式。 (2) 如果A和B是命题公式, 则(¬A) , (A ∧B) , (A ∨B) , (A →B) , (A ↔B)是命题公式。 (3) 只有有限次应用条款(1)和(2)生成的公式才是命题公式。 这种定义叫归纳定义, 也叫递归定义。由这种定义产生的公 式叫合式公式 。 3 例1 (a) 说明(P →(P ∨Q))是命题公式。 解(i) P是命题公式 根据条款(1) (ii) Q是命题公式 根据条款(1) (iii) (P ∨Q)是命题公式 根据(i)(ii)和条款(2) (iv) (P →(P ∨Q))是命题公式 根据(i)(iii)和条款(2) 4 (b) 以下不是命题公式, 因为它们不能由形成规则得出。 ∧Q (P →Q P →∧Q ((PQ) ∧R) 5 为了减少圆括号的使用, 可做以下约定: • 运算符结合力的强弱顺序为: ¬ 、∧, ∨, →, ↔  凡符合此顺序的, 括号均可省去。 • 相同的运算符, 按从左至右次序计算时, 括号可省去。 • 最外层的圆括号可以省去。 例如: ( ¬((P ∧¬Q) ∨R) →((R ∨P) ∨Q)) 可写成： ¬(P ∧¬Q ∨R) →R ∨P ∨Q 但有时为了看起来清楚醒目, 也可以保留某些原可省去的括号。 6 有了联结词和命题公式的概念, 可将一些语句翻译成命题公式。 例2 (a) 他既有理论知识又有实践经验。 设 P:他有理论知识, Q:他有实践经验, 则可译为: P ∧Q (b) 他虽然不聪明，但很用功。 设 P：他聪明，Q：他用功，则可翻译为： ¬P ∧Q (c) 除非你努力，否则你这次考试将不及格。 设 P：你努力，Q：你这次考试将不及格，则可翻译为： ¬P →Q 7 (d) 设P : 明天下雨, Q: 明天下雪, R : 我去学校。 则 (i) “若明天不是雨夹雪则我去学校”可写成： ¬(P ∧Q) →R