MATH 211 Exam 1, Fall 2010

OR: esr Dink CAMEL Admtrs s f imme: 50 min T Specify the needed predicates and domains, then translate cach of thee statements ‘sing predicates, quantifiers, and logical connectives, 8) ¥Cpoints) Every driver can drive his car 4 @oints) Tris iver who can dive every NW Goints) Exactly one driver can drive Rita's car and Bobs car bth a(@yoines) ‘Any driver who can drive any car can also drive Fadi's bus. CD. dommkt. ANOS ‘ Rennteam ve eee : Dyaes Ec let elec a a gs assaseiete way Me ee Dyyis(e cry) ale =) oe yee NS a) (Bx Cos,000 car) Ap Cs, 8a» cer) ) ) leo Vo ? ori9)) : 5 0% Fas bw) ‘Te (18 points) Spey whether each of he lowing propane he ‘ism popeition iets rath ae. Suntfy our enewer, 9)VJ, J's onetoone — 24 —3 6 one cnn, (main al fata fom ® 1B) 24 F=2. (domain for al vrai th tf ea ae) 6) The um ofan rational umber and ronal number ational Re cn bok ee cite es Sie git. Fore fe oone Tw sie ck ine. geod 2 Geer) a on So. G TE DRCaN-3 = DLECU-F we check : \43) Vplad - 2 glar) (ayy Crom gg $) %> ha a eretestes Lecanr Hh con ye ether tne x Cali , Fer Quo eT we we ere god 9 rs Cl ty ras) TH- (8 points) Use rules of | th rt Sonia” Yo show that the following is « valid argu @ Gm ie > Gdn gz) ceonre oon é ce ips 7 Csimafols poy ee 2 vrs 357 cimntms) we Abc 3s Saag alan A crAng) & Felle 150 Glen iS Mt hae toe Comp vcet) See ee € u wae 9 nr 4 : Earg sree ) ee (Ey) 3h gn tri) J) ea pe Cian 1c ah *) eu cr) IV. Prov or drove the ovag, FR ater V0 ve Sire) (0m) a Pm) wat 9 pam) i4-s)ue_=\dv tomas (Al Sea a ae 9) (pois) fy 29 Mi, he f wou ad igen a) F WAT= EV She Ge al catgey eG ee jt) Waetene por) oer emes (me ) ime = nw) > teaays eal go its Fe Cok Conte b Mey x co) y VU Ly C39) Alpe!) eechemruce-A) yg” & EAn see) (xe8 Axed) ‘V~ Consider the oovng tion, f Pod 1), 10), 108) 1-38), » 5) ject ©) (4 pot) If ste? 5) What te age Jat. ©) pont) Conie oe) = maz((l~ le] 2} Ig ant How it Rede a, fs) = el — rented of? eqs ryt 2) =O. Gi ret. 2 20 megane rest-2S | pc-3-4) . aque Peay cd ae “3 ade Ou B) No Eis rok invective gai geo of 1 2 be cence CG) Esa raritcwve beens ye Cort Wer ews Pe R an t Sr gers G Gor exomle vka72 Txi-5 mm Con neve ve es r fee GS, \ = ee ese el ea a ee) {000 wo