0% found this document useful (0 votes)
14 views11 pages

Lecture 7 - 9

Formal Maths
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
14 views11 pages

Lecture 7 - 9

Formal Maths
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 11

~'1UJ~ (J,xiamJ ~ ~\AJ ~.

~/s ~ LISV /Xr.5.-hJo.hA) ~ ~IH.- ~/~


~ ~- ~~ k'YYl<J/ fcrv' ~ ~ cro
~ ~. 7fL~ <'-,or.l
-"'~ 6'VO1
,',~ ~ ~~~

The.se.- ~ GUL ~l~ <U;

L. r7'l€AJ& i:.1 Q; ~. ?'1{.l/lYV~ 1.;

2. E~ ~~. Y1 h9-I> CV /ouCCe.aMv Sen);

f\Lo ~~. .ft.a...d 1 M ~b /Ol.-lLC24M-uv~/

4~ ./)6 YI/ 711 ~ ~ ~'-~ /3UUv ~


SCn) -=. SCm) , ~ ?'l ..::: >"1"'1.

5. ~ ~ 1 ~ ~ "",rueJ, qm~

1 ~ 1:% /dU<f..R.-<1g tfV 1) .wet ~ "3 ~ /del


~~ns cJJL ~ ~J

~L=S(1) ; 3 == S( 2 ) ~ S(~C1))
2 c I~ DE N

~1 .9-& S( 3) =: /?r No ~ CVWm} Lt.


·4:: S (3) - ) LJ =- I -) S ( 2» ::. 1. f)ut- I t u)Y1I-v6t~c:~ 10
~ I ~ -t- \ i -L , S(~) t 1, ~'<fnl 3.
·h OAK.WYn 5 D6 ~n ovl ~P..- '1J Ln~ll1j .
~ ii ~ (,V tAl'(f To ~ ~t Q f~+ct
PCYI) ~ ~ r ~ ?LGVtZ{~ ~ rI.

~-. - A ~ I~
p(YJ)
iJ ~ r
~~~ .

p~ ~ - ~ ~ ~~~ . J--l-~ / vV40 ~Lrrf


~ ~ ~ 'Y};. / L-~ ~ ~ pe l ).
/o-hw, ~ Vn~ ~ Y) 0 o<. ....~ 'YltI."",i=v,

h% aLUA ~ . ~
tlvY\O'\ p(7))
1t /A.k- Yl6W

P( :; en») . Vrvi:.6 cJ~.s ~ r/y) cUu-f:::Urrv J' ~ ~

I-t n : =:. Sen)


Bet md.»..(Axv~} Joy hi ~ Ad J '

S (m) -t YI : ::: S (m-t Y») .

FV-v , ~ ~ ""vf.'J , yY'J, fJ-tS(rn)Oo.S(YJtm) .


~,- VIfe- .:nd.«.J:; em (Reep f-~) V') >7)

~AIA,~ ~ ~ 71='/ -7 '


b~ N . bjd..t{j
J -+ S ( 'l71 ) =3\.S ( m )) S ( I T \'Y)) . ~ Buhle..& We
=.
~.
l~ ~ ~l.VrYLL ~ Y\tS(m)=- S(nt~)-,
~e
vJZ. ~~
' .

~ ~"U ~
SCn) t S em') =- S (S(n) 1- m) .

SLY! ') i ~ lm) -=- Sl n t Sl Wl ) ) bq ~. ~ cuJ~.

:::. S Csen i YYl)) btt MMC~ ~(fbl'h ®


-=- S ( S(n)t YyJ) ~ ~ '))o&J.

~/ Yl-t ~ CrY),) ==- ~lY1-t m) V \"'\J m &- N

?ry ~ - h:N tl Y1 Q- y\ 6 ~\ J l-'r \'1 ==- Y\ -t l.

p~ - Pv:nrr ~ mJu.d:;ti1Y1 IIYl V)

rL::..1 :- l-t \ -::;. SCI)

If I ~ Sl\) ~v\oJ.

s.~~ l;~ \..,.Yl=.Y\+\

~ 'rwJtL -to %\MsVJ ~. \ -t SlYl) ~ SlY1J+ \

\-t SeA) ~ S(SlYlJ) ~


