[理学]1-3、4翻译、真值表.ppt

第一章 命题逻辑第2讲 离散数学 Discrete Mathematics  课程回顾 §1—3 命题公式与翻译 一、合式公式 前面已经提到，不包含任何联结词的命题叫做原子命题，至少包含一个联结词的命题称作复合命题。 设P和Q是任意两个命题，则┐P， P∨Q，(P∨Q）→(F∨Q），P (Q ∨┐P)等都是复合命题。 若P和Q是命题变元，则上述各式均称作命题公式。P和Q称作命题公式的分量。 定义1-3.1 命题演算的合式公式(wff)，规定为： (1)单个命题变元（常元）本身是一个合式公式。 (2)如果A是合式公式，那么┐A是合式公式。 (3)如果A和B是合式公式，那么(A∧B)，(A∨B)，(A→B）和(A B)都是合式公式。 (4)当且仅当能够有限次地应用(1)、(2)、(3)所得到的包含命题变元、联结词和括号的符号串是合式公式。 按照定义，下列公式都是合式公式： ┐(P∧Q），┐(P→Q)，(P→(P∨┐Q) ) ， (((P→Q ) ∧(Q→R)) ( S T)) 而 (P→Q）→(∧Q)，(P→Q，(P∧Q ) →Q ) 等都不是合式公式。 联结词的优先级 命题公式最外层的括号可以省略； 联结词的优先级：┐、∧、∨、→、?。 利用加括号的方法可以提高优先级。 范例：如下的Wff ： P∧Q→R 等价于Wff ： （（P∧Q）→R ） 等价于Wff ： （P∧Q）→R 不等价于Wff ： P∧（Q→R） 二、翻译（符号化） 有了联结词的合式公式概念，我们可以把自然语言中的有些语句，翻译成数理逻辑中的符号形式。 把一个用文字叙述的命题相应地写成由命题标识符、联结词和圆括号表示的合式公式，称为命题的符号化。 符号化应该注意下列事项：① 确定给定句子是否为命题。② 句子中联结词是否为命题联结词。③ 要正确地表示原子命题和适当选择命题联结词。 例题 解 : 找出各原子命题，并用命题符号表示： A：我们要做到身体好。 B：我们要做到学习好。 C：我们要做到工作好。 P：我们要为祖国四化建设而奋斗。 解 P：上海到北京的14次列车是下午五点半开。 Q：上海到北京的14次列车是下午六点开。 在本例中，汉语的“或”是不可兼或，而逻辑联结词∨是“可兼或”，因此不能直接对两命题析取。构造表如表如表1-3.1所示。 解 若设 P：他聪明。 Q：他用功。 在自然语言中这个“既……又……”显然与“且”的意义一样，故本例可记为： P∧Q 解 这里“虽……但……”这个词不能用前述联结词表达，但其实际意义是：他聪明且不用功。若设 P：他聪明。 Q：他用功。 本例可表示为： P∧┐Q 解 这个命题的意义，亦可理解为：如果你 不努力则你将失败。 若设 P：你努力。 Q：你失败。 本例可表示为： ┐P→Q 解 这个命题的意义是： 张三可以做这件事，并且李四也可以做这件事。 若设 P：张三可以做这事。 Q：李四可以做这事。 本例可表示为： P∧Q 从上面的例子中可以看到，自然语言中的一些联结词，如：“与”“且”“或”“除非…则…”等等都各有其具体含义，因此需分别不同情况翻译成适当的逻辑联结词。为了便于正确表达命题间的相互关系，有时也常常采用列出“真值表”的方法，进一步分析各原命题，以此寻找逻辑联结词，使原来的命题能够正确地用形式符号予以表达。 注意：1.如果天下雨，则我在家。 （P是Q的充分条件） 2.天下雨，仅当我在家时。 （P是Q的必要条件） 除非天下雨，否则我不在家。 3.我在家，当且仅当天下雨时。 （P是Q的充要条件） P：天下雨 Q：我在家 1. P→Q 2. Q → P 3. P Q 练习: 把下列自然语言命题符号化： (1)仅当天不下雨且我有时间，才上街。