分配律 p∨(q∧r)≡(p∨q)∧(p∨r)
p
∨
(
q
∧
r
)
≡
(
p
∨
q
)
∧
(
p
∨
r
)
p∧(q∨r)≡(p∧q)∨(p∧r)
p
∧
(
q
∨
r
)
≡
(
p
∧
q
)
∨
(
p
∧
r
)
吸收律 p∨(p∧q)≡p
p
∨
(
p
∧
q
)
≡
p
p∧(p∨q)≡p
p
∧
(
p
∨
q
)
≡
p
条件命题逻辑等价式
p→q≡¬p∨q
p
→
q
≡
¬
p
∨
q
p→q≡¬q→¬q
p
→
q
≡
¬
q
→
¬
q
(条件命题等价于其逆否命题)
双条件命题逻辑等价式
p↔q≡(p→q)∧(q→p)
p
↔
q
≡
(
p
→
q
)
∧
(
q
→
p
)
量词逻辑
谓词
谓词:句子中代表主语属性的那一部分。
例如:可以用命题函数P(x)表示命题“x>3”,其中x是变量,P则表示谓词“大于3”。
一般地,涉及n个变量的命题可以表示为 P(x1,x2,...,xn)
P
(
x
1
,
x
2
,
.
.
.
,
x
n
)
。P
P
称为命题函数,或n元谓词。
量词一览
量化
全称量化
存在量化
量词
全称量词 ∀ 存在量词 ∃
∃
表示 ∀xP(x)
∀
x
P
(
x
)
∃xP(x)
∃
x
P
(
x
)
读作 对所有x,P(x) 存在x,P(x) 否定 ∃x¬P(x)
∃
x
¬
P
(
x
)
∀x¬P(x)
∀
x
¬
P
(
x
)
还有其他的量化,比如存在一个(恰有一个,唯一性量词∃!xP(x)
∃
!
x
P
(
x
)
),存在几个等,这里主要考虑全称量化和存在量化。对应的命题称为全称命题和存在命题。
其中x
x
的考虑范围称为论域。
优先级
量词的优先级高于前面的所有逻辑运算符。
涉及量词的逻辑等价式
∀x(P(x)∧Q(x))≡∀xP(x)∧∀xQ(x) ∃x(P(x)∨Q(x))≡∃xP(x)∨∃xQ(x)
∃
x
(
P
(
x
)
∨
Q
(
x
)
)
≡
∃
x
P
(
x
)
∨
∃
x
Q
(
x
)
这很容易理解,反之,全称量词对析取不可分配,存在量词对合取也是不可分配的。
量词的德摩根律: ¬∀xP(x)≡∃x¬P(x)
¬
∀
x
P
(
x
)
≡
∃
x
¬
P
(
x
)
¬∃xP(x)≡∀x¬P(x)
¬
∃
x
P
(
x
)
≡
∀
x
¬
P
(
x
)
为什么这也叫德摩根律呢?当变量x的论域是离散数据的集合时,上述命题便可化为多个命题变元的德摩根律。
嵌套量词
量词的嵌套
量词可以嵌套。 例如语句:“两个正整数之和一定是正数”。 便可以表示为 ∀x>0∀y>0(x+y>0)
∀
x
>
0
∀
y
>
0
(
x
+
y
>
0
)
,或者∀x∀y((x>0)∧(y>0)→(x+y>0))
∀
x
∀
y
(
(
x
>
0
)
∧
(
y
>
0
)
→
(
x
+
y
>
0
)
)
,其中论域为整数。 或者∀x∀y(x+y>0)
∀
x
∀
y
(
x
+
y
>
0
)
,其中论域为正整数。
可以看到,论域不同,表示也可以不同。
多重量化中,量词的顺序很重要,不同的顺序将表示不同的含义,除非全部是全称量词或者存在量词。
例子
让我们回顾极限
limx→af(x)=L
lim
x
→
a
f
(
x
)
=
L
的定义是:对任意实数 ϵ>0
ϵ
>
0
,存在一个实数 δ>0
δ
>
0
,使得对任意的 x
x
,只要有 0<|x−a|<δ,就有0<|f(x)−L|<ϵ
0
<
|
f
(
x
)
−
L
|
<
ϵ
. 则使用嵌套量词可表示为:
∀ϵ>0∃δ>0∀x(0<|x−a|<δ→0<|f(x)−L|<ϵ)
∀
ϵ
>
0
∃
δ
>
0
∀
x
(
0
<
|
x
−
a
|
<
δ
→
0
<
|
f
(
x
)
−
L
|
<
ϵ
)
其中
ϵ
ϵ
,
δ
δ
,
x
x
的论域为实数集合。
嵌套量词的否定
嵌套量词的否定可以通过连续应用量词的德摩根律得到。
比如对于“ limx→af(x) 不存在”这个命题:对于全体实数
L
L
,limx→af(x)≠L 使用量词表示为即为:
∀L∃ϵ>0∀δ>0∃x(0<|x−a|<δ∧|f(x)−L|≥ϵ)
∀
L
∃
ϵ
>
0
∀
δ
>
0
∃
x
(
0
<
|
x
−
a
|
<
δ
∧
|
f
(
x
)
−
L
|
≥
ϵ
)
其中 L
L
,ϵ, δ
δ
,x
x
的论域为实数集合。
自然语言与量词逻辑的翻译
我们可以将涉及到量词的自然语言翻译为量词逻辑。
例题(Discrete Mathematics and Its Application,Chapter1,section 1.5,Practice No.9):
令L(x,y)表示x
x
爱y,其中x
x
和y论域为所有人的集合。 则下列语句的可如此翻译:
每个人都爱Jerry——∀xL(x,Jerry)
∀
x
L
(
x
,
J
e
r
r
y
)
每个人都爱某个人——∀x∃yL(x,y)
∀
x
∃
y
L
(
x
,
y
)
有个每个都不爱的人——∃y∀x¬L(x,y)
∃
y
∀
x
¬
L
(
x
,
y
)
恰有一个每个人都爱他的人——∃!x∀yL(y,x)
∃
!
x
∀
y
L
(
y
,
x
)
或 ∃x(∀yL(y,x)∧∀z((∀wL(w,z))→z=x))
∃
x
(
∀
y
L
(
y
,
x
)
∧
∀
z
(
(
∀
w
L
(
w
,
z
)
)
→
z
=
x
)
)
有人除了自己以外谁都不爱——∃x∀y(L(x,y)↔x=y)
∃
x
∀
y
(
L
(
x
,
y
)
↔
x
=
y
)
或 ∃x(L(x,x)∧∀y(y≠x→¬L(x,y)))
∃
x
(
L
(
x
,
x
)
∧
∀
y
(
y
≠
x
→
¬
L
(
x
,
y
)
)
)
当命题 p1∧p2∧⋯∧pn→q
p
1
∧
p
2
∧
⋯
∧
p
n
→
q
为永真式时,论证有效,其中p1…pn
p
1
…
p
n
为前提,q
q
为结论。
其中如果前提(p1∧p2∧⋯∧pn)为真时,结论(q
q
)为真,则该论证是有效的。
这时我们应该思考为什么,回顾条件命题 p→q 的真值表:
((p→q)∧(q→r))→(p→r)
(
(
p
→
q
)
∧
(
q
→
r
)
)
→
(
p
→
r
)
析取三段论
((p∨q)∧¬p)→q
(
(
p
∨
q
)
∧
¬
p
)
→
q
附加律
p→(p∨q)
p
→
(
p
∨
q
)
化简律
(p∧q)→p
(
p
∧
q
)
→
p
合取律
((p)∧(q))→p
(
(
p
)
∧
(
q
)
)
→
p
消解律
((p∨q)∧(¬p∨r))→(q∨r)
(
(
p
∨
q
)
∧
(
¬
p
∨
r
)
)
→
(
q
∨
r
)
都是非常容易理解和证明的,现证明一下假言推理。 ((p→q)∧p)→q
(
(
p
→
q
)
∧
p
)
→
q
≡¬((¬p∨q)∧p)∨q
≡
¬
(
(
¬
p
∨
q
)
∧
p
)
∨
q
≡¬(p∧q)∨q
≡
¬
(
p
∧
q
)
∨
q
≡¬p∨¬q∨q
≡
¬
p
∨
¬
q
∨
q
≡T
≡
T
谬误
((p→q)∧q)→p
(
(
p
→
q
)
∧
q
)
→
p
不是永真式,如果不小心使用了进行推理,则会产生肯定结论的谬误。
(¬p∧(p→q))→¬q
(
¬
p
∧
(
p
→
q
)
)
→
¬
q
也不是永真式,使用其进行推理会产生否定假设的谬误。
量化命题的推理规则
量化命题的推理规则有全称实例,全称引入,存在实例和存在引入。非常简单,不予赘述。
当量化命题与其前面的推理规组合使用时,有: 全称假言推理:∀x(P(x)→Q(x))∧P(a)→Q(a)
∀
x
(
P
(
x
)
→
Q
(
x
)
)
∧
P
(
a
)
→
Q
(
a
)
全称取拒式:∀x(P(x)→Q(x))∧¬Q(a)→¬P(a)
∀
x
(
P
(
x
)
→
Q
(
x
)
)
∧
¬
Q
(
a
)
→
¬
P
(
a
)