b~ WJ·
S (Y\') i' \ =: S ( Y\ -t \) = ~ S ( \ -t n') ~ S CS ( n) )

~ I l -t S(y) ) = S (Y)) i" \

?~ :- hrv 0V1L-d- n,. m c ~) YYl -t V):::. n T m. ( Ex 1 )


OrcLA-'~ d _ ~b n JY/I & ~)

~ ~;tYvvt Vl Od ~~ lfwn -m ~
( n >m)·ctJ VI-=: mt k / R6 N .

YI =YYI (rv V\ >m.


~ :- ~b 0.> b.) c, E; N,
,) a):-Q; . l~).

2) ll-b a~b C¥m.J?1 b~c I -tt~ a~c l ~1.9yvvtl ~)


~ a~b C>vvJt b~ Q) ttcGVY\j O!::.b ( a n"tt'- ~~~)
Lt) o>-b <~ CAte. >- b t C

...,J--;-'\A..ChlJ~ ~~e.,l~ , _ ~t- 11< , b Eo N .~ -e..x"'~


cm.Q.. 1> lMJL ~~ ~~~ ~ ~ q

o.<b.l Ot=.b> Dt'/b .

Y\.YY) -=- mt- t YY\


~
Y\ -fi ~ ,
~ We-iL Orda-oVvn(!- ~I\d\'--'-F-:­
m weJL (5'J&vv.e .!.

~ ~ Y\on-~~ M S \
/dUr.wl: ~ S ~ CAl ie~t

/he. weJt-~ rfLlYt~ <-> PIW'lt;;/,41J Iri~


~) ( ff!t, axitlm)
~ (7!i~ l~r1J I'-'Ia:bj,,~=t~)
!=6v ~ ~ '/W/rY'but, J..Lb BY?) b.Q. () -()bkma,.,.d-.
"1) d6 ~.
.on PCI) )

i ,- ) UUL ~~~YI~ M
~
P(~) n.. ."-Yl PU~·tl ) I

-Yl (, .~ ~k..7
W bM-L
-r ~(j
Pc. YJ) ~\::I b,u..e 1) C U L{ l
(
,
>'\.~~~11.

~ ,
~ ~
r~ , _
D
AIYoWT>'lL dY\ C-IMh. " 1'/ f I rhA-t WL ti1UMm iia j_e.
~7) unJ;.;tUJnt IJ ~ I) tUL ~ but; ~
.v..J.~ 'Y) f: 1\"1 fv uoJw:J'I P(fl) ~ f/ge., ~{
leh g::. \ 11 f~ ' ?(i));3 fa lJe..l
Si 110>- S =f
OV l~b .eJ~~ A.
/,).> t I '(f \ Q.I} - ()Y4
S ,: yl D- ?U) f..,j
rr
I:;w...e., I
IS. ~J
11= / j . 7tuu
/;) 'z. L a.ncL 0 _ \ E: M lfl,,(L,j <1Yle- f.LI ts C>rvJ-,s0 P[.6-I) '"
Oc ~ 1;)\...\em.Q.""t, " B(f L<>Y\l:k+tdl'l ',i) I Rill) ~ q lso twa. 1, Q

~ 1. 7hM CAn~.s rT, t, Q au.~ APuL -ZlE S.

~ If I _L
t-e[; P(-1) ') be.- 1(iL. s-k.> ~.~ VYIf~'/\ ~
<. A(f od OJ; ~"'L "Y)lvn,pw., Ul>'Ik"/l~ Cl rnW
-niVffiiuN ~ n h..-~ l t~t -eJ.~. >J
E !:: 1 rY\ b = A.m) ~ +U~i
~ tJ tHe. ~ eCc + l nUl. l- ' 'b ~ .
~ ~ C-<D\cL.~trrv
o
UALJ f) ,

To ~ l:U.Q.. un&i t-t'crY\ i J ,


