‘ 1 her ah Nath thomnn \ GA proposetéon zs a declawative gentente whose truth valus és etther Wras or Jalsa but not both + | @> using vnkversal auarnee ter im 2veny boy ir handeornes + + be : peg, % TS ONY tee tas remdtemen vt TPO Aw: err I seme Sopecal quentefier, NT ageme gers OR paautefur ft ets & tok . tO en) pedatefat: fares aw): ® CTReve es @ student coho 4 cA a tautology equiva ent fort PaQnr)) then -% AY are. Rog Zeal oe. “pox ey fitama@n) PAGAN) Gana q —F ae P E : : F q uf F E E F we f F po % lea 55993935) J Henee the er Statement palgard and (pagyalpar) ace Logéco egeeival ont * . f . (2) Let as choose po) be the girth Stalemesst ee, ao dye). ee PO? Bap tayetes Tate at “edie “pot 6) =) “en “Php y then we Rove aL . po > baa 8 > LS ele Riss => pu) os true:Inductive hy pothests (nek) poate Let's put EK, then Oe txt PR) = 1x2 togt-- wt KRY RD , Let's pot. m= Kel, then . we “have ¥ KH KYL peway = det LO pat 3xs K = pr bw. tos Toe a as —O L. HS : eR axg * pe (Kayyckt2) => > fhe agp tt-- jt 2, J | - 12 “7 Reeayh! ager: > tt any” 1h Teno) = | : = — 1 oy 2 ORR } KT ma} > | { KCKHD) 41 ws EL Kt2 > 1 R421 2 xa ce we | cr Kt2 RRA) HERD HAC KAD om KAT eo K2 3 dag ERED LEO EP sees aay eS Hence PCKAY x tatu *6 a maens today Ger) $a choy ny room ee a) Save stay cen POT hen, g wal de oy Hew: An ea Tai. — v: Let pr St waems today qi: 3 wel stay oo remy FoOw: oe 5 wel qe crony Yormenork Anqeenret Py Cpremeses cD) } . : premises Qe Cpreméses 8) = 3 Eoncluston és a vad errgeeroent— RW POY= MOWAS) cs cleveseble by 6- q mm) = 1Cras) = 1(8) 5 6 ehech ex devereble by 6: goducleve fypetherse n=) ws ; a ped = RUKED =(ets9= 6M Srductive step (meKHIM a pea = (KX) forts =iKay) crass) a 8 9 we EKA TT aKré = Ot ax er = + 3d sxraKts = We rste 3K 4 Kt 6 ee rae eaKne = eM s+ axcxapts[ KCkry es sven & Aivertbe bu 2 _ = ON+3Y arrG [asame that KOKA) = qxJ = 6NT Gare —o{s aary cohech Zs oltveseble bq 6. ES students coho study Grptesh CED = oO Ma stedenis echo stody rmathematece mM) = R10 er giudents coho study Environmental Sereace nce) =159coho 5 students Sad) ts eam r YY both English & Mathematics te =50 a students coho study both Engtish 2 Rnyeeorercereiad creme” mn (EO®) = 40 une students coho study “both arhemeteeS Zz Qnvironm. Scene n(n) = 65 enune > gtudents +04Ke emathemats , Pngtidn 4 everonvTnen) EO eetomne* NCEQNDE) = \s +m) + 002)7— mCENM) —nl(eny- nCeuNyue) = re) amae) am (une ta E so S0 — #0 FF Is eno t eT! = 3003s Let's choose pm) be the qiven Stajerment ce Po) = fateh. ane [amy 2 Let's peet =I HM P&H) , then we Pave puy= 1 ~ (ew y= [wey’- [2] (= | > LHS = RHES > pu es true Jenduectévi othests (1K reduction, Rypothenis eld Let's pet EK y ther) WR eed ad pus = Be eer--— t= [se] ; ~ Gndective step CmM=KAD RAR Let's pet mak , then we Crate, Z PeKA = Peete eH “ee 12 => pChtD= Pats 2y eee 4a fee ce” Le Catyste = “AWAY = Matye == FEED : iad [SJ +N = (Key Seay aun) ee 2 2 ; 2 = ence KDOLDT ean.s = Hence pCKay) trues4 : Let pv@ar) = uh (eva) Cp vr) ~Y WTR ty ore Logecal equivalent «f my oa ‘Lautology: p a Pv@ AT) pMa pur |(pwa) o. : i T T T : RLS \ Gg r 7 vT + i TY] F F F Fe T F f t c pug nr) 20PYA) A(pvD)z 339999334\|8 Lomein the quem Statement pyle & vay ev) ane ogra eqatvadene:Te GU feval awe | wpalevy | ~prevay— y riot] 7] F 7 7 TLR) a] ge 7 a Ft T T T TC FOL F F T F | Hence the given acfement Sp Aevaye WY » \ cA & taetology 7 -_—O