数理逻辑复习要点及习题答案整理.doc

数理逻辑复习要点及习题答案整理.doc寸f匕 ;匕 ' 1


I
d 个(b个d)(z
(V ;QQr)丄：s
(v;0r).(0f3r
f 0.(0*-sr vr-0cor <,个甲不(g个<.■-
t
((」个d不(b个d)不((」个b不d)
」O4 sa-qs£n」lt5n」lsuoopue sajau Uoleuuo4 Me」一
寸f匕
E7 £

I to
-
8 to L! 9;0


Z・I 1
<
-
pf (p*-(0f3) S d0fs)r •寸
5vr .E <-m<r •- V 个<个m个<)丄(E
(0 丄 c))丄Qafs 0f(0f;)-(«af3r t Sr 0-(0f ;)r -ar aar-ar 0.(cr€ mar-v
s'个ffi个 0)不(8 个<;- (z

This exercise is rather trivial because the sets of clauses are satisfiable and for S a set of satisfiable clauses. So {) the valid empty set of clauses. For each of the sets, we give a sequence of sets obtained by using the various lemmas.
[pq, qr, rs, ps}彩{qr, a} « {qr] Q { },
{pqr, q, prs, qs, p$} « (pr, prs, s, pF} « (pr, p] Q {p} QQ { }, {pqrs, qrs, prs, qs, ps} « {qrs, prs, qs,丙} a { },
(pq, qrs, pqrs, r, q} « [prs, r} « {r} « { }.
5.
7
6.
r
7.
□
Refutation
5.
两
6.
P
7.
q
8.
q
9.
□
1:
1,2




5, 6
,8

1)
-> B(x)) f (VxA(x) f 3xB(x))]
3x(A(x) —> -'(VxA(x) —> 3xB(x))
a —> a—>
111. 3x(A(x) f B(x)), Vx4(x), -• 3xB(x))
8
1111. A(a) -> B(a)y xA(x),^ 3xB(x))
卩f
11111. VxA(x), -• 3x^(x))
Y
111111."⑷,A(°),-iB(a)
X
11112. B(a)y xA(x), -• 3xB(x)
Y
111121. B(a),A ⑷,-«B(a)
X
1. -«|(Vx4(x) f 3xB(x)) f 3x(A(x) -