离散数学之命题逻辑

命题概念

命题：有唯一真值的陈述句（悖论除外）

真值：真/假（T/F、0/1）

真（假）命题：真值为真（假）的命题

原子命题：不能再分割的命题

复合命题：由简单命题通过联结词结合成的命题

联结词

联结词	符号	含义
否定	$\neg$	取反
合取	$\wedge$	同真为真
吸取	$\vee$	同假为假
蕴含	$\to$	前真后假为假
等价	$\leftrightarrow$	相同为真

顺序：$()$，$\neg$，$\wedge$，$\vee$，$\to$，$\leftrightarrow$

命题公式

命题变元：取值 1（真）或 0（假）的变元

合式公式：将命题变元用联结词或圆括号按一定逻辑关系联结起来的符号串

赋值：为公式中所有变元指定真值，若为真（假）则是成真（假）赋值

重言式（永真式）：公式在所有赋值下取值都是真

矛盾式（用假式）：公式在所有赋值下取值都是假

不是矛盾式，则称可满足式。不是矛盾式同时也不是重言式，则称为非重言的可满足式

等值式

若 $A\leftrightarrow B$ 为重言式，则 A 与 B 等价，记 $A\iff B$

常见等值式
双重否定律	$A\iff \neg \neg B$
幂等律	$A\iff A\vee A$ 、 $A\iff A\wedge A$
交换律	$A\vee B\iff B\vee A$ 、 $A\wedge B\iff B\wedge A$
结合律	$(A\vee B)\vee C\iff A\vee (B\vee C)$ 、 $(A\wedge B)\wedge C\iff A\wedge (B\wedge C)$
分配律	$A\vee (B\wedge C)\iff (A\vee B)\wedge (A\vee C)$ 、$A\wedge (B\vee C)\iff (A\wedge B)\vee (A\wedge C)$
德摩根律	$\neg (A\vee B)\iff \neg A\wedge \neg B$ 、$\neg (A\wedge B)\iff \neg A\vee \neg B$
吸收律	$A\vee (A\wedge B)\iff A$ 、$A\wedge (A\vee B)\iff A$
零律	$A\vee 1\iff 1$、$A\wedge 0\iff 0$
同一律	$A\vee 0\iff A$、$A\wedge 1\iff A$
排中律	$A\vee \neg A\iff 1$
矛盾律	$A\wedge \neg A\iff 0$
蕴含等值式	$A\to B\iff \neg A\vee B$
等价等值式	$A\leftrightarrow B\iff \neg A\vee B$
假言易位	$A\to B\iff (A\to B)\wedge (B\to A)$
等价否定等值式	$A\leftrightarrow B\iff \neg A\leftrightarrow \neg B$
归谬律	$(A\to B)\wedge (A\to \neg B)\iff \neg A$

析取范式和合取范式

文字：命题变元及其否定

简单析（合）取式：有限个文字构成的析（合）取式

析（合）取范式：有限个简单合（析）取式的析（合）取

主析取范式和主合取范式

极小（大）项：命题变元的简单合（析）取式中，若每个命题变元和它的否定式出现且仅出现一次

极小项

公式	成真赋值	名称
$\neg p\wedge \neg q$	00	m0
$\neg p\wedge q$	01	m1
$p\wedge \neg q$	10	m2
$p\wedge q$	11	m3

极大项

公式	成假赋值	名称
$p\vee q$	00	M0
$p\vee \neg q$	01	M1
$\neg p\vee q$	10	M2
$\neg p\vee \neg q$	11	M3

主析（合）取范式：由极小（大）项构成的析取（合）范式

联结词的完备集

S 是联结词集合，若所有公式都可由 S 中的联结词构成的公式表示，则称 S 为完备集

S 1 = { ¬ , ∧ , ∨ } S_{1}=\{¬, ∧, ∨\} S1​={¬,∧,∨}

S 2 = { ¬ , ∧ , ∨ , → } S_{2}=\{¬, ∧, ∨,→\} S2​={¬,∧,∨,→}

S 3 = { ¬ , ∧ , ∨ , → , ↔ } S_{3}=\{¬, ∧, ∨,→,↔\} S3​={¬,∧,∨,→,↔}

S 4 = { ¬ , ∧ } S_{4}=\{¬, ∧\} S4​={¬,∧}

S 5 = { ¬ , ∧ } S_{5}=\{¬, ∧\} S5​={¬,∧}

S 6 = { ¬ , → } S_{6}=\{¬,→\} S6​={¬,→}

S 7 = { ↑ } S_{7}=\{↑\} S7​={↑}

S 8 = { ↓ } S_{8}=\{↓\} S8​={↓}

注：↑ 与非，↓ 或非

命题逻辑的推理

当且仅当 $A\to B$ 是重言式时，称 A 可推出 B，或称 B 是前提 A 的有效结论，记 $A\Rightarrow B$

$A_1,A_2,\dots ,A_k$ 推出 B 的推理正确，当且仅当 $A_1\wedge A_2\wedge \dots \wedge A_k\to B$ 为重言式

推理公式
附加律	$A\Rightarrow （A\vee B)$
化简律	$（A\wedge B)\Rightarrow A$
假言推理	$(A\to B)\wedge A\Rightarrow B$
拒取式	$(A\to B)\wedge \neg B\Rightarrow \neg A$
析取三段论	$(A\vee B)\wedge \neg B\Rightarrow A$
假言三段论	$(A\to B)\wedge (B\to C)\Rightarrow (A\to C)$
等价三段论	$(A\leftrightarrow B)\wedge (B\leftrightarrow C)\Rightarrow (A\leftrightarrow C)$
构造性二难	$(A\to B)\wedge (C\to D)\wedge (A\vee C)\Rightarrow (B\vee D)$、$(A\to B)\wedge (\neg A\to B)\Rightarrow B$（特殊形式）
破坏性二难	$(A\to B)\wedge (C\to D)\wedge (\neg B\vee \neg D)\Rightarrow (\neg A\vee \neg C)$