命题公式与翻译.pptVIP

离散数学(Discrete Mathematics) 医学信息工程系 第1章 命题逻辑（Propositional Logic）1.3命题公式与翻译 1.3.1 命题公式 1.3.2 复合命题的符号化(翻译) 1.3.1 命题合式公式(Well-formed formula)(wff) 定义1.3.1:单个命题变元和命题常量称为原子公式。 命题合式公式是由命题变元、命题常量、联结词和圆括号按一定的逻辑关系联结起来的符号串。我们以如下递归的形式来定义合式公式： 定义1.3.2：(1)原子公式是合式公式(wff)。 （2）若A是合式公式，则(? A)也是合式公式。 （3）若A，B是合式公式，则(A∧B)，(A∨B)，(A?B)，(A?B)也是合式公式。 （4）当且仅当有限次地应用(1)~(3)所得到的包含原子公式、联结词和括号的符号串是合式公式。 注: (1)合式公式也称为命题公式，并简称为公式。 (2)命题公式一般不是命题,仅当公式中的命题变元用确定的命题代入时,才得到一个命题.其真值依赖于代换变元的那些命题的真值. 第1章 命题逻辑（Propositional Logic）1.3命题公式与翻译 例1：指出(P→(P?Q))是否是命题公式(wff)，如果是，则具体说明。 解： ① P是wff 由(1) ② Q是wff 由(1) ③ P?Q是wff 由(2) ①② ④ (P→(P?Q)) 由(2) ①③ 例2: (P ? Q) , (R ∧ S) ∨ ? Q , P，(? P)等均为合式公式，而PQ ∨S , (P ? W) ∧ Q)等不是合式公式。 第1章 命题逻辑（Propositional Logic）1.3命题公式与翻译 1.3.2 复合命题的符号化(翻译) 有了命题演算的合式公式的概念,我们可以把自然语言中的有些语句(复合命题),翻译成数理逻辑中的符号形式.基本步骤如下: (1) 分析出各简单命题,将它们符号化; (2) 使用合适的联结词,把简单命题逐个的联结起来,组成复合命题的符号化表示. 第1章 命题逻辑（Propositional Logic）1.3命题公式与翻译 例4：P10 例题1 小结：本节介绍了命题公式的概念及复合命题的符号化.重点是理解命题公式的递归定义,掌握复合命题的符号化方法. * 例题：我们要做到身体好、学习好、工作好，为祖国四化建设而奋斗 解： A：我们要做到身体好 B：我们要做到学习好 C：我们要做到工作好 P：我们要为祖国四化建设而奋斗 符号化为： 例题：上海到北京的14次列车是下午五点半开或六点开。 解：P：上海到北京的14次列车是下午五点半开。 Q：上海到北京的14次列车是下午六点开。 结论: “排斥或” 等价于 例题：他既聪明又用功。 解：P：他聪明 Q：他用功 符号化：P∧Q 例题：他虽然聪明但不用功。 解：P：他聪明 Q：他用功 符号化：P∧ ?Q 例题：除非你努力，否则你将失败。 解：P：你努力 Q：你将失败 符号化： ? P→Q 例题：张三或李四都可以做这件事。 解：P：张三可以做这事 Q：李四可以做这事 符号化：P∧Q