I Pi =1, thl M[X] =LXi Pi lie UX lien tl,le
PHAN CAP LUAT
Tll' cae gia thie't, di~u ki~n c6 thS eho ra mQt s6 cae ke't 1u~ va di~u nay du'<;1e hiSu nhu' 1a mQt 1u~t. Lu~t trong mQt s61mh vT!cc6 ra't nhi~u va da d~ng, mu6n fim hiSu chung e~n phai t8 ehU'es~p xe'p 1~i.
Dtja tren ytu'dng mu6n c6 mQt bQ 1u~t "h~t nhan" gQi 1a ca'p 0, xac dinh cac 1u~t trong bQ lu~t trtfe tie'p sinh fa tll'n6, c6 t~p lu~t ea'p 1; mQt cach tu'ong ttj ca'p 2 sinh ra tU'ca'p 1, ...; ca'p k tll' ca'p k-1.
BAng cae kie'n thU'cvll'a hQe d hai mOll Co sd tri thU'cva Co sd dtYli~u, d
day xin du'<;1etrinh bay mQt cach phan ca'p C1}thS bQ 1u~t cho tru'dc bAng each phan ho~ch t~p m~nh d~ ( gia thie't, di~u ki~n, ke't 1u~n ), daD de'n ph an ca'p bQ lu~t thanh cae t~p 1u~ttu'ong U'ngsao cho 1u~t d ca'p 1 se dung t6i da mQt t~p cac gia thie't ca'p 0, cae 1u~t ca'p 2 dung t6i da 2 t~p gia thie't d ca'p 0, 1,... tu'ong ttj ,
cae lu~t cffpk dung t6i da k t~p gia thie't tll'ca'p 0 dSn k - 1.
Cach phan ea'p nay chi thtjc hi~n du'<;1cytu'dng ban dAD trong tru'CJngh<;1p
bQlu~t e6 t~p cae kSt lu~n (j bu'dc i-I baa trUmta't ca cac gia thie't cua cac 1u~td
"" .cap 1. cap 1.
Trong ph~n trinh bay c6 du'a ra mQt s6 dinh nghia v~ 1u~t (khong dAy du, thll'a, mall thugn ), chu trinh ( lu~t, m~nh d~ ) cho phu h<;1pva c6 them mQt s6 va'n d~ lien quail dSn chu trinh. Vi~e phan ca'p 1u~t ( d mU'c dQ hlnh thU'c ) trd Den don gian, nSu nhu' khong c6 chu trinh 1u~t trong bQ lu~t. Ngoai ra, con trlnh
bay cffu tnie dfi'li~u cho bQ lu~t, nhu'ng mQt cach so 1u'<;1c.
Do thCJigian h~n cbS, chi trlnh bay v~ ytu'dng dS t~o mQt co Sd 1u~t (
tu'ong t11nhu' ki6u mQt CSDL ) dS khao sat, c~p nh~t. Khi t~o mQt co sd 1u~t
du'Qcphan ca'p, vi~e c~p nh~t lu~t ma khong cAn phan effp l~i se trd Den phti'e t~p khi e6lien quail dSn chu trinh.
Trong mo hlnh m~ng giao thong du'CJngbQ, vi~c phan ca'p lu~t c6 thS du'Qe dung trong phan cffp hm trfi' co so dtYli~u m~ng du'CJnggiao thong, cae lu~t giao thong.