Logic and Proof

You might also like

You are on page 1of 32
Logic and PooofS Prepesibens Catotements ) 5 3S o deelokanre Scptencee Ahich 6 Cincy tre ot. False, But wk ooh, SO ro posi hone L i> there are Geren Dos 10 GreK BS Dp aes a> The CarHhR 1S Square - aE WW) Ot EIT Tals Fomowreed | £ a. Nek popes hong 4 4S 5 uy Bwmnq thot Gove) > @hoNs Dame ? ab W) bet a” beouhAy Penh g J i “ii Notahen — - ~ whe otokmois the Senlenaes ab an = a Cony : oe Spl} st Green Be Fusaned 10 sore Wemples ae - d BHhnces > Son Oh Sinsplel. oF - Seth Stetements GEE ae INDO 5 Ape “a 6 : ; ot é e ES dthemivc SID okt dene eS See eS tt ge hae Berek case Ie a eSe Gr ee Lect “ConneeryreS: Teas poss ele tp Febra ces and Forney Corp reated Statement foom the Pemery SfotementS by using Cetfoce conncenng CustdS - Thedd S@loremene mee Catlce Campoved Sfarem ents, eq. Qod ,wr, OOF] BUA, While ee 4 theta mre three Fund amectet and RARE rickirec| Cannccess to THombineg tHe pr poerhss — Fundamotrt Gnomes ® Cedjuncrn : @> EU CBee : ES Et = © ToS bh on of EY wWicatbhsn G ohon =i eee oh Stosement GF Premed pe ois wuadg dhe utd Noob ae i ° eee plo ce py fare \ the Sit Gibb the Gbbeese (at See Cost the” = =f gt duaiits a! ofohernesh Here the 547 a pened Geop te PI = Sk touth volue of P33 bye, then fe AE (wel ee of Trip 1 Felse ont wee vttsa- a eH: if posioss tog | fot: © exe ; Apo om por wg Rute a trek: It 1S nor Ge 4h ae Jeger ey orale. @ Gagjesch in (Bnd™), — If pond gq ate otatemeors ) ht. Campsuod statunent “pand o 1m Ccwued 3053 he Coqyyncnsn oh bp on of oe ene a | 15 denied by prc - — Examples . [i Let us Geneideg the Shatemenks ae | pr The sun 16 Sshinsh go q: the bows ate Seat ee theo, xe oe SES pra: Bi sun 16 Sh. ‘Bing ond te OD a4 Fagor ae See eee SAE Coeds te aT Se Bell ca fet. 7 Ban ba eae “2 ae a nyc y < athe HH girs Oke eo wag pa +f @ prunes Cloy"). ae at P and q ake Slatements » Then He | 7 ” aes Compound Strmk “ pet oe 1S cabled, as ol the diejunch sn oh pood a,and Ak a 1g Gensicd by Pv aoe: & — enrample — Pp! Prtrt In rong qs Dato 1> osRoD 4 - py ay an the above eraample, H$he “ow. 15 used «9 s9clusive Gorse lt aicost ene Poserbil hy aa eho ot Ever bath— | | | rasiila Vidy ewete . — Cenaidet the oor egxomple bos atl] kcad 668K ay OM Ae t Sleep. aes ee an ebere ep ptos 1S vecd in eaclusrve BAae pie (ether 3ne ot wher ach ty RD Z Tan Beppe 1 bus Sor beth. eS Seyi Used Wh rhe Neeligiee Gre — ae: z way 16 weed 16 the CCl ae ete dah’ @ Genditonay (7 IF +--: then”), ep ond gq ate’ Statemests , He Compound stmky, rt a Then 7", densted by P21 Caued & Golthos af i ecg ee Impdiearnsd —- p12 Called anpecedent | hype thesis 13 CaUcd Conseq unt a ; — then, Caorrerse “fe Pie gots cP Contse poe? Hye ok pow 1s abs p So Se tery ps Hath cites. Hatd qd Heuks cond Poss ede pre me = 8G Gere Grnretsé ond Seabee oA te toe Cor@ihoneap 4 WL towns 1 tHheng ones an rumba z cihF) “i 3) con Uihen . a @ & of ( Blend cai 5 = AL pend 9 are Statements < Compound BE Bjoverne> } p ee and only ‘hb aaa derried chp pee 1S | Carted bicrdshoney ami t ; fe Bn vobegee 18 extn if oad only fy aS dovioible = On : amma aE ! ; ’ oO os Statement Fatm — WUeaing the leqrcod conn ch yes defind aloore owe Can Sonate ot Fre’m or eaUpre9 S10 POR 9 Sim b Varrebled, Called ae orm Fotms Esa firm poe tien a 9 : 1 s 4 mC Pye —P ge ; : a Cpraye Cre wa). 3 | je ecpatyv Cea Ra : a. fp areremeor form bes OF Fixed tuth ae volute + i Fray VR +o Tre pane Crh OE se “Fables — + A toole A aw poser ble Pou th Vel ot a 6 fom | Se Ra un valuis 0 86iqnec] to she Eranly, GQ Cated uth treble — — heb toHles SR ol: IC Pleyel a} fol. , e 5 area oe aL 3) lelFfe fe & 1+ IS ol IHIRIF IAP > Me Lt ET ANAS Sot ye se cane Deut aye es hee Fa Fillocsrng Shotemcoh Fetes a {VP Via ae - _ J Py aches eu \opvajpaa ( Beto: & af oe iE oP Ce e eS ye Te H eS Jee ee ao 7 We Pre CP aT - ee — 1) CYPRRJA (para) Aopaubol ogy ore , Zh Statement Fotm 19 collect o Foutology” ak 1B Ay s asaumed. Hoe nies WrOeeae wT pReespees ve af the Aki valu ey a56aned do 1fs VKknowley ; a we # Contsadichon ie 3 “s —-B Statement? Fotm 15 called © ContreSien aa AP 4F ws oteroy 5! csgumcs Fhe Abus Volut Fl feeesptcn rt bh He Fe Valu sosigoed to +48 Votables” a Cont enc ~ =~ BH stotemen? Ffotm wh? toute 104 ¥ not G Contse dsthon '5 Called oe Ko0t 94 : | oh 15 nuthet @ Examples {— PAN 18 o towtoleqy > @ ¥KRwP 1% @ Contra dicho . ao eyep[ pent ae Eg Conehrucr fhe fruth tobles to doetmine OhUsRet coch °K the Petiowneg Gee toro bolry st Gor oqencey eto Gas hook U CZ Oh Cap. ae q>P Vp2 onl ms sposs =p = T ft ae Le te 7 Rack as = ene pS Ct>P) Ga Four logy : 5 - a T Fa bquivaleme of Storemesk Fotms : ZAwo Stotemest Forms ake taqPeally ean i both howe the same Huth valu, charger oy be the tbuth Values eee. 40 the ~ Gimb Vakrables + Secuetng in. both the Found, ~ = Ssomples — = @ pond pap ore sages equyalent~ G Idemporenck), lr | PAp j ee Tt eral t E © para and Lop 2 Logreed Pquivrlenee 6 Bthohed 4c = Cy PaCave)y and eee PEL am ty | SS eerie ay Gy PY Cane Jaos Creve ya (pve) , Be ae dr Tbe bla ayers CRE iC ceyerd ApS Gee ral \ i) HG JO@pvaYaod “Sp vids _ GY petig e nd eRe Pisicsisn R 5 Qono®ihonay Y “# UG! adeabity ; — ae ——— @ P=PYP @) pSenp 7 GORE SV Pe tte o UP erV= SO pvcave)= (va) vt 72 an achvy O pacankyS (png yre 7 © pa (aves Cena )v (pnt) TF gubsawredy 2@) “py Ca) = Cevay x pve) S ~G pe(ncwpy —— Sensle Negeber . {ah wet AoE Anne J er Ay ar(eng\ = TiS VSG ~~) = Tesh 9p pp = TT ! se FeecUicakes and Quan Fens » tf! Conardee the Foilsarnq Sentenced * @ «a 1 tal ond Hanteome - @) a+ 525. ‘ @) awyle ‘ 2 hese Sentences CLL POE pro prarhens, TtVy PCA) w rhe prepasihen , MtHherr quer O Veli op a Gutn thar Pow all wot *s a P Gays. eae. Vyas PCAN) = the Fut ech vot 4s, Hhene emsst oO F Such Hak plan) 15 bee = oaa 4 CG and soe Thee exiske Valine 9s ot : Ly Y Seth that PRAY) BY i Mavy PCa) Fot aU valoe 1S bene - 2 ps 4% & POD £1ample — Conrsidte he Um yveeSe 25 tHe SF iS] ay woregees Leh PH) 18 ay alo Otho Wudy ean) — Fese Tee . @ S9Vx PAY) — BSE © yay Py = Tee. # Negahen of & Ouooh@ed Stofement— —~ Considet a statement VX PC) .Jdts Negohen 15 ob 16 Nak the case that FY otk ye , pean) 19 tere” SW CPGY) = aa, (ve) ) 34 02(49) SN Ce pCa?) Spm Neg”: Examples. — © 3h dommun 6 the Ser oh Toreqees-: Ge i pay) be the peeccate AYO q secur + cabrch sK thc pr posi hong BRE AAA § OL, ake: Katde Sp C2 Pay Redae OOS (5) ee “eer Ye Sp lany Se Rule SRO PICS) te EAB C28 EE) Ttersceube: te Failocing ole logs teh Nrrahen . Let the démom oe th. Rect NG ® Cots Sao pe 1S oon bec Sys Gato net S Pot orery yoke ok ty Theee 16 Some NOL 1s SUK hal meged. N@o yay ea] ‘ Ss & of Mathon ance “Ohducnod Lee PCH) be @ SfatemoF Involwm a a patuweotd no. 0 | = 0 Zh Pon) 18 tre For n= Wy. cond ex HASUMN Y PCR) 'S Byes Cestie) Ge port PCR+ID B aim trey then PCr) 18 Bue far OU narnee} p05. OF Do. otep I 18. called hess YW Wduchas Step F IS coled 65 inducken ore sre. ossumphen thar PCs) is teve fury EB He R 1S caued 65 We induche'n byporhesis - eg, Use We SOP eS Te WER |S Gaerey - mS? SB Pacee yy a Aa hs To. i Gktp 2.5 SeBE'H Gnawa ns = frgeN ti Stila sy diss ble Pui 5 Shp 3 — Doducnsh Sep r— : Resume thot SRuy ig Auswb le ON eee BE wort, oe SMU ies Ghee sy 5 “— =e SCS 1344 i by a Pcthay reepothess Gt ly G Causa iy, g = dy PREFER RSS danby U a 1 eq Shots that , nO+ ean t6 Cunsble = fr ou pot a - fus ort ny? OVALE VED adunslsle yA. “a mit Assume thet fre > ee ' a 4 mmsidl, oat L fe o> ped ida ok Cher pe aCe) 2 154 op% ole t)t2ker =e 2Qap yr aCe?) \ Aince eth Hem 19 RUS 1) dung ble i oe: St fotleva that phe eeouck 14 bre ; N> \e2+ | Hemet 9p an 6 drensible by 4 An L CBSE J | ; eg. EPR O Ts S7e noe nts ROO LEORDS, Foo ve I aPC ab alae ~ Pecume ~ P(r) fre fe ok. | Pos ey wee KR CCR ID 6 pond 8 hic fir ba ke I ait protest wre wey) CRY CRED ET B® 6 y = Curse Fre] CIRF3) a Pe: — Cerazy (uersy- Sea Boe OO ey Ooh O.' Sf Stah Sneek Sip ae 9, — Ltt us assume tat o> Step rt Si PON) 2 1481 Cn NS ae SPQ) = we sole er me ie st BWC ay oag Skp - Inducnss skp Be Bere e) < ee POs yrere f kas =k 13 ve, Se: For n> we a Peres st. (ak -24 cosy ZAP (oer) > ach Coy ke peg C Kye pus 7 LG Age Poy yey aes ~S: De 2 = eR D+) i a eC Oi (Sa - 2S 2 RHO - Wee Plea) 1S ASO hve . Z ~ Hence Frm: OO a & cre Cone 4 that i¢be.. 2nd ee. 4 i SORA CHa) feeiES = oes 2 Step F- hel. POdz 4, ab Ghre Sernttia © SHE Ben ey - B a Poh Be oe Be Ree BS. Mo Re ote. a CENT CHERD RAND = Se ehaS oe cena ROCESS ol ae at 1) Cae Dt CCK ze Pe SP ECEAD | Se eid t 6 CEM ah = CENT t 2 a al a ee ee ees - EAT CE ome Ae “at Poook methodS ond = — 2 pros 15 a Mebod F estabyish 69 beast Of © Shoitment B® marhem ah ce] peocf 16 O oBeumen? ose gre lugitolly +o vaudote a TD othemadaay shane U : — ys aks Gor SOP 7 Ore HE ees the Slab t bet Eo CORRS COR ES as rt SoC oy tO eels Caknch is BRS Se ctinn soy @ ) 15, booth S¥; £ 6 Oo OWS Gib the b LAS we Prore RHS & Sve implicanhen Pesticn Meoust hc Pred b eWsis + 1 S Rue, # —. i h : ee : —~&— > a Give o¢ hkect PrVsef o the theotem * 3h MN Wodd , then 527 odd GP 58oume Ean the ype tress Of5 HSS tpplhcehs 13 Pre Dnesedd,) . Then Use wiles Sh tereteenee und knean er tes Oy) Beth Fo Sheu Phere @ S mok alse be. Bere Cpe B0dd) Se EIS hg, = D2 2k] Ghee [12 13 ony olege — HENS dd) | ig Sah Cake a = 4h Ary) 2 2 2 Cox avd) 2 Ses Pa) ES Be Pe 2S 4 & 02 iS aa ol CACTI | Rael op let t..| 7 df Coe peat »(2mnAt note) 16 © emia — abr ee there we bax, Voat\s 7 TRH SS Wd — eE., Sh ma 1S TH her H 15 cI50 tren, — HssUme a is extn 2 ge 20 fecha aS Taleing SGqustt f mih adhy- @ Qs Cane a Sao & aaah) a7 > 2m) =>-9% 1G eren: \-hewmre Panoyve - H Peder AO AS RASS ae - a@iy — ed ows eS Daa y YF LM FE Gum sk ten odd epee = guy pi ave edd and gy wae, OO: way 16 Cre i 42 OnAT | yreorl 3 pp ee Ee ! if Rad WB errr 00 nig “we aoev oF @ is felse CNG 1S bre), th YC 15 PST hth mplig ther ¢ rer be Lewe FP sodukect Soak ae: Prot by Gnjoabichsn ik P30. pe kee pasar Pa re = désume NN qQ 16 tu é am ER i <4 . P. Snt2 GB odd, O: nig dd aS5ume, A 1G fesse (WO 6 Prve), Sq tn 6 erem, Nek 2 (aor2) > (Br2KR 47) a: Sy 2 (SK) - =o 2(a) = Asimth 19 eren a “ona, 1% flee - NeQinASe IOVS - ; = There @ Contecnen , whub mtans OS - mee. 2 eH Shea ther Ja ig 00 aeeaAkeoe] pe. | = S86ume sou Ji 5 poly = Sea ara 0. 210) BoA they dant heuer commso—" facut, o Qs ae oe ye az EAS Se on Dokegel o ¢ SX we also. erewn SRewrand q bet ke ererr , rhey bore Coromi - Ne. Dee ener, 13 on trketrsnoy oe. gee Show thet per WERT IK y+ ut so, Hee at & i ps2 Syd =a = @=2aA=50- by methane! o}s Cooter cla vais Po b Sot BO = (42, ys 0 a Ala oN SO fe oe ee ate = Not = ewer = os Pros. ble fovof by Contsepreth rt TROP? a thew 1S equestenr fo tes Con repos) hve NEE pP : ~ 40 Sheed PO A, ossume thak q fokse ond thew Ske Hae prs oso Foe - eq pore that, if 07 woudd,Hhen ~ Ss t ‘odd. p- 0% 8 odd O-%% add : bono ¢ by Csptsepos D ve wa ~~ bp AED SG Crew Arg 3 pt ww erew, ASD Se 7 HOE ON (aay =O @—hme n* Seren | wp ob tg jowe>. po @ is Pwe oO Hence the tes hatds oe BS odd hen Ih HM ory 7 by method 0), Goteapsorb rt | Ay > 2n¥ 2M eon) pes 9.0 —- Ay 6 Crew : wp : : Ih i a Na} Bet squwelen p35 q bl Wo Dnt = 2(2a) + 4) = 6a+ 0 ioe 2( Bari) = ob | Bn+0 weren \nean seu wqQ Sin a ‘afte CQ ved Cr+ pa

You might also like