0% found this document useful (0 votes)
19 views

Module 2 - Logic

Uploaded by

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

Module 2 - Logic

Uploaded by

prsh22mca
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF or read online on Scribd
You are on page 1/ 6
ey Legfe Asha kN «| waite docon the following, in aapernl eA, amd . | Indicate hao mony | examine huthey tt pollacing conditional & a tautology . {pa an} —> fcpa) > gn} +] Using. the Laws 9 Logic prove the tepfcal equivalence + =[Lcpvaaxy sq] = [> fcpvadaq vag] adr gind its negation: “Alt indegovs one api gatimal numbeu and ome. national numbew weet integers" Ata sonoaing om ment ts valict « aA + i Sits motos dre NARA for Maa truth tate. of the compourd proposition (pv79) 9 [C7r4) t]- Find the tauth alu of Anis pooposition # pandy an tauo ard q,4-t ane falre- Give an tndinect proof & proof by contradiction wf the Atatement ¢ * Forel integer, { n&%3 odd then rn Ps edd.” +) what 73 0 poopetition? kek p and 4 be the panperitian “Aoimmin g inthe nwo fey ADhore 18 altowed” and ‘sharks have been near tre 400 Ahowre." a) Ss ® Expoum each x thr jotpemny compound. Prpesition aA an Sag.lish. Aunéence « i D pray ti) apy i) perg “T] thenome team wofns., then it 6 aintng.” oats the commeoue, Enverie and contrapestitve of ths above Aerdence, ;ST. the oe [cperaacgear)A (re>p] ts spelen to [ep»4)Ag>ACr pI]. 3.7 the Jollovotn ongurnant ¥ valid “7 today % Taesdoy, T have a test in Natheradter or Economy q] ™y Ecoronntes pronfert or is Ait , Twillnot have a test Ih Economics + Tada ts Taesday and my Economics lexsor TA Altke “Thowefore Thave a test in M ss tohak fs the truth vole 9 oe, Otr=2) i) te domain amsists f Ak Aeal nA ‘Tnvrepens + wy Uae N and ermplity + 1) gx, [prov qe] We. Ppewa 400] WY Bx, [{ peovgtns x03] a ®») “ « tu) 16) Prove the Jouneng without wing “TT. » [pvav C7pA74 avn] & (prvyvr) i [¢-4pv79) —>(paqav)] pry, : Arne convoue, tnvune. bs contrapesitive of, a condittonal pq. toart. Me convene, Invuve by comtrag® of the condi fonol “TL O quadniiatezal a. qanaueropran. then ts Alegerols bisect each other’, Hxfine tautology , contradiction & contingntye gine the begica! connectives + conjunction _disyunctton and conditional with trun tablet» | Check the-palldity of the iprawong oogumont aby Ruler of Tinfeninee ! Ci p—rQaw . {1 pet 93> AP \ \g—r sr = «| Pave tha alld un anathod of contaadiction + “The squons of dn) even indepen 07 vey rege,” a oT: forery 3 propositions pqs (p—>cqary] & [ep>9) alp-3V] Ft, 1A(t A.) 7 A= 419.3.4.5) is tee unfvonal seb, chattering the Pruth cposunes Cyne A, (era <10) CD Aaea, Cra =10) cnt) WreA, O&< as) 28] 27. [cpa P=DACQ >] FH a tautology « BSS T: ot AuNny ‘this Ay temnoon and rte coldly than yes ", “we wil aotrnroong a 1ets Mam, a cance taip\ and “ff wednkes ig auneet* lead oo the conclusion "we weil be home by ° sg 30 watts tht negation of (x) AM Armurteans eat cheese Cit) Thine 1s a veoman echohos taken a. jight ona artine (ny ‘the Worlal » Prove ty wane tau of bogie: CED poeyaed & Cprgd > cprv) OD Capacagard] vig mv par] > J] Wntte the corwense , wavene & constrapositive of “Tf Gora 13 a compound ~then Org gen fsa qe qe a Afmect pavof and Petan 1 we of “Ty Bota odd. then ntsodd.” Examine whither 5 crvg >7} a> for wep j bo tautology cornet coat is thetruth vulue of Bx. per). whire Pla) i ee Bobet SA>t0) and The tunfvense I cliscoume consists of the positive Integeu not exceeding yd 3-7. tht Compound pooposittons “TE pvCapaqyy and “pang ons tapeally equitvatint by usty dnios of tog. + 3) » 32 au, 36. a1. cc) 9 | Lek pig. be. propositions having che tntuth values 0,0 and | sespecttouy . Find he Aneth values 7 ¥) Cpva) vx iW) Cpaqar Waite Lhe convene inverse and contsa positive ie “TQ wan trleger thin 7 Ts. TrULple Of 3" hat te untvore be Ve sek yall integous « Constela Aho Jollactng ‘open Atatemnonts prs nrs . qtad s W4+I fs even WADE XSO nite down the truth values of D pla) ti) pavers), Test whethu the ea is valkd- Ti Sachin htts a he, gees alates casi Sahin nibs a Contuny, ve os Balls i Fore cay, . Negate and seenplity the Jotiaving r D Fa, [peovgeo] it) (4x. Cpexv goo) rx) Give the dinect ard indinect pave 7 Yn ts an odd tedteger , chery NHI is On even rndeger Yoeg, ht fos ¢ fepe , powe Copvgacpveqyvg S Pva.

You might also like