联词与括号
作为专业数学书籍,叙述的语言一定要符合数理逻辑。作者简要地引入了五个常用的数理逻辑符号:
¬
∧
∨
⇒
⇔
\neg \quad \wedge \quad \vee \quad \Rightarrow \quad \Leftrightarrow
¬∧∨⇒⇔
分别对应联结词 非、且、或、蕴含、等价。
括号用于在复合逻辑语句中揭示复合结构。 为了书写简洁、省去不必要的括号,在显而易见的意义下,可以规定五个联结词符号的优先级:
¬
≻
∧
≻
∨
≻
⇒
≻
⇔
\neg \ \succ \ \wedge \ \succ \vee \ \succ \ \Rightarrow \ \succ \ \Leftrightarrow
¬ ≻ ∧ ≻∨ ≻ ⇒ ≻ ⇔
关于联结词符号优先级的示例
设 p , q , r p,q,r p,q,r 为简单命题,则复合命题 ¬ p ∨ q ∧ r ⇒ p ⇔ q \neg p\vee q \wedge r \Rightarrow p \Leftrightarrow q ¬p∨q∧r⇒p⇔q 按照联结词的优先级,可以被唯一解释成 ( ( ( ¬ p ) ∨ ( q ∧ r ) ) ⇒ p ) ⇔ q (((\neg p)\vee (q \wedge r)) \Rightarrow p) \Leftrightarrow q (((¬p)∨(q∧r))⇒p)⇔q
充分与必要
现有命题 A A A 与 B B B,则 A ⇒ B A\Rightarrow B A⇒B 说明了两层关系:
- A A A 是 B B B 的充分条件 ( 有 A A A 就一定有 B B B)
- B B B 是 A A A 的必要条件 ( 没有 B B B 就一定没有 A A A)
如果 A ⇒ B A \Rightarrow B A⇒B 且 B ⇒ A B \Rightarrow A B⇒A ,则 A A A 与 B B B 互为充分必要条件,即 A ⇔ B A \Leftrightarrow B A⇔B
相容或与排斥或
在日常生活中,“或”有两种含义。两者之中有一个成立则整体成立,这称为“相容或”;两者之中有且仅有一个成立则整体成立,这称为“排斥或”。“排斥或”比“相容或”要求更加严苛。本书中采用“相容或”。
证明方法
证明的目的是从前提 A A A 出发,推导出蕴含的一系列命题,最终得到结论 B B B ,即 A ⇒ C 1 ⇒ C 2 ⇒ ⋯ ⇒ C n ⇒ B A\Rightarrow C_1\Rightarrow C_2 \Rightarrow \cdots \Rightarrow C_n \Rightarrow B A⇒C1⇒C2⇒⋯⇒Cn⇒B
作者提到了两种最常用的证明方法:
- 直接证明法:假设前提成立,一步步推导出结论
- 反证法:假设结论不成立,推导出前提不成立,进而前提成立的话,必定有结论成立
定义与简记
A
:
=
B
A:=B
A:=B 代表
A
A
A 的定义为
B
B
B
C
=
:
D
C=:D
C=:D 代表
C
C
C 可以简写为
D
D
D
习题
【1】验证真值表
书中给出了逻辑联结词的真值表,并要求读者自行检验其合理性。
¬
A
\neg A
¬A
A A A | 0 | 1 |
---|---|---|
¬ A \neg A ¬A | 1 | 0 |
A ∧ B A\wedge B A∧B
A ∣ B A | B A∣B | 0 | 1 |
---|---|---|
0 | 0 | 0 |
1 | 0 | 1 |
A ∨ B A\vee B A∨B
A ∣ B A | B A∣B | 0 | 1 |
---|---|---|
0 | 0 | 1 |
1 | 1 | 1 |
A ⇒ B A\Rightarrow B A⇒B
A ∣ B A | B A∣B | 0 | 1 |
---|---|---|
0 | 1 | 1 |
1 | 0 | 1 |
A ⇔ B A\Leftrightarrow B A⇔B
A ∣ B A | B A∣B | 0 | 1 |
---|---|---|
0 | 1 | 0 |
1 | 0 | 1 |
【2】证明等价关系
书中给出了几个常见的等价关系,并要求读者进行证明。
由于本书不是专门讲述数理逻辑的书籍,我们可以使用真值表演算法来证明,即列出四组 与 的取值下等价关系两边的真值,观察它们是否相等。笔者在此不再赘述,仅把提到的等价关系列在下面:
- ¬ ( A ∧ B ) ⇔ ¬ A ∨ ¬ B \neg (A\wedge B) \Leftrightarrow \neg A\vee\neg B ¬(A∧B)⇔¬A∨¬B (德摩根定理1)
- ¬ ( A ∨ B ) ⇔ ¬ A ∧ ¬ B \neg (A\vee B) \Leftrightarrow \neg A\wedge\neg B ¬(A∨B)⇔¬A∧¬B (德摩根定理2)
- ( A ⇒ B ) ⇔ ( ¬ B ⇒ ¬ A ) (A\Rightarrow B)\Leftrightarrow(\neg B \Rightarrow \neg A) (A⇒B)⇔(¬B⇒¬A) (假言易位、逆否命题)
- ( A ⇒ B ) ⇔ ¬ A ∨ B (A\Rightarrow B)\Leftrightarrow \neg A \vee B (A⇒B)⇔¬A∨B (蕴含等值式1)
- ¬ ( A ⇒ B ) ⇔ A ∧ ¬ B \neg(A\Rightarrow B)\Leftrightarrow A\wedge\neg B ¬(A⇒B)⇔A∧¬B (蕴含等值式2)