wJ.t ~ --rhLi rY\-r- I 6 F.
S Yl~ rY\ f. E --:10 .'1) X ." it ~b&_.6 ~ 1 ~1-eu.'r1L"!.
6v ?1A,~ ~b.e.v ~n ll thf '4 'I )( Yt9<l a. ~ eLerruz../.
~) J..d C bt- a ~uJ:),U 1J tV ~'1-
YL~ 'Y1~ ~ rni' I. btJ ~ hJ2d Y}{) eLentR-rAJ1­
<!-. m;- I . ~ n1-t I M l7<c. {( ~ t- ~le,~tl th10i ~

~~.

~) ~ 7NJ:, ~ t/ (:. ( 1hv--


/cJULh tf< tntt .
3n r~ / 'if- ~ P') -:r~/\Lr/ C hM elY!

-0~ (j ~ rn I 1)., t{Ju...C C hcu5 ~ I~? eleme~ (: n1EE).


~ I Yn-t lE E vV htiil purveg C-Md.. ii}

I-I-eYlLe-1 0-- ~ ~UF !~ ~. mclucl-1ffn I v~ hJ .1AJ<


1::-::0 N.

f1Yf) :
11 6 N . .~

l -f - -f R -::.. lee T I) .
L.­
We... tAj", yr\- to ~-w p (lL-t I) 6d t-'1A IL L -e .
\1"';- lie-\-0 ~ \i . . _,. I(( l' lIL I)
~ ~ l IL-t \') l I')
2.. -t

~ (k-t \)4 2..0<-1 \") =- ( lei 0(ki L.)


L. Z

I•

() & Ni )

l. l.. )..
I 1 2., -t " " . t >1 -:: YI ( II) 1!) ( 2)11/ )
6 .

p~. -
)2..::. \.2 . 3=..1
6

/2. t. "t k.. 2. "::. J<-[ r ~-,) (JU'-1 1) _ @


o

h ant a.~~ J€~ l\f " jI\~ w~ IJo

,1- ' -1 (/L-f~_t~ O'-11) £( f2.)(2-~"'3


b

'-
1 -t " - l'
/I
J!f j)
l..
-=- fT- .t t .L f l{ t.!) 2­

Ie. (" I~ -tlJ ( 2.l. ,fl) -t ~T!)i..


o;:.. (y.tV t k ( 2-)( f I") 1 6(k:f l)]


L:
~ ~·tI)
- L
-
L it 1.-/
o
7 k- t ~ )

1'.
C

Ba 1n04~ P~F I LA) ~


} 2-1 -- f TIL ::.. n . (-Y') -f I ) (Z.~'flt
(,
hrv Ov ?~ ~t ·-nu"nWa-v m) M S =1 . eN: i ~ mJ.
r:t:N ~ () c ~ Ub p(r1 ) ~~, c~ /,}J.a.~. ~
I

I) PCyf}) M t;u,u., j

ii' ~ ~ PO~) -) P(fLtl)

l..1 ~ r ~ R6 S;
~ Pc ?I) M tvu.e... toy CL,eQ YJ t S.

Res.u ll; 1 . ~ () >5 / ~ h9tJ-~ 'Y).2_ n - 1.0 >tJ.

~; -
..
I) F6Y ()= 6 Ct..) ~ 6 - 20 -= L0 >tJ I the-<.R.- :r/
1
Y1 -f)- 2.0"/0 fr"r tl=6 .
'/1 )
/w&~ XI'lJ: -r'" Iz > 5,. ~ ~ kl_k-20 >0

2
(1<+0 - ck t I) - Lv
_ ~ 2. 2k t J- k - } - 2c>
-=- ~2- -t R. -20 -:: (IE. 1_ /Q- 2Vt 2 )z
o t 2.1'< » 0 (: /('-Ie -20»0 CJv..eI k >s-)
H bna/ ~ ~bed) I/(\~ I, nl_kJ._20/,O f"vo.}J 11>5.

/file Pn,UlU~ ~ Co~ -IJ1ctU.L~ ( PC!.)


.9f) s c ~ s. -I­
rcJ.t 111 c N / ttl 1/2/ --/ ;~ c;; S,. then YYl 6 51
S::. N .

• .% ~ ~f\ tb Gl<IC~ .s~ ~'9J AW:h '~J


