离散数学
①A P（附加前提） ②A B
T①I ③A B C D P ④C D T②③I ⑤D T④I ⑥D E T⑤I ⑦D E F P ⑧F T⑥⑦I ⑨A F CP
2、证明 ① xP(x) P（附加前提） ②P(c)
US① ③ x(P(x) Q(x)) P ④P(c) Q(c) US③ ⑤Q(c) T②④I ⑥ xQ(x)
UG⑤ ⑦ xP(x) xQ(x)
CP
三、 计算 18% 1、 解：
0100 M 1010 1R
0001 M 0R2 MR MR
000
0
0 ，
0 0
1
01 M010 R3 MR2
M 1
R
0000 0000 1010 M101 R4 MR3
M 0
R
0000
0000
01
0 1
01 000 00
0
，