may(a,,b) — max(aziz2) Lem { @&;b) = 2 °, « aoe 4 We obsewe thet Wy main (ai, bi) Ww ay oy by max Cai bi) ¥ a ov Hew, SBC a,b) x LemCa,b) =f Pee a ae a a wal {orn Cab) + max (avbi)} sainlanibs imax Cn lh a prartb) es +bnJ ° ne n = Cee re ee. em) = ab ® a Gc Cay) = | than for ° ion ary Tetape aS Cac, )= gehen’) ged Cab) =\ MO + a> aa 30 acd Cac, b= A M20c +Nobe= a 3© ¥M2,N2 EZ. fF mn €za + A OEMs 8 +nN2b) 2a (™\\ ck abmahc + amymab+nimb= A 2a WN ao” a Zany MEO (amon + AM\Me, +ninob)b AL. a he pis “M3 > Me mgc +n3bed aco Ce.) i a G) IF a and b axe conrime ond a and c axe copnime 1 Then o ond loc one Co pri me > oa OBb one © ime ther acd Caib)= 1 Matnb=' sQM ¥mn, Cz “here & ond © ome © prime ther acd Cad = Moat Neca | 3Q ¥mgn, €2 (mratnid) Crea +n20) 21 armima2 + & CmN2+ Ab mon; +bCNin2 =| Co MM, + CriM2+ bmen)yat- Crinz) be = | Maza + ngbe = | acd Ca; be=4: @ ace clab and ab ae copiwe ; @xs 6 gb one ony Enkin, which o B pono t 7 Stmultanzously zoo, and K us oa not BL ove = © Rvkegee Hhen qcd CKa 1 Ke) = ¥ me ok mek as, b/y © +e aod Cad=d then get COG: P/ YE aa 2a\o8\? {a oe ' 4 oe Fe Contig Logical Conreckions ; Shaw \s Negation (1 ov ~) : Aokule 2 Divaganction CW) . 3+ Conjunckion C a) Conchitional (—) i 5+. Beandttonal Ces) z ne | n a Pe iN \ ‘ AS aol iy % Solel ay / SF i4 : a = ie e —s j & b= ‘a ¥adte a tees pecs | THe Comes of pogde qaep yvowe + Whe Voaense 02 Pq jn 1p> 9, | 0 positive + The contro pesitive of p24 Js 14> 1p sect method + | | I (i) Show “het pr A = ? aed MS ot pA Pangy Gera v ay W a ae ee, ay “¢ io ; = , x Ee) ¥ =" E oi — 7 ae F i } t - a N e ‘ ey «| - & 4 ae i . Fae x c Ee F Fas + « - £ Cena) SHEL Po vd so Pie |) 4) 4 L$ GY ps Cav) @a Logical Equi valence | lc © Shaw that P2VE TPVY@ Md neh © ~CevgJ= 1pA77 ® | @ pesg = (paqacqrp @ | ® pesy = (png) vCaparg) [2 Page Gpva) A C74¥P) | (pod) an Cp 2YN= p= CqgNV® Law Soyical | dent ty ow —s PAT P, PVE =P le Dorinant Law ——spvTey , pnea | Saeepen PPP P “Commutative low — > Pro ane, & al = “Assoclative oi) = PvCqvex s are? ACG NS , “pibubsbive Law —> PYCq” oxen ts > BCE) ) pv Cpna)=% eg on Law —> PYrp=ti pare = F xg Laws py CRIED IY PRG : ~eag =~ WY pores Coe er ty ae rs Coineck mathe ws not allowed to use ¥). £ a ) show thot ped = Cpngyy C1PA1% by Tndinect | watthod. Avon a a Say pain Copy 1 By Jaylead E gulvolenc Teva) A (4WP) By Sogicak Equivalence | Lop vq Ar ¥) v [ic lpyy)ap e, distyibutive Jaw eng) XC anagyv pve) By distributive Jaw. VC4np), ( Crparq) ¥ Cap) a) (0. | € Cong arnt | | : Cp) & + CE) show trot C png) > AP Ae W749 Ney ANID YG cae! = i ¢ dob Ts )— Cevy) * Cp , } —> C @ oP a 7 Cena) ¥ Cry a. “by Joreol Gap | (apvaq) v Cpvy) hy Pes Law | (4 eve) (Crane) yp loys ‘cuakyipaton Low I: Kewk ji: {wv e. ey Adam po e | shew Ata tena) Cp >a) 2 Saln - a * pee (pry) > (p29) wi tL. tery) 3 =>) ae 13 (pny) es (4p Vy) | i aVAY) V (A PV q) by Be mov ow : ) v ( \ VY v4) ty Jowieat Loyd vellsven } LG} V 4 y VaAPVY 17—) ¥ Coq yg) by areovabive rv ae 5 by dominacion Jow show thot P= CQ) show thax P= Cy Ree PNQ)—>R Stow trad Cpvay) A ACAphge P Cpva) CR Y7G) by Low of Eepolince | YW Cajhaq) civtribubive baw PVE Teasnhty Cow seoS Pale of Taher Rude P | —— Wwe con Sadlees swede any won t oh devi odion OW PANT Qt Rue TY ( ; ; We con giveth, oyynly the toude logy “Xom ot any point coviakion Rule cht SF YX con oe obtained From S$ and Mow Col n - Sek of jens os fran SAY con be clctalind i Rwle of TnGerance. i Name. E 5 a % . Relehtion Rey vy eo pra, PH Simplification * r 4 ©) fi 4 Conjunchion. » * PAg,Ph) Meas Ronerns \ u % Ve? WMedus TeXhiens Ap » 9-994 a Wu pottaaticol Sydlogiom a am i ap. play yey | Diniwctie. Selo L 2 * e f PVF) i Rerlubion. Ee Q Shou that Rds a vahid. thgerence From he frewie poq 1 eae Bh Given premises one Rey aR EreStokement ‘ (es 2 yor 3 POR o\ : Rule Rater > Rule p Wey Rulery Mpeg “Bio siay Rute p )® Robey Modus Poren o ST P53 w volid Srom the Premines TPYY, 4qVR, RS sas ) Afiven prrrnses ov pvt, Fav& , RS “Sten | Statement Rue : = Rate P | ey OQ) Rube au dog whe, | aavR aR pk | R-s PSs Ruke P Rake T (2 ogo (q 2s), Ca vVP)\y > Ts h’- Sven PENSE OAR PCa), Carve) a : _ Statement | Rue. i : a Rue P Var Roke 7 aHi Ps Cys) | Logical | Gps volena, ( Le Puke p ' « “> (q)25) Puke TDG i | Hig s AWC ay > 9) Roe T | ) Rogical en, @ ay “ t. | TW V(nqvs) Rule T | (s) Soaical Cauing " Bao, Ruse P iiie® | g,\ CAN V7. 9yV3) RuST Ca) Conjunctn A: | Fexvs) v9) ae /Bo | anh Carys) V C979) Rule T. +4. | anUrvs v F Rule T (oe | 4 (arg) QulecT 4 4 aes Rute T \ ta (<7), “Se Rule T ” | A gxowrkine ih So Valid conclusion Prom y (tennis eb pom ONT, TSS ak got Tus vokich Pq), at, 25: ' As 4 Pvt.Pepemperm May Wey. opr goons vfoy ye , “Payoompa we ay von! Apres wPoy 4, == Wore yous ML Ve ys wy Wey SSeMOID vamp oy sf aysyworwy 20 Yowwarnl Buymoypos my 2s @ POM ys woroapunel / Uygonig 00, RE xs é ™oy vorpaBary (at 139 Lay 4-Gvd JLvGve) | q 4 ry a b Oa | | mmo IONE ( | | Lod a. | j ausponrme3 (9) Lay ' SLAAL SH G8) Se SL <-g | anyisod | mo) CH) | Lay | sh ey ‘ y dam | wees | ee worhoyafas | ”x Ganditonah Proof Ce): ( Xx The Set of promos thy Ha whose conchusion vd of Ahe Sorm Cag) b (Py Then, tia He, be) enemies © Poe 0 Wing oul CP and prove that P3@ay “IRV P, QRS i Given Premios ane b> (Qo), aRve a = ROS Sten Stok men, alae \ P>(ass) Rule P. , 2 AR vp Rufe P ers ‘ m a SP C2, 3) Whe P Duis funchive Syblogiam Qos (4) Modus Po news & Rule P , 3 ‘ (sib): _ Modus Ponens. uation ot a2) (ow if Roja misses clewer & weads alot ey Raja Wines Aces, &+: Loy Ri Uneducated, Se Reads. Paarla e6 | ro F-5Q, AOR, GOR, PAS. Sys Stakemort oat : Ph * Rute P ; i. Qk at Ps. . es | _ « Hypothetical Si S3R a : E> Rule P 6 S © spl ' A C406) oe & PonersoO) T$ Pworks hard tun Bore ys ( AF B enjoys binmseth. then A wit howd Sf Dery Jninald ther Cit fl (sayy FEA works bonds D wil wot arpa a A works ond ? B will enjoy Hemuelgs wl onion, themselves d np hanwel WN P> Cave), Q> 7B, Ss RerPy Conclusion ay oS Addition! Ioeries |p 3 “ Apne, SAR R38 (Wot oora of Mahe matical Fnchuchion 4 K 1k 00H) be the stotonent including skwral wuroer EF PCI) to true onc PCKA |, gout The ak he amsumptions PCK) us Artue. : conclude Tho c vitotemart pCh) ta Aue by git nadwHal wumbgrs. pf the pelvciyse % ‘Wofahiel Gnduchion t ie prove hol Sor n=l (Ae t5 + + C2n- ae = -nCenent) (art!) 3 ick Pn) = (24377... + Gn-i= nCen-)Centl) = 3 . ; Coc)—1) = IC2c-1) Coci)+) is 1) enos 1 Bees ( SB a cuir. Aho PCy) we Fru when Nf AK see oat. i (zk-)7= K &k~)) Sky) | _ —/ Cone 3 _ TS prove ol kap sis Fo PCKth_. es t~ Kit Cock) ? = &r) Coks2-)CKr24) 5 = arate. ECR DEC) Bye 2 KCK DCaND + @kx2-1) S ! - KCxpeaKa) | Comal 5 = (2«+\) (xo ‘etKC2KaI) 4 3C2kH | ox | SS ; a a aa - 3 bk +) 2K 45 k43 3 { (2k4i) [a : : ~s = 3 Nv (2k+1) Coke) CK 3 = (ka) (ek DC 243) 3 LHS = RHS ; Be: Poh My ‘atterotical fideo. Bo) 4 \2 gan 3-& ncn). | ee( i : Conse \PAY hE PCS | PCa Cid Hal \ = Be x a PCD ws tye. Come - eK Acsume “that Pen) ws 1 Sous whan Nz PC > | = 2/0 ae RR) =. (eA kK Cre Br sii Te prove PC K+) is tRu : - _\ ee oe a) ee _— Fre h SBD 3th oR CAD CEH So Kar Kr\+l Boo KCK) —e —eee ue a ei 2:3 KCK) (ka )CKa9 a OL es \ KA CD CKD aural [ * +l] Kv) Kaz = wl {eee ae | Ky KAZ KAZ 4 NS age | HA Kaa A K+\)" k+\ | <= ; Kaz 60-7 nFton ds divisihe oy 3 Sor n>\ by : ° . Using Madhematical Jnduction. gn” tet pCr)= n3+2n vc divisible by 3 | PCi)= (34201) = ; PCY) eo are23 KCK) kr rCksd = K+\ Cir) CK 49 Te P Kaz = aaa K C2) cael Kez Kt2 =| oe ie KA [a a - Ck) KAN)” a ea = kal KAZ 6) CT nigeonay dies Loy 3 | ty n>| Ny using Mothamatical guduclion. soln’ ot pCn)= nF+2n Kw Ayisib& hy e Ce l= nay a. Ci) = (SsaI@) = 3 PCY) & due. =Cope &' a Resume, That PCK) us dyue nek PCK) 2 Ke 42k vo divisibe bys Cage ar % rove PC KH) is Aru PCKHD | CK + 2Ck+D Kip BRE Bk+l +H Dkpe 2 (KR +2WIC SK 3k49) Hence K342K vis Aivisthe by F and Cak743K49) - BC RFK vy oN chivisibfe bye PCK+) vs Aue, @ Sa nt > 2" a Ne (2 vy all Thducton Pe} QO Core \ie N-\ - Poh) NL 25am\ =, 2 \zn 0 C1) de true 24 ay “scume hot | \ok fe + PCK) = “| Ze 0 prove Pal pcktl) = oan CKeN)) } pehsS 4