Nama : bia Zain Yotn Kelas = (Metenmalilee @ Nom + pip9s0c08 Exercises 9-1. ——_— 4.) Craluote truth sets: lo) {xen xr294 O) { xez:2 29) ) fxeRianto es} CA) { xER+ x>0 and x8 2 me f Rasioer : Ca faxeR 2 ar Zgy — etruth 2 AP LG = Csexas) : = G33) > Bl ved Go) {xe Z x2 2G 4. —* Truth < Gaen2a ) —» meupakon bl bulet + Gs’) (ec) {meR tax 4945} 6 - Wrong gx 2-4 f ae La 60 or wee} 9 {~0 7-2} @) {xe Rs x90 and xteMe J —> wrong {270 and xt ele} Se x0 and + 49} fico ne J —8 bulean tal peal 5) WAY ond "A. de rational mumber Where Pq. os are mtegers and qi jave wonrero Sppose Pa = Ve sig Degintion 21, Show that Bpyqg + Bese a4 as Dawer + (97+4) Ge) = @rts) 2q apart agé : ag are apas = qr a _ aq ac 18Groveiser_o-9. CY Using tne “Tarekicn prediate wn exemplale &:, “translate Nre felons give Logical seotence wto englith sonterses.. ‘Then determine the Aratle or falsity o¢ each o¢ Yhese stetments tthe Trebion WOvld of Cig 34, C4) ¥x (1) Cte) uso) ) ‘ (9) Ye (Be) > Cre) v $o0)) Ce) Ay Cees) A~ WN cvd))} Cd) Ay Cem) a NC¥d)) ) Ay Coc) a ~wlas)) Answer 7 (a) for al xg ts whte then x wa tringle or x Kasquae” C fais _) (o)® fov all x, Wee is black, then x a tingle or xis a square”. C Jute.) Ce)" for some ¥, Yur weirele and Yc nok on the northern side of d* Ce ee MLAS ee 6 C Fale) : A)" for some y Ye a aovcle ond Ywonthe worthern side og d* Creukk) . Ce) S for come ys Yc 'g Cire and Y we pot ow the western sfde o¢ 4" (Fase ) Me] ; ©) Dereemine whether the sentence are Neue ov false mw the veiverse R- (a) (dx EM) (a > % —HsxKa") Chole) = 3G) 49% a ~O@ 2b Eee Wb)(y XEN) Ox >4 axe) (Awe) peryaas + ware v caxeZ) CHEN) — (Ye) C4) ae 7g THEN (4) Gre) Cee € 2) Cealse) __Nathung . asssSSS QYEEEE2) Consider the folowing stelment and proposed negahon o¢ths stetment- Sekwent + Euery Prime fumer odd. . Lrwposel negation + Every prime yumber ys even Determine whether the proposed negation weorrect- |p te nol commect Men write a correct negation. ; > CWrong / Face) Ancoer : Proposed neqatrons* Not every prime number \¢ even” or : “Come perme pwwloer is even” Because ane Por)) = (ax ~ Pee) 4°) Using quant give vegalhon’ Laos andl Proposihonel Loare Laue. exprece tack Statment in an a Posdtive Statment . CThe untuerse the real rembers ), (6) ~ Gyx>3) Ca-wled \a 100144) > CAw >3) A Crx-wl esis eewoles) — by anr = Cands ) Cimaojeh a ~ Oro ZEY > By ev = Cle >3) Cielo a a Chx® tool > 4) 3 by lus of Maqualidy. Wo) ~Cax 2-4) (e+e) eke a law or) - tool = Yss) . > (x <4) (46) 2 bo (st 0) 10012 3) > & AN = Wxe-4] (ete) eds > ~ Gainey -tool ¥$)> Buct > (Wx e-4) Cx 4e] a) Cay eel (v2 45 ay ze)" . CAx>e) ~Cayea) (xe4—xy ce) By ANE Gera.) Cty 29) ~ Greg ny Att) By GNL __ Gx >>) Coy 29) (x24 nw Z b) By z (ax 32) Cty ee) (464 A xy 2 le) By baw oF maqualty”. Wo) ~ Cana) (Sy 29) (1245 aye) : > Cox r9) ~(Wyea)(xe4 > ay zie) By GNE Qdx >9) (ay 49). 044 xyes ) By ANU Cox 09) (Sy 49) Ixz4n xy xb) by cl Cex >9) (Ay 20) (xed xy 2 6) By Lav of thaguky. ©) nx EN ) VEZ) && >a > x eu) © GxeN)~(aye 2) Goa > 2y) gy ant (axe )Gye Z)~G>2 9 x29) Bu Ane (Ax EW) (Bue TZ) (e224 aZ 4) Bu CL CaxeN)(4yeZ) (x>94 x 2 y) By LOL (4) ~(axe N)(MyeZ) 23) es Gre N)~CuyeZ) Cxcy) By QNL Cex EN) (aye Z) ~ Cx ey) By ANL Cwxe N)(3yeZ) (x49) By CL (vxe Wl) (Que, ) O24) By Lol. 7) Usng quantaire negation Laws anc Woporsronal leare (ews, empress cack 6g Whe assertrons as a posite stelmente The wntverse the set of veal wwwbers Where a and te ave constant real numbers . (a) ~C4. 90) C9 90) Ue Cl\v-al £83 \x2-b | ze) & (de 90) ~ CSS $0) Ux Clx-G ks Ix*b) ce) By ONL (3e>0) (Wg 20) ~ Ux Clx-o ks xe b 2¢) By QNL (3e70) (tg v0) 3x Cx-G 128 A \x?-bl Y €) By cl (Az r0MNE >0) Bx Cly-al48 a \x®b) BE) Ry LotGo) ~Wde 90) CaN EN) Lune! bo (b-a14e) © Cae >ro).Gnen) en ao inn By AN Bero) WWew~+tunend (MN bh-a)2e) 1 By QNL (Ac SO) QONEN) Gre N)r(nsNHs[f-a)ee} By ONL’ Gero) (NEN) Gvenl)mota h-alZe) Be Cae >0)CYNEM) (AneM) (oN A li-alze) By VOT Brerases 9.0 4.) RV vedural yumbers an wieger Te wot an wtegers 5 \ Mold. ST ls mot & natural number s) AV whegere are’ wedural number iS 1s ah teger l \ eat d fe -S 8 & natural muamber: “