1-3 命题公式与翻译
前面已经提到,不包含任何联结词的命题叫做原子命题,至少包含一个联结词的命题称作复合命题。设P和Q是任意两个命题,则 𝑃,𝑃∨𝑄,(𝑃∨𝑄)∧(𝑃→𝑄),𝑃↔(𝑄∨¬𝑃)P,P∨Q,(P∨Q)∧(P→Q),P↔(Q∨¬P) 等都是复合命题。
若P和Q是命题变元,则上述各式均称作命题公式。P和Q称作命题公式的分量。必须注意,命题公式是没有真假值的,仅当在一个公式中命题变元用确定的命题代入时,才得到一个命题。这个命题的真值依赖于代换变元的那些命题的真值。此外,并不是由命题变元、联结词和一些括号组成的字符串都能成为命题公式。
合式公式的定义
定义1-3.1 命题演算的合式公式(well-formed formula,简称wff),规定为:
- 单个命题变元本身是一个合式公式。
- 如果A是合式公式,那么¬A是合式公式。
- 如果A和B是合式公式,那么 (A ∧ B), (A ∨ B), (A → B), 和 (A ↔ B) 都是合式公式。
- 当且仅当能够有限次地应用 (1), (2), (3) 所得到的包含命题变元、联结词和括号的符号串是合式公式。
这个合式公式的定义是以递归形式给出的,其中 (1) 称为基础,(2), (3) 称为归纳,(4) 称为界限。
按照定义,下列公式都是合式公式:
- ¬(P ∧ Q)
- ¬(P → Q)
- (P ∧ (P ∨ ¬Q))
- ((P → Q) ∧ (Q → R)) ↔ (P → R)
而
- (P → Q) → Q
- (P → Q (P ∧ Q) → Q
则不是合式公式。
为了减少使用圆括号的数量,约定最外层圆括号可以省略。如果我们规定了联结词运算的优先次序为:¬, ∧, ∨, →, ↔,则 𝑃∧𝑄→𝑅P∧Q→R 也是合式公式。
自然语言到逻辑符号的翻译
有了联结词的合式公式概念,我们可以把自然语言中的一些语句翻译成数理逻辑中的符号形式。
例题1 试以符号形式写出命题:“我们要做到身体好、学习好、工作好,为祖国四化建设而奋斗。”
- 解 找出各原子命题,并用命题符号表示:
- A: 我们要做到身体好。
- B: 我们要做到学习好。
- C: 我们要做到工作好。
- P: 我们要为祖国四化建设而奋斗。
例题2 上海到北京的14次列车是下午五点半或六点开。
-
解
- P: 上海到北京的14次列车是下午五点半开。
- Q: 上海到北京的14次列车是下午六点开。
在本例中,汉语的“或”是排斥或,而逻辑联结词 ∨ 是可兼或,因此不能直接对两个命题进行析取。可以构造如下真值表:
P Q P ∨ Q T T T T F T F T T F F F 从表中可以看出,要不选用前面的学等同单出写出,可以表达为:(𝑃↔𝑄)(P↔Q)。
例题3 他既聪明又用功。
- 解 若设
- P: 他聪明。
- Q: 他用功。
例题4 他虽聪明但不用功。
- 解 这里“虽……但……”不能用前述联结词表达,但其实际意义是:他聪明且不用功。若设
- P: 他聪明。
- Q: 他用功。
例题5 除非你努力,否则你将失败。
- 解 这个命题的意义亦可理解为:如果你不努力则你将失败。若设
- P: 你努力。
- Q: 你失败。
例题6 张三或李四都可以做这件事。
- 解 这个命题的意义是:张三可以做这件事,并且李四也可以做这件事。若设
- P: 张三可以做这事。
- Q: 李四可以做这事。
从上面的例子中可以看到,自然语言中的一些联结词,如:“与”、“且”、“或”、“除非…则…”等等都各有其具体含义,因此需分别不同情况翻译成适当的逻辑联结词。为了便于正确表达命题间的相互关系,有时也常常采用列出真值表的方法,进一步分析各原命题,以此寻找逻辑联结词,使原来的命题能够正确地用形式符号予以表达。