fRs,dt.. A 4~ lQ"i t<l c~ ~ ~
p~- ~ /Ab~ 7 n~/ ctucL~
Sin0Z. at I ::: 2- , } _1 :::. I -' '(Ru _~ fvsfJ.; frr YI==- I ,

A~ r a-n ~~_ t: E- AI ~
ai: -=- 2 (, _I ¥ I~, L ~Je "
~lC tl ~ 2(f<-t 1)-}= 2ktl .

(l, -J ::. 2 l k - -I ') - j ~ 2}1(-3

OuR. -=- 2 f?_ ) -=- 2..1<_1

- 2 QQ, - C{k_1 -- 2 (2Je - I; -(2.e-~

~ llvL ~ , S(f ~51:1 [l)(f PIv{ I J

'.

~ ,. A ~t1IYI<fl- 1arJ H de.~ ~<M7.-~ 7­


a f -=. I) 01.- -=- ~ I Ol ; l :=- 2 C'1J'1-1 + QI'}-2 2r V)~ 2>

Co>(ju..~ fVW2-~ j'~v 0 '1 DvteJ ~ ctnw cm~

~ ,
-t~

a., -:.- 2 Q2 - ell + 2 ::. 2 (- L'.'• - I -t 2 =­ q


Q'1 -::. 203 - Q2 -t 2::.. 2 ( lr) - . .,' 2:: 16
as-::. 2Q 4 - Cl3 -t 2 ~ 2 C' {) -Cf t 2 ::. .2 5

~trn '-"- I auv C%YI d E- L tLi (e. :.s


Q n -=- Y/ 2- ,1/ () E.- /~

/UmJ.,) blc- u.J ~ ;t. L1/ mdu-c.-btirn


hrv- n:::...) I ~ 1-::.. I) ~)) we. /ll1ds
IUvw) ~ ::.aut L ~ i),eh'i-LQ.,,( t. E M,
ai ::.. L +- ! 5 L' .!; le ,

~ ! Q = 1<. '- Om. 01 n !q;/ ~ f(2 -I) L ~ )( i- Liz.-t I ~ (k?+I/


Or _I i 2- ::. 2 ( e2-) - (k. - I) L12 =-
Q
121 I -:::. 2 C/ Ie ~ 2 Je.2..- lr.L"I lr>
1:: T LK - / f 2
M t- ~ f/UJce~ ~ v]r,~ .
SiJ'7~ Ot 2 1_ J ::. J ~ ~ ~j jrrt-
l ::. I Y)=- J.

A~ ThJ jav a--n ~,&q(f REO /'1,)


C~~ .:: 2 . - I tf/<;;~JZ .
~~/ O-k_t =2 (fc-I) -I = 2.i<-~
owvL a Je-2 =- 2 (,e-2) _ I '::- 2k- 5
/1. ~ 2 ( 2)(- E) - (2lc -3)
_
t.l.ow 2 VV ~I ~ R-2. ­
- LiR- _2.ie.-rS
=- 2 R­
~ 2(1< - J)
p~­
[I~r~)
~ ~-=-\Y)~
\-(.CCL ~ \ " S~

p~ I l . ,.~ 11 (n+1 hqJ ~'t! -IuJo rt..;brr


?TIT 1 hct ~ 14/)1.0..- ft tv r' to m t I 6 S.
!}b rn f J k! nOC ~ I 4·tt:: 1) tA ~ ki £) -f-U::o-r 'X., ~m (

~ +. 1<--L < Y"Yl t t· /Y\JAL ,~ "-t- ~ E: 5 I -x.. ~ 4 f«'Mf2.


.~Lbn- W\;u~ w CGU . (, P ,"--Q. fa~1Ft 1J rtttl , "Tf.tw,

YY1 -f' I t-~ .

Thu;, ~ SPfv1I, S~ ; '1 t: ~~ : tl>j i-e , P(t 1'1!1.~


~ ~ ~ 1 ~h.5IA (1 ~~

~
a V\J
£)Jl P) l­
91J n 16 r~ I f,H" ,,) 0 {\ ~ fvlAJy ~ ;6 ( ,
1\J-6UJ., ~~ ~ t.1 C6>?'ljkJ ~ I Ifr ~ r) ~
f-uto ~ ~~ ~ 1 t.Yv\.J I) ,

LA P btV UI.L /c) m l t Lk-dt fD ftt ~ r~ ' vVL c1tilYl

-tVvJ P w ~.
bApptfJe- P M ~h ffUn p hM a ~~ d I

l<d <t.
s,//i Ce.. d ) P <>--J pi V1 ~') c. I Y) B~ I (d < n 0...-4 'fk!.,

C6Y\ b~cj-s ~ olR-f) . ,~ t


{;>I\..o.' M...Q...

You might also like