1-3 命题公式与翻译

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），规定为：

1. 单个命题变元本身是一个合式公式。
2. 如果A是合式公式，那么¬A是合式公式。
3. 如果A和B是合式公式，那么 (A ∧ B), (A ∨ B), (A → B), 和 (A ↔ B) 都是合式公式。
4. 当且仅当能够有限次地应用 (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: 我们要为祖国四化建设而奋斗。
  故命题可形式化为：(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: 他用功。
  在自然语言中，这个“既……又……”显然与“且”的意义一样，故本例可记为：P ∧ Q。

例题4 他虽聪明但不用功。

• 解 这里“虽……但……”不能用前述联结词表达，但其实际意义是：他聪明且不用功。若设
  • P: 他聪明。
  • Q: 他用功。
  本例可表示为：P ∧ ¬Q。

例题5 除非你努力，否则你将失败。

• 解 这个命题的意义亦可理解为：如果你不努力则你将失败。若设
  • P: 你努力。
  • Q: 你失败。
  本例可表示为：¬P → Q。

例题6 张三或李四都可以做这件事。

• 解 这个命题的意义是：张三可以做这件事，并且李四也可以做这件事。若设
  • P: 张三可以做这事。
  • Q: 李四可以做这事。
  本例可表示为：P ∧ Q。

从上面的例子中可以看到，自然语言中的一些联结词，如：“与”、“且”、“或”、“除非…则…”等等都各有其具体含义，因此需分别不同情况翻译成适当的逻辑联结词。为了便于正确表达命题间的相互关系，有时也常常采用列出真值表的方法，进一步分析各原命题，以此寻找逻辑联结词，使原来的命题能够正确地用形式符号予以表达。