第二章、命题
命题:有确切真值的陈述句,命题可以取一个值称为真值,真值有两种1和0,用大写字母A,B,C,P,Q,R表示
联结词优先级:否定¬,合取∧,析取∨,蕴含->,等价<->
命题分类
永真式(重言式)无论如何取值,真值均为真
永假式(矛盾式)无论如何取值,真值均为假
可满足式:不是永真或是永假的
小计
只能A或B
(P ∧ ¬Q) ∨ (¬P ∧ P)
基本等价公式
同一律:
p
∧
1
≡
p
p \land 1 \equiv p
p∧1≡p
p
∨
0
≡
p
p \lor 0 \equiv p
p∨0≡p,
零律:
p
∨
1
≡
1
p \lor 1 \equiv 1
p∨1≡1
p
∧
0
≡
0
p \land 0 \equiv 0
p∧0≡0。
双重否定律:
¬
(
¬
p
)
≡
p
\neg(\neg p) \equiv p
¬(¬p)≡p。
德摩根定律:
¬
(
p
∧
q
)
≡
¬
p
∨
¬
q
\neg (p \land q) \equiv \neg p \lor \neg q
¬(p∧q)≡¬p∨¬q
¬
(
p
∨
q
)
≡
¬
p
∧
¬
q
\neg (p \lor q) \equiv \neg p \land \neg q
¬(p∨q)≡¬p∧¬q。
结合律:
(
p
∧
q
)
∧
r
≡
p
∧
(
q
∧
r
)
(p \land q) \land r \equiv p \land (q \land r)
(p∧q)∧r≡p∧(q∧r)
(
p
∨
q
)
∨
r
≡
p
∨
(
q
∨
r
)
(p \lor q) \lor r \equiv p \lor (q \lor r)
(p∨q)∨r≡p∨(q∨r)。
分配律:
p
∧
(
q
∨
r
)
≡
(
p
∧
q
)
∨
(
p
∧
r
)
p \land (q \lor r) \equiv (p \land q) \lor (p \land r)
p∧(q∨r)≡(p∧q)∨(p∧r)
p
∨
(
q
∧
r
)
≡
(
p
∨
q
)
∧
(
p
∨
r
)
p \lor (q \land r) \equiv (p \lor q) \land (p \lor r)
p∨(q∧r)≡(p∨q)∧(p∨r)。
吸收律: p ∨ ( p ∧ q ) ≡ p p \lor (p \land q) \equiv p p∨(p∧q)≡p 和 p ∧ ( p ∨ q ) ≡ p p \land (p \lor q) \equiv p p∧(p∨q)≡p。
矛盾律:
p
∧
¬
p
≡
0
p \land \neg p \equiv 0
p∧¬p≡0。
排中律:
p
∨
¬
p
≡
1
p \lor \neg p \equiv 1
p∨¬p≡1。
假言易位:
p
→
q
≡
¬
q
→
¬
p
p \rightarrow q \equiv \neg q \rightarrow \neg p
p→q≡¬q→¬p
吸收律:(多用来求主合区主析取)
p
∨
(
p
∧
q
)
≡
p
p \lor (p \land q) \equiv p
p∨(p∧q)≡p
p
∧
(
p
∨
q
)
≡
p
p \land (p \lor q) \equiv p
p∧(p∨q)≡p
蕴涵式:
p
→
q
≡
¬
p
∨
q
p \rightarrow q \equiv \neg p \lor q
p→q≡¬p∨q
等价式:
p
↔
q
≡
(
p
→
q
)
∧
(
q
→
p
)
p \leftrightarrow q \equiv (p \rightarrow q) \land (q \rightarrow p)
p↔q≡(p→q)∧(q→p)。
p → Q ∧ p → R = p → (Q ∧ R) (蕴含分配律)
主范式
每一个短语都是极小项:主析取范式(a∧b)∨(c∧d)
可以通过 B ∧ (¬P ∨ P) 获取缺少的项
(交集) 极小项 m : 只有一组解释能使极小项为真所对应的二进制编码 交集才有一种为真
每一个短语都是极大项:主合取范式(a∨b)∧(c∨d)
可以通过 B ∨ (¬P ∧ P) 获取缺少的项
(并集) 极大项 M : 只有一组解释能使极大项为假所对应的二进制编码 并集才有一种为假
命题演算
P 规则:引入了前提集合中的一个前提,当引用结果蕴含式中的一个前件时,需要标注(附加前提)
T 规则:引入一个由前面推导出来的公式 S,需要指出由哪几个公式推导出来的
CP 规则:如果,需要标注附加前提的位置和结果的位置
大写的 I 表示的是通过基本蕴含关系推导出来的
标注 E,表示通过等价推导出来的,如 p → q 等价于 ¬p ∨ q
反证法:可以将 ¬结果 加入到前提集合当中,然后推出矛盾就代表原命题成立