一
、
求
公
式
(
¬
p
→
q
)
→
(
q
→
r
)
的
主
合
取
范
式
和
主
析
取
范
式
。
(
10
分
)
一、求公式(\neg p \to q )\to (q \to r )的主合取范式和主析取范式。(10分)
一、求公式(¬p→q)→(q→r)的主合取范式和主析取范式。(10分)
真
值
表
如
下
:
真值表如下:
真值表如下:
p | q | r | ¬ p \neg p ¬p | ¬ p → q \neg p \to q ¬p→q | q → r q\to r q→r | ( ¬ q → q ) → ( q → r ) (\neg q\to q)\to (q\to r) (¬q→q)→(q→r) |
---|---|---|---|---|---|---|
0 | 0 | 0 | 1 | 0 | 1 | 1 |
0 | 0 | 1 | 1 | 0 | 1 | 1 |
0 | 1 | 0 | 1 | 1 | 0 | 0 |
0 | 1 | 1 | 1 | 1 | 1 | 1 |
1 | 0 | 0 | 0 | 1 | 1 | 1 |
1 | 0 | 1 | 0 | 1 | 1 | 1 |
1 | 1 | 0 | 0 | 1 | 0 | 0 |
1 | 1 | 1 | 0 | 1 | 1 | 1 |
主
合
取
范
式
为
(
p
∨
¬
q
∨
r
)
∧
(
¬
p
∨
¬
q
∨
r
)
主合取范式为(p \lor \neg q \lor r)\land (\neg p \lor \neg q \lor r )
主合取范式为(p∨¬q∨r)∧(¬p∨¬q∨r)
主
析
取
范
式
为
(
¬
p
∧
¬
q
∧
¬
r
)
∨
(
¬
p
∧
¬
q
∧
r
)
∨
(
¬
p
∧
q
∧
r
)
∨
(
p
∧
¬
q
∧
¬
r
)
∨
(
p
∧
¬
q
∧
r
)
∨
(
p
∧
q
∧
r
)
主析取范式为(\neg p \land \neg q \land \neg r )\lor (\neg p \land \neg q \land r )\lor (\neg p \land q \land r )\lor (p \land \neg q \land \neg r )\lor (p \land \neg q \land r)\lor (p \land q \land r)
主析取范式为(¬p∧¬q∧¬r)∨(¬p∧¬q∧r)∨(¬p∧q∧r)∨(p∧¬q∧¬r)∨(p∧¬q∧r)∨(p∧q∧r)
二
、
用
′
↓
′
等
价
表
示
公
式
(
p
→
q
)
→
¬
r
。
(
10
分
)
二、用'\downarrow'等价表示公式(p \to q)\to \neg r。(10分)
二、用′↓′等价表示公式(p→q)→¬r。(10分)
(
p
→
q
)
→
¬
r
⟺
¬
(
¬
p
∨
q
)
∨
¬
r
⟺
(
¬
p
↓
q
)
∨
¬
r
⟺
(
(
¬
p
↓
q
)
↓
¬
r
)
↓
(
(
¬
p
↓
q
)
↓
¬
r
)
⟺
(
(
(
p
↓
p
)
↓
q
)
↓
(
r
↓
r
)
)
↓
(
(
(
p
↓
p
)
↓
q
)
↓
(
r
↓
r
)
)
\begin{aligned} (p \to q)\to \neg r &\iff \neg(\neg p\lor q)\lor \neg r\\ &\iff (\neg p \downarrow q)\lor \neg r\\ &\iff ((\neg p\downarrow q)\downarrow \neg r)\downarrow ((\neg p\downarrow q)\downarrow \neg r) \\ &\iff (((p \downarrow p)\downarrow q)\downarrow (r\downarrow r))\downarrow (((p \downarrow p)\downarrow q)\downarrow (r\downarrow r)) \end{aligned}
(p→q)→¬r⟺¬(¬p∨q)∨¬r⟺(¬p↓q)∨¬r⟺((¬p↓q)↓¬r)↓((¬p↓q)↓¬r)⟺(((p↓p)↓q)↓(r↓r))↓(((p↓p)↓q)↓(r↓r))
三
、
设
A
,
B
为
F
C
中
任
意
公
式
,
举
例
说
明
A
→
B
⊢
F
C
∀
v
A
→
∀
v
B
不
一
定
成
立
。
(
5
分
)
三、设A,B为FC中任意公式,举例说明A\to B\vdash_{FC}\forall vA\to \forall vB不一定成立。(5分)
三、设A,B为FC中任意公式,举例说明A→B⊢FC∀vA→∀vB不一定成立。(5分)
根
据
演
绎
定
理
,
原
公
式
等
价
于
⊢
F
C
(
A
→
B
)
→
(
∀
v
A
→
∀
v
B
)
根据演绎定理,原公式等价于\vdash_{FC}(A\to B)\to (\forall vA\to \forall vB)
根据演绎定理,原公式等价于⊢FC(A→B)→(∀vA→∀vB)
构
造
如
下
解
释
构造如下解释
构造如下解释
A
,
B
中
变
元
均
为
v
,
论
域
D
=
{
0
,
1
}
,
A
ˉ
,
B
ˉ
:
D
→
{
T
,
F
}
A,B中变元均为v,论域D=\{0,1\},\bar{A},\bar{B}:D\to \{T,F\}
A,B中变元均为v,论域D={0,1},Aˉ,Bˉ:D→{T,F}
A
(
0
)
=
T
,
A
(
1
)
=
T
,
B
(
0
)
=
T
,
B
(
1
)
=
F
,
v
ˉ
=
0
A(0) = T,A(1) = T,B(0) = T,B(1) = F,\bar{v} = 0
A(0)=T,A(1)=T,B(0)=T,B(1)=F,vˉ=0
将
此
解
释
带
入
得
将此解释带入得
将此解释带入得
(
A
ˉ
(
v
ˉ
)
→
B
ˉ
(
v
ˉ
)
)
→
(
∀
v
A
ˉ
→
∀
v
B
ˉ
)
=
(
T
→
T
)
→
(
T
→
F
)
=
T
→
F
=
F
\begin{aligned} (\bar{A}(\bar{v})\to \bar{B}(\bar{v}))\to(\forall v\bar{A}\to \forall v\bar{B})&=(T\to T)\to (T\to F)\\ &=T\to F\\ &=F \end{aligned}
(Aˉ(vˉ)→Bˉ(vˉ))→(∀vAˉ→∀vBˉ)=(T→T)→(T→F)=T→F=F
由
此
可
得
,
在
此
解
释
下
,
该
公
式
不
成
立
。
由此可得,在此解释下,该公式不成立。
由此可得,在此解释下,该公式不成立。
四
、
分
别
用
′
↑
′
和
′
↓
′
等
价
表
示
公
式
¬
(
p
∧
¬
q
)
∧
(
q
∧
r
)
四、分别用'\uparrow'和'\downarrow'等价表示公式\neg(p\land \neg q)\land (q \land r)
四、分别用′↑′和′↓′等价表示公式¬(p∧¬q)∧(q∧r)
首
先
将
公
式
化
简
首先将公式化简
首先将公式化简
¬
(
p
∧
¬
q
)
∧
(
q
∧
r
)
⟺
(
¬
p
∨
q
)
∧
(
q
∧
r
)
⟺
(
¬
p
∧
q
∧
r
)
∨
(
q
∧
r
)
⟺
q
∧
r
\begin{aligned} \neg(p\land \neg q)\land (q \land r)&\iff (\neg p \lor q)\land (q \land r)\\ &\iff (\neg p\land q \land r)\lor (q \land r)\\ &\iff q\land r \end{aligned}
¬(p∧¬q)∧(q∧r)⟺(¬p∨q)∧(q∧r)⟺(¬p∧q∧r)∨(q∧r)⟺q∧r
用
′
↑
表
示
′
用'\uparrow 表示'
用′↑表示′
¬
(
p
∧
¬
q
)
∧
(
q
∧
r
)
⟺
q
∧
r
⟺
(
q
↑
r
)
↑
(
q
↑
r
)
\begin{aligned} \neg(p\land \neg q)\land (q \land r)&\iff q\land r\\ &\iff (q \uparrow r)\uparrow (q \uparrow r) \end{aligned}
¬(p∧¬q)∧(q∧r)⟺q∧r⟺(q↑r)↑(q↑r)
用
‘
↓
’
表
示
用‘\downarrow’表示
用‘↓’表示
¬
(
p
∧
¬
q
)
∧
(
q
∧
r
)
⟺
q
∧
r
⟺
¬
(
¬
q
∨
¬
r
)
⟺
¬
q
↓
¬
r
⟺
(
q
↓
q
)
↓
(
r
↓
r
)
\begin{aligned} \neg(p\land \neg q)\land (q \land r)&\iff q\land r\\ &\iff \neg(\neg q\lor \neg r)\\ &\iff \neg q\downarrow \neg r\\ &\iff (q\downarrow q)\downarrow (r \downarrow r) \end{aligned}
¬(p∧¬q)∧(q∧r)⟺q∧r⟺¬(¬q∨¬r)⟺¬q↓¬r⟺(q↓q)↓(r↓r)
五
、
在
命
题
逻
辑
演
算
系
统
P
C
中
证
明
:
(
20
分
)
五、在命题逻辑演算系统PC中证明:(20分)
五、在命题逻辑演算系统PC中证明:(20分)
(
1
)
⊢
¬
C
→
(
¬
B
→
¬
(
¬
B
→
C
)
)
(1)\vdash \neg C \to (\neg B \to \neg(\neg B\to C))
(1)⊢¬C→(¬B→¬(¬B→C))
1.
(
¬
B
→
C
)
→
(
¬
C
→
B
)
逆
否
1.(\neg B\to C)\to (\neg C\to B)\quad 逆否
1.(¬B→C)→(¬C→B)逆否
2.
(
(
¬
B
→
C
)
→
(
¬
C
→
B
)
)
→
(
¬
C
→
(
(
¬
B
→
C
)
→
B
)
)
前
件
互
换
定
理
2.((\neg B\to C)\to (\neg C\to B))\to(\neg C\to ((\neg B\to C)\to B))\quad 前件互换定理
2.((¬B→C)→(¬C→B))→(¬C→((¬B→C)→B))前件互换定理
3.
¬
C
→
(
(
¬
B
→
C
)
→
B
)
1
,
2
r
m
p
3.\neg C \to ((\neg B\to C)\to B)\quad 1,2r_{mp}
3.¬C→((¬B→C)→B)1,2rmp
4.
(
(
¬
B
→
C
)
→
B
)
→
(
¬
B
→
¬
(
¬
B
→
C
)
)
逆
否
4.((\neg B\to C)\to B)\to (\neg B\to \neg (\neg B\to C))\quad 逆否
4.((¬B→C)→B)→(¬B→¬(¬B→C))逆否
5.
¬
C
→
(
¬
B
→
¬
(
¬
B
→
C
)
)
3
,
4
三
段
论
5.\neg C \to (\neg B \to \neg(\neg B\to C))\quad 3,4三段论
5.¬C→(¬B→¬(¬B→C))3,4三段论
(
2
)
⊢
(
(
A
→
(
B
→
C
)
)
→
A
)
→
A
(2)\vdash ((A\to (B\to C))\to A)\to A
(2)⊢((A→(B→C))→A)→A
1.
¬
A
→
(
A
→
(
B
→
C
)
)
定
理
3.1.3
1.\neg A\to (A\to(B\to C))\quad 定理3.1.3
1.¬A→(A→(B→C))定理3.1.3
2.
¬
(
A
→
(
B
→
C
)
)
→
A
1
逆
否
2.\neg(A\to (B\to C))\to A\quad 1逆否
2.¬(A→(B→C))→A1逆否
3.
A
→
A
定
理
3.1.1
3.A\to A\quad 定理3.1.1
3.A→A定理3.1.1
4.
(
¬
(
A
→
(
B
→
C
)
)
→
A
)
→
(
(
A
→
A
)
→
(
(
(
A
→
(
B
→
C
)
)
→
A
)
→
A
)
)
定
理
3.1.14
4.(\neg(A\to (B\to C))\to A)\to((A\to A)\to(((A\to (B\to C))\to A)\to A))\quad 定理3.1.14
4.(¬(A→(B→C))→A)→((A→A)→(((A→(B→C))→A)→A))定理3.1.14
5.
(
(
A
→
(
B
→
C
)
)
→
A
)
→
A
2
,
3
,
4
r
m
p
5.((A\to (B\to C))\to A)\to A\quad 2,3,4r_{mp}
5.((A→(B→C))→A)→A2,3,4rmp
(
3
)
⊢
(
A
→
(
B
→
¬
C
)
)
→
(
C
→
(
A
→
¬
B
)
)
(3)\vdash (A\to (B\to \neg C))\to (C\to (A\to \neg B))
(3)⊢(A→(B→¬C))→(C→(A→¬B))
1.
¬
A
→
(
A
→
(
C
→
¬
B
)
)
定
理
3.1.3
1.\neg A\to (A\to (C\to \neg B))\quad 定理3.1.3
1.¬A→(A→(C→¬B))定理3.1.3
2.
(
A
→
(
C
→
¬
B
)
)
→
(
C
→
(
A
→
¬
B
)
)
前
件
互
换
定
理
2.(A\to(C\to \neg B))\to(C\to (A\to \neg B))\quad 前件互换定理
2.(A→(C→¬B))→(C→(A→¬B))前件互换定理
3.
¬
A
→
(
C
→
(
A
→
¬
B
)
)
1
,
2
三
段
论
3.\neg A\to (C\to (A\to \neg B))\quad 1,2三段论
3.¬A→(C→(A→¬B))1,2三段论
4.
(
B
→
¬
C
)
→
(
C
→
¬
B
)
逆
否
4.(B\to \neg C)\to (C \to \neg B)\quad 逆否
4.(B→¬C)→(C→¬B)逆否
5.
(
C
→
¬
B
)
→
(
A
→
(
C
→
¬
B
)
)
A
1
5.(C\to \neg B)\to (A\to (C\to \neg B))\quad A1
5.(C→¬B)→(A→(C→¬B))A1
6.
(
B
→
¬
C
)
→
(
A
→
(
C
→
¬
B
)
)
4
,
5
三
段
论
6.(B\to \neg C)\to (A\to (C\to \neg B))\quad 4,5三段论
6.(B→¬C)→(A→(C→¬B))4,5三段论
7.
(
B
→
¬
C
)
→
(
C
→
(
A
→
¬
B
)
)
2
,
6
三
段
论
7.(B\to \neg C)\to (C\to (A\to \neg B))\quad 2,6三段论
7.(B→¬C)→(C→(A→¬B))2,6三段论
8.
(
¬
A
→
(
C
→
(
A
→
¬
B
)
)
)
→
(
(
(
B
→
¬
C
)
→
(
C
→
(
A
→
¬
B
)
)
)
→
(
(
A
→
(
B
→
¬
C
)
)
→
(
C
→
(
A
→
¬
B
)
)
)
)
定
理
3.1.14
8.(\neg A\to (C\to (A\to \neg B)))\to (((B\to \neg C)\to (C\to (A\to \neg B)))\to ((A\to (B\to \neg C))\to (C\to (A\to \neg B))))\quad 定理3.1.14
8.(¬A→(C→(A→¬B)))→(((B→¬C)→(C→(A→¬B)))→((A→(B→¬C))→(C→(A→¬B))))定理3.1.14
9.
(
A
→
(
B
→
¬
C
)
)
→
(
C
→
(
A
→
¬
B
)
)
3
,
7
,
8
r
m
p
9.(A\to (B\to \neg C))\to (C\to (A\to \neg B))\quad 3,7,8r_{mp}
9.(A→(B→¬C))→(C→(A→¬B))3,7,8rmp
(
4
)
(
(
¬
A
→
B
)
→
C
)
→
D
,
¬
D
→
¬
B
,
¬
A
⊢
D
(4)((\neg A\to B)\to C)\to D,\neg D\to \neg B,\neg A\vdash D
(4)((¬A→B)→C)→D,¬D→¬B,¬A⊢D
1.
(
B
→
D
)
→
(
(
(
(
¬
A
→
B
)
→
C
)
→
D
)
→
(
(
¬
B
→
(
(
¬
A
→
B
)
→
C
)
)
→
D
)
)
定
理
3.1.14
1.(B\to D)\to((((\neg A\to B)\to C)\to D)\to((\neg B\to ((\neg A\to B)\to C))\to D))\quad 定理3.1.14
1.(B→D)→((((¬A→B)→C)→D)→((¬B→((¬A→B)→C))→D))定理3.1.14
2.
(
¬
D
→
¬
B
)
→
(
B
→
D
)
A
3
2.(\neg D\to \neg B)\to (B\to D)\quad A3
2.(¬D→¬B)→(B→D)A3
3.
¬
D
→
¬
B
前
提
3.\neg D\to \neg B\quad 前提
3.¬D→¬B前提
4.
B
→
D
2
,
3
r
m
p
4.B\to D\quad 2,3r_{mp}
4.B→D2,3rmp
5.
(
(
¬
A
→
B
)
→
C
)
→
D
前
提
5.((\neg A\to B)\to C)\to D\quad 前提
5.((¬A→B)→C)→D前提
6.
¬
A
→
(
A
→
(
B
→
¬
C
)
)
定
理
3.1.3
6.\neg A\to(A\to (B\to \neg C))\quad 定理3.1.3
6.¬A→(A→(B→¬C))定理3.1.3
7.
¬
A
前
提
7.\neg A\quad 前提
7.¬A前提
8.
A
→
(
B
→
¬
C
)
6
,
7
r
m
p
8.A\to (B\to \neg C)\quad 6,7r_{mp}
8.A→(B→¬C)6,7rmp
9.
B
→
(
¬
B
→
C
)
定
理
3.1.3
9.B\to(\neg B\to C)\quad 定理3.1.3
9.B→(¬B→C)定理3.1.3
10.
(
A
→
(
B
→
¬
C
)
)
→
(
(
B
→
(
¬
B
→
C
)
)
→
(
(
¬
A
→
B
)
→
(
¬
B
→
C
)
)
)
定
理
3.1.14
10.(A\to (B\to \neg C))\to ((B\to(\neg B\to C))\to ((\neg A\to B)\to (\neg B\to C)))\quad 定理3.1.14
10.(A→(B→¬C))→((B→(¬B→C))→((¬A→B)→(¬B→C)))定理3.1.14
11.
(
¬
A
→
B
)
→
(
¬
B
→
C
)
8
,
9
,
10
r
m
p
11.(\neg A\to B)\to (\neg B\to C)\quad 8,9,10r_{mp}
11.(¬A→B)→(¬B→C)8,9,10rmp
12.
(
(
¬
A
→
B
)
→
(
¬
B
→
C
)
)
→
(
¬
B
→
(
(
¬
A
→
B
)
→
C
)
)
前
件
互
换
定
理
12.((\neg A\to B)\to (\neg B\to C))\to(\neg B\to ((\neg A\to B)\to C))\quad 前件互换定理
12.((¬A→B)→(¬B→C))→(¬B→((¬A→B)→C))前件互换定理
13.
¬
B
→
(
(
¬
A
→
B
)
→
C
)
11
,
12
r
m
p
13.\neg B\to ((\neg A\to B)\to C)\quad 11,12r_{mp}
13.¬B→((¬A→B)→C)11,12rmp
14.
D
1
,
4
,
5
,
13
r
m
p
14.D\quad 1,4,5,13r_{mp}
14.D1,4,5,13rmp