Chie yllabuk’») Hope sit wel JoyLogical Conne dived ik Oraby gx ei daics DO PINE \ Ta tembine tne AR Alyn we use kome Aymbod ky ane called ‘Loyicall connectives: Ong a on Kw gt 8 palex (Axiom) Whih we Con uae to hs i) Conjunction ( A , ond) Mdion then Yoon mone Alotcnert) o | ane combined by the iten (33 How (Statement) » P Sentence @ which) boond “and* , Shen the ; Wik meaningnel to | Combined — Abskement 1K Sy uhethen ty ik dues an falke | tolled —Consunttton bu net | : Yo Peg me two A Atdemert aod, ( : ; Srsenent& , She tmpownd wih Oo defini ghiemert pry (P andy), £E ) Pune ik y x called p Conjunction 4, > Mr pits ae 3 A | 9 Pp mek 4 Deeetpo tt? £22 PS Sami} Lier ovimning yeeene 6 =). (vet P | 4: Sumy Dike g easing Mai 153 wy ea Ne cee. 2 Sf PAZ: Sumi) Dike £isimeaing gad ) DeOVin 3 x EA (wed proposition ) | d ) Sumit Line's Ktuirmmied). p | (ompo vnd Sfateme ah. y } de es on mone ; I Madernegs they Can bE rmnivned Fr | T hb persuce ante sistemert, these | Eso | © Blatemnt ane clled Compenad S#veneW. |Exclusive tu ane -Cimbind agnvl '@’ pen Compound 16 Known af €xUukive ai 2 then + y) Ex p: 7 shell go Jon valle Dicjmcion F Joo on rm yt bho weith> TV (yon) Setiments ane ie nie iy | Perr 1 Lhll go 70 ae wath Tus . he texpoves | 6 Kooun ob TWAS ee 144 aoe toon Ahetiment * digjuauien’. Beery iS Ato 24 por] | P ditquntion yl ey Ps T sbll punchase & breX ere Se purihoy & des tV yi 7 Abell punchass a coke onmda) Pegation yp iB denetld b is ted 0S pot P ) y P IK JoueCmendic Ad- Aeotne JO Yin gy yuh ) A, V,@ ~ binary connecting Bi-conditionel connectives (Pip ¢) ouble jplitatton ) ~~ —) Unsny Connective impli (Por) eee ae si - x» i Conditoned Connertiwk On | fay ee > (4 then -- ) Fstementk — then he Compound Epliatin Abstr poy dh OP (Poy) | 16 called bs conditional tonne Hh = a ~*~ | on double implicdtony 18 let Pond y be 9 foo denoted by Posy. fo Atotemen) K 096 + pr position Kewer Neat 6p iy god only 4 4 Peer py, thon the = fttemert , | YY CP iy) Prem gis denvted by | ry. gy om a snitaye SABE Py (PF implica yn” | Ps LA = 90 P is Aupficient aseer Vo 08) t AS is remo , laa Y Neremory 4 t : RP) vy [XE Par [peel aay Bo fp: funtion ik Sifinentieble fo = ts [ee 42 finttion ig “tent F E 128 F : | Pays if funuioe i atte then | F/ | 7 {Ae Jun vien Vg Continuoug: ee Con4napokitve 9 on implication P+ | Par - zie / “a Cabin 0a [ps6 2a foute Iv A 1 Then OP=P vy vee) Az6 8) Prove tht Az pein y z B= (Poy > (eon) EO ee ane byiva ly cys VokonA 8) Chek (PY) amp hw Ot frailty epsivalene A#L ALB OM | VW roel ggentiered | Ooyical eyivel Y) BS + Derondon's dow i9 Powe, Ihe ° f (Pyy)nee = ~Pay ~(Pay) = ~pyey A B ~(PVY) = oPpcy ciotive Sow (Pry| an (vy) vA) Cemmmutstive Lavy _ Pay = yap vy = ave 6) Prove tht A= Ppabwn) % B= (Pav) Vian Tdempoyent Qeow PAP APR eve =e ) Dowble negative ~| <2) aefo > gen ) Diginibave Pow EX pining D> mae rey pee PACyVA) = (PAY v (eng) PU)! 149 > 10 ©) Folge rand ev CYAN) = (pv¥) A (pyn) PD): perp to Faye POY + Birr > Jo ot Folte POY G475 11 Tame ) A béonption Sow Pv(pry) = Pp | thes PO) ig pedi cote Pa (evy) =p 309): e494 Cree ) Poy ON,Y + f= 291 oF De. -p. Gls, , 92042 S Tame ) ee es ve 7 y Lae 6 (an) = Bt Ith 2D ane | & (4) 8 3 =) aay mea 8) A= peoy | BE (P 4) 004) 2 Bla) TK predierte | +) TA 1K epplitebte Jon one ove tht RW OnL. forest Prr ea ASE Lene then alts ale Sypdiclente — vajtnort Wainy Jubb | —— ~ en) = B= (Py) a (y-#) x) Guansiqiend [wan “Pvy N (~4VP?P) . Pry , (-Py (nye a (3 PPV uiAtme vey fic yur ~ Existential a ‘ ee peri Guontifien 2 p=b | See ae —— > Ma t=TRe sunyneel qyurtifien 2) Te we tom find 9! Di oe rh _ Velie gy X Jon wil ¥) Pedi i A Sonteme As tie diene 1 i " PIR) Gf pls) hob “the 7 invelving Variable Some fnutw value al Pliny ig cates ena ANE poh called pasposition. | oa st xs a |.) renwsed by Yeas) | 4p Dente XQ 2 pm) Wn we Ayn ene f dee eM “ome ® “porticwon value Hm PSendente veg >, pun) becomes — Stored (Pr pAidion) whith j6 Ciifwn True v7 Fol bd rot beth, pen cater 2 heyy ThA open seemed i, olled | 1. nay cad ine 4 Edie de. | Vinod unnercel bahfa} dome 9 eve fall Pd) : pot > any X pons w>% [Ext pin) 2 x0 71S ew * xER pO Pte pont xtc e) mer p(n) | nena, MED fhvated Bq pneet Trt etebtice the mn pret Youre 9 % mothemet’el fot med: wean ) Theor is on hones politicion PAs 9 is hone kt OE 5k an hewess pels By plies ane dchany 2) Evuy Atudet Kady ihe fa Colenlud, | chr la & Deane clos Predire Subjeu aad Study tht Coltulod 7 Studest POV!» Bina tne Weld in tne ett rH fo piv. th veg Studed be he Cluslig © aks. [ya pi): Sume Studied do nod ftv Coal fh Clans Thee ws sine 4 ne Wen Abdel Who deg Sindy Soe Coley in ass. 2 Props - Pr a 7p ® Dine pro? Fan Youe Thee Uni 6 DO oe . ra Valid ongumirte™ Bhoves | tpl 16 Wey ig oes dined poe prog &) prove thet ig 0 Th od . = body inttgin “thes at 7% ood (ategn nc inten Tilnt 15 vad naegts aa Pop: Yon ote nig, Toe | gr Is. nde invenen | NS odd Integer n= oka ke] (Qkeany® Maer : wn scenes mnt = BD (any ok) Ket jeter) aetey ae} nt = 2m 49y ahaa Hente nes is wh6) with the help Y Une Na ant be ene pelea Pre Pere tat ay mk web A puyeu cyun| * * pb uF, ‘ ‘ AG, Or, then mn jh Ao Pay won PRYEH — guane. Umma fale b cobs ty 79 hired] Sb Pi man we a perfect dynare he f Bet, hh ne nna Yi mn ek Payer auere godon ' Sum 9 btn Ok b 47 @ cd By:. Te. man be ba me 4 vag atb = ty ey ee Daren O ATR ESN Aa Fi te A OE A Oey Faget byune s = tnt ht 4 yee eee , 4 th mk TKO prfet dyna ty the 44, Po ‘ Meat, et 3 164 | nee nee Kee py ex ae pe & 4 Cr, N42, roubtiply — beth oy Bo ARN hh eR. : epraedia man = ates? aber Jeet mrn = (06)? 7) Otb= A jy alte & Pe te | Ge Reap rin « lio pe a: %) Pred by Conoapenttinn pager — Aue on 7A Ybatined Pong) fry y Ontncypeditin Pasting B) pave tht vm og Avo | Potion =o numb th A Whin ff TA sk pedal + sik EJ Potton ol rumba omy ainew ne yhen we 1 eT P: a Ab one Potion Avmbu Ply — ewe this ontth a: 4 Sam 9 ab iA a Pdiond Y yive Conajtimal At obem et Aum bo py tats ve peg Ty ap Wn Patient numba Te GH olor 8 Datiind re be ey mp ta elle vnny Cait4) fay the Yn ic “en #) fog ¥ CONV nM in a! Sk In 0. poe by we ai_ume “hel go Atoteened — nat TERRA Nes Ini, we pimive of A Contad?deg) then : Vien iy tolled pond dy Conroy Ioene py3072 ig odd inten thee oh iA ola int gn, WRB Koda ny. PVs Ty Bn4a Is odd inegey 3 ; 4) | ee 18? soda! inten” | 8) Fme “ha Ts 15 on ianetioneh = in Creme Ort}; | «ez | Pfr is on inpetiond. wei Ba = aK-) HP. 5 ik A Netonel ne. Baines Nation Ppa. K pean Bis a on n 7a “e é ) ) aa i ieee - 24 er det | i AR deg Ot pues | : | (gevewery cab we pring °° Sy | 7 penis even! it ~ Pp: 3tr ig eum ise ner} =) 9 = ab | Se HOY th The ; in. 0 abe bet, peo 9 gan Nis even int bea o ere per oP? 4 = ke Kez BN42= 320 )Fa 7 FL ab i4 0m even jnte S bo +2 thin a 4 an Cn 2 = 2(3a+1) a aed | 42) 0. Ole ™ e7 fr Ber, 3aez 304 ex : Ke a am mer as 5 , n¢y = 2m =) by See ner in 7) Bntr is eve Integn . B a 7) yb ih otenn ~y rr is dove tomb teem Crea hm poy is dometow, sy ore pours y erpmnn) qa 2k b oe even jt 7) WA he commen davon e 2 bet we Mumma not REIS heh Ae Commun pot teens mes JEON 6 lange png Beeireve tht fe kt; han INMette of Aum ben. Ape sees: on innate ner am PRG hak commen goon Depend on i Ate (Cen dace J w | a>b thes a J | ay depend on Vt * 4 o, b B>2 fy ay. Ywe cond dee rk | four om fle os tt | 1S depend on ne ED Droog by epiivlenceg eh UE A Dotion.t one Y IS 15 A Dotted? nes then Ks = os gh Py Er, gcd CP,4) =] 9” Sypraning 3) Ree pe S ise 5 pre spr ce) Me | 6 Pris ié © uivititle iy 5 then P i ole divicibte KS 2 P= Sm mer ’ ra sm » ee tee aid “SF tividine. by then ¥ ig hte sivitible y ie whe Tne = Ry Urded Pry by eprivalence 8) Prove tho iz janet onek S43 on noSD p. S13f, 18 07 Innatimdno S439 1s A AationdS no. tr rer, Pen yr rmubtigly the given Etosemed B 4) Prog a Ras Wwe Wer. dis pref tre Ateemat 8) Aa = OA is shag L Co] Le] F [a] Ca) aye ¥) Mistoled hn pew 6 4) bot a =b ors ob Subset bY qrom hot hide atebh = ob cbt | (ay) (a-b) = b (a-b) | ivi. (0b) —3 mish ie [ary sb 20 a divide bh oO (jee re es > (pray “= Aha 40h onan AER ge Ay marin | (048) " > Sapam, = Gra) - (048) A (A+6) 40 (OR) = pty Ah + haa” thet ghicm as so Ars 108 #Oh Past BA