离散数学——命题逻辑

谓词逻辑
集合论

命题联结词

命题联结词	符号	判断	替换
否定	¬	0 1 1 0
合取	∧	11 1
析取	∨	00 0	$p\vee q$$\iff$¬(¬p∧¬q)
蕴涵	→	10 0	$A\to B$$\iff$¬A∨B
等价	↔	00 1 11 1	$A\leftrightarrow B$$\iff$¬A↔¬B
异或	$\overline{\vee }$	10 1 01 1	$p\overline{\vee }q$$\iff$(p∧¬q)∨(¬p∧q)
与非	↑	11 0	$p\uparrow q$$\iff$¬(p∧q)
或非	↓	00 1	$p\downarrow q$$\iff$¬(p∨q)

基本等值式

等值式
A$\iff$¬¬A	双重否定律
A$\iff$A∨A A$\iff$A∧A	等幂律
A∨B$\iff$B∨A A∧B$\iff$B∧A	交换律
(A∨B)∨C$\iff$A∨(B∨C) (A∧B)∧C$\iff$A∧(B∧C)	结合律
A∨(B∧C)$\iff$(A∨B)∧(A∨C) A∧(B∨C)$\iff$(A∧B)∨(A∧C)	分配律
¬(A∨B)$\iff$¬A∧¬B ¬(A∧B)$\iff$¬A∨¬B	摩根律
A∨(A∧B)$\iff$A A∧(A∨B)$\iff$A	吸收律
A∨1$\iff$ 1 A∧0$\iff$ 0	零化律
A∨0$\iff$A A∧1$\iff$A	同一律
A∨¬A$\iff$ 1	排中律
A∧¬A$\iff$ 0	矛盾律
A→B$\iff$¬A∨B	蕴涵等值式
A↔B$\iff$(A→B)∧(B→A)	等价等值式
A→B$\iff$¬B→¬A	假言异位
A↔B$\iff$¬A↔¬B	等价否定等值式
(A→B)∧(A→¬B)$\iff$¬A	归谬论

范式

仅由有限个命题变项或其否定构成的析取式称为$简单析取式$.

仅由有限个命题变项或其否定构成的合取式称为$简单合取式$.

仅由有限个简单合取式构成的析取式称为$析取范式$.

仅由有限个简单析取式构成的合取式称为$合取范式$.

在仅含有联结词 ¬，∧，∨ 的命题公式 A 中，将 ∧ 换成 ∨，∨ 换成 ∧ ，1 换成 0，0 换成 1，所得命题公式称为 A 的$对偶式$，记为 A^*.

主析取范式 ∑(0,1,2,3)⇔永真式 $B\iff (B\wedge p_i)\vee (B\wedge \neg p_i)$	极小项	¬p∧¬q ¬p∧q p∧¬q p∧q	m0 m1 m2 m3
主合取范式 ∏(0,1,2,3)⇔永假式 $B\iff (B\vee p_i)\wedge (B\vee \neg p_i)$	极大项	p∨q p∨¬q ¬p∨q ¬p∨¬q	$M_0$ $M_1$ $M_2$ $M_3$

推理定律

永真蕴涵式
A⇒(A∨B)	附加
$A$∧$B$⇒A	化简
$(A\to B)$∧$A$⇒B	假言推理
$(A\to B)$∧$\neg B$⇒¬A	拒取式
$(A\vee B)$∧$\neg A$⇒B	析取三段论
$(A\to B)$∧$(B\to C)$⇒(A→C)	假言三段论
$(A\leftrightarrow B)$∧$(B\leftrightarrow C)$⇒(A↔C)	等价三段论
$(A\to B)$∧$(C\to D)$∧$(A\vee C)$⇒(B∨D)	构造性三段论
$(A\to B)$∧$(C\to D)$∧$(\neg B\vee \neg D)$⇒(¬A∨¬C)	破坏性二难

推理规则

方法	结论	引入	最后
附加前提证明法	A→B	A	B
归谬法	A	¬A	永假