Professional Documents
Culture Documents
ntsn
Cy phn tch
[3]
Chng 3
ntsn
Hin hu
[3]
q
y
t do
x
x
x
rng buc rng buc t do
Chng 3
ntsn
Thay th
[3]
y
t do
x
x
x
rng buc rng buc t do
x v y c th c thay th
Chng 3
ntsn
Thay th
[3]
t do
rng buc
f(x, y) khng t do i vi x.
x
t do
p
Chng 3
x
t do
q
y
rng buc
ntsn
Thay th
[3]
y
t do
x
x
x
t do
rng buc rng buc
Chng 3
x
t do
K hiu F[f(x,y)/x]
y
t do
ntsn
Thay th
[3]
Nhn xt :
Mt s bin cn c i tn tho mn iu
kin thay th.
t do
rng buc
f(x, y) khng t do i vi x.
x
t do
p
x
t do
q
t
y
rng buc
Chng 3
ntsn
[3]
Chng 3
ntsn
[3]
Chng 3
ntsn
[3]
Chng minh : t1 = t2 t2 = t1
1 t 1 = t2
tin
F l cng thc x = t1.
2 t 1 = t1
(=i)
y l F[t1/x]
3 t 2 = t1
(=e) 1, 2
l F[t2/x] vi t2 = 1+x.
Chng 3
ntsn
[3]
Chng minh : t1 = t2 , t2 = t3 t1 = t3
F l cng thc (x = t3).
tin (F[t2/x])
1 t2 = t3
2 t1 = t2
tin
=e 1, 2 (F[t1/x])
3 t 1 = t3
Chng 3
ntsn
[3]
[3]
Chng 3
ntsn
[3]
Th d :
p(t), x (p(x)q(x)) q(t)
vi mi t (t do i vi x)
1
x (p(x)q(x))
tin
2
p(t)q(t)
e 1
3
p(t)
tin
4
q(t)
e 2, 3
Chng 3
ntsn
[3]
[3]
dng :
dng k :
nif
F[x0/x]
dng k+1 :
x F
vi bin x0 l bt k v khng xut hin ngoi
cu trc ifnif.
khi vit c dng k+1.
Cu trc ifnif ch l qui nh phm vi ca x0.
Chng 3
ntsn
[3]
Chng 3
ntsn
[3]
Qui tc xi dn t F[x0/x] n x F c v nh
t mt trng hp c bit khi qut ra trng
hp tng qut.
iu kin bin x0 cha xut hin ngoi cu
trc ifnif cho php khi qut c trng hp
tng qut.
V x0 l bt k, khng phi l phn t c
chun bi sn.
Chng 3
ntsn
[3]
Chng 3
ntsn
[3]
tin
e 1
i 2
Chng 3
ntsn
[3]
dng k :
nif G
dng k+1 : G
vi x0 l bt k v khng xut hin ngoi cu
trc ifnif.
Nu c dng m v cu trc ifnif th vit c
dng k+1.
Chng 3
ntsn
[3]
Chng 3
ntsn
[3]
Chng 3
ntsn
[3]
[3]
Chng 3
ntsn
[3]
if y0
nif
xy (p(x)q(y))
x p(x)
tin
tin
if x0 p(x0)
p(x0) q(y0)
nif
q(y0)
q(y0)
y q(y)
2 [x0/x]
x y e 1
e 4,5
x e 2,4-6
y i 3-7
Chng 3
ntsn
[3]
nh l :
(a) x F x F
(b) x F x F
Chng 3
ntsn
Chng 3
ntsn
[3]
nh l :
G khng cha hin hu t do (trong G) ca x.
(a) x F G x (F G)
(b) x F G x (F G)
(c) x F G x (F G)
(d) x F G x (F G)
Chng 3
ntsn
[3]
nh l :
G khng cha hin hu t do (trong G) ca x.
(e) x (G F) G x F
(f)
x (F G) x F G
(g) x (F G) x F G
(h) x (G F) G x F
Chng 3
ntsn
[3]
x (F G)
x (F G)
yx F
yx F
Chng 3
ntsn
Bi tp
Chng 3 : Lun l v t
ntsn
[3]
Chng 3
ntsn
[3]
3. Dch ra LLVT :
a. C ng 3 phn t phn bit.
b. C nhiu nht 3 phn t phn bit.
c. Ch mt s hu hn cc phn t phn bit.
4. Chng minh :
F (q1q2) (Fq1) (Fq2) (trong LLM)
F x q(x) x (F q(x)) (trong LLVT) vi
x khng t do trong F.
x (p(x) q(x)) x p(x) x q(x).
Chng 3
ntsn
[3]
Chng 3
ntsn
Ht slide
Chng 3
ntsn