命题与逻辑联接词
命题:具有确定真假性的陈述句
- 原子命题:不可继续拆分的简单命题
- 复合命题:由原子命题通过联接词组成
联接词
联接词 | 符号 | 示例 |
---|---|---|
否定 | ¬ \neg ¬ | ¬ p \neg p ¬p 称非p,或p的否定 |
合取 | ∧ \wedge ∧ | p ∧ q p\wedge q p∧q 表示 p并且q。p,q真值均为1时 p ∧ q p\wedge q p∧q为1 |
析取 | ∨ \vee ∨ | p,q真值均为0时 p ∨ q p\vee q p∨q为0(与并集符号开口方向一致) |
蕴含 | → \rightarrow → | p为蕴含式 p → q p\rightarrow q p→q 的前件,q为后件, p → q p\rightarrow q p→q真值为0当且仅当p值为1,q值为0 |
等价 | ↔ \leftrightarrow ↔ | p当且仅当q记为 p ↔ q p\leftrightarrow q p↔q , p ↔ q p\leftrightarrow q p↔q 真值为1当且仅当p,q真值相同 |
注:对于蕴含运算,p,q均为真时,
p
→
q
p\rightarrow q
p→q 为真,而p为假的情况下,
p
→
q
p\rightarrow q
p→q 真假性并不重要,因而不论q为真假,
p
→
q
p\rightarrow q
p→q 总为真
命题公式
命题公式可由命题常量,命题变量,命题联接词组合而成
含有n个命题变量的命题公式称为n元命题公式
命题公式可等价视为对各命题变量的一个真值赋值
等值运算
定义:命题公式A,B对任意真值赋值都取相同的真值,记为 A ⇔ B A \Leftrightarrow B A⇔B
下面列出一些真值恒等式:
- A ∧ ( A ∨ B ) = A A\wedge(A\vee B)=A A∧(A∨B)=A
- ( A ∧ B ) ∨ C ⇔ ( A ∨ C ) ∧ ( B ∨ C ) (A \wedge B)\vee C \Leftrightarrow (A\vee C)\wedge(B\vee C) (A∧B)∨C⇔(A∨C)∧(B∨C)
- ¬ ( A ∧ B ) ⇔ ¬ A ∨ ¬ B \neg(A \wedge B) \Leftrightarrow \neg A \vee\neg B ¬(A∧B)⇔¬A∨¬B
- 蕴含恒等式: A → B ⇔ ¬ A ∨ B A \rightarrow B\Leftrightarrow \neg A\vee B A→B⇔¬A∨B
- 假言易位: A → B ⇔ ¬ B → ¬ A A \rightarrow B\Leftrightarrow \neg B\rightarrow \neg A A→B⇔¬B→¬A
- 等价恒等式: A ↔ B ⇔ ( A → B ) ∧ ( B → A ) A \leftrightarrow B \Leftrightarrow (A \rightarrow B)\wedge (B \rightarrow A) A↔B⇔(A→B)∧(B→A)
例:证
(
A
∨
B
)
→
C
=
(
A
→
C
)
∧
(
B
→
C
)
(A\vee B)\rightarrow C = (A\rightarrow C)\wedge(B\rightarrow C)
(A∨B)→C=(A→C)∧(B→C)
(
A
∨
B
)
→
C
=
¬
(
A
∨
B
)
∨
C
=
(
¬
A
∧
¬
B
)
∨
C
=
(
¬
A
∨
C
)
∧
(
¬
B
∨
C
)
=
(
A
→
C
)
∧
(
B
→
C
)
\begin{align} (A\vee B)\rightarrow C&=\neg(A\vee B)\vee C\\ &=(\neg A\wedge\neg B)\vee C\\ &=(\neg A\vee C)\wedge(\neg B\vee C)\\ &=(A\rightarrow C)\wedge(B\rightarrow C)\\ \end{align}
(A∨B)→C=¬(A∨B)∨C=(¬A∧¬B)∨C=(¬A∨C)∧(¬B∨C)=(A→C)∧(B→C)
范式
即某种特定表达式
主析取范式
前提:命题公式有成真赋值
设命题变量A中有n个命题变量,称依次含有A中每个命题变量的合取式(
∧
\wedge
∧)为A的极小项。极小项的析取式主析取范式。
更一般地,称若干合取式组成的析取式称为析取范式
为什么是析取?
命题公式的所有成真赋值均有对应的极小项(真值1),将其析取(类比取并集,只要一项为1,命题公式为1)则得到与命题公式等值的范式
例题:注意补足相关变量构成极小项
极小项顺序: A的极小项含n个文字,将它们按指定的顺序排列,命题变量记作1、命题变量的否定记作0,得到长度为n的二进制串,其数值k即为该极小项的编码
而按照极小项的编码递增顺序排列,得到的主析取范式唯一
主合取范式
同样的,非永真的命题公式有主合取范式
极大项(maxterm):文字的析取式,每个命题变量都出现一次
主合取范式(PCNF / product-of-sums expansion):极大项的合取式,与原命题公式等值
极大项顺序: 命题变量记作0、命题变量的否定记作1(恰与极小项相反),得到长度为n的二进制串,其数值k即为该极小项的编码
功能完备集
n元真值函数
n个不同的命题变量对应n元真值函数2(2n)个
若每个n元真值函数均有对应的命题公式,则引出功能完备集概念
功能完备集
联结词集合S,对任意真值函数F(x1,x2,…,xn) ,存在仅含S中的联结词的命题公式A,A所对应的真值函数恰为F(x1,x2,…,xn)
联结词
¬
,
∧
,
∨
\neg,\wedge,\vee
¬,∧,∨足以描述所有的逻辑关系
→
\rightarrow
→和
↔
\leftrightarrow
↔ 并非必须
几个术语:
- 冗余联结词:联结词,删除它后的联结词集仍功能完备
- 独立联结词:非冗余联结词、
- 极小完备集:不含冗余联结词
自然推理系统
逻辑推理就是从若干前提(命题)依据一些推理规则推出一个结论(命题)
推理规则:
- P规则(前提引入规则):前提可在推理的任何一步引入
- T规则(重言蕴涵规则):如果推理中前面已有的某些公式可合乎逻辑地推出公式C,则在推理中可以引入C
n常用推理规则(由T规则派生)