PRINT Last eee QU UTC iret name Signature: Student ID: Math 230 Exam 1, Spring 2008 1, (Spts) Determine whether or not p —+ (q + 1) is logically equivalent to (pq) + r. Show your work or carefully describe your argument. plalrl gecles Goel] ee] @99)>° | Ter ae ae T TIT Je |e F F Tlelr |r T Fe T TIFIE LT T E T pects — Fir|r ft T iT tT se F[rjefe | @ tT | @ wt Same alums : Feito y tie | pat exteally pe & |e jr lt Oo T faz) 2. (8pts) For which rows of the truth table is the compound proposition (p ® q) + (q [o[* [pea] ger] eos Gory T|T|T] F Te nt TI|T|F i FE EL tlFl{t] 7 FE & tlrlr] +1 T — False Filri/t] 7 T T Tous FTF] T & E Fl{Fi{r] F Ee T FIFIF] F T yee FE LT aA 3. (Gpts) The original statement is “If 1+1=3 then 24+2=4.” Circle the correct truth value of cach of the following statements: Contrapositive of the original statement ( (Tru / Fake ) > 7 Converse of the original statement ( True / Gals) J F Inverse of the original statement ( True / (False) > > Fa 230-01 Fam 1, Ma 2008 ig 4. (Apts) Write the negation of the following statement (Do not write “It is not the case that ...”) * will go to the movies ot read a book but not both.” eae T wilt co te He movies Uf ond only ET pead & book. -~or7 Exh T will gp bo tu nutes and tead a beck, or Tusili do neither 5. (Apts) Is the following argument valid? (Circle Yes /(No>) re ae 9 6. (4pts) Is the following argument: valid? (Circle No ) pom 9 ve 7. (8pts) Among these 5 propositions are exactly 1 tautology and exactly 1 contradiction. Write T next to the tautology. Write F next to the contradiction. Do nothing for the rest of the propositions. ——(a) pvavr (b) pv (pAna)V-P (©) pviaar) —_@) a9 TE weanrena (Spts) Define P(x, y) to be the predicate “x -+2y = zy”. Circle the truth value of the following statements. (Recall that Z is the set of integers.) ( True (FARO) (a) P(O,2) or4=0 iB / False ) (b) P(1,—1) 1-2 = (GaP) Faise ) (e) 3y €2 PCB,») 3494234 o> 35 : ( True /(e8) (a) WeZIweZ Py) sxhy=|) X42 =k €F Qz0 ea 1 (5pts) Write the negation of the following proposition so that (i) All quantifiers are to the left of negations (this means no + or ~3), and (ii) No negations appear outside of a set of parentheses ee Ux *CPOS > (OO) RUDY 3x (P(x) > (Q(2) A>R(a))) = Wy (POde *CaGe* REY A Ha (ML * (rata ¥ RUNSMat 200 am 1 Be 200° 3 10. (4pts) The associative property of multiplication of the set of real numbers R says that you can multiply three real numbers in arbitrary order and get the same result. Express this property as ‘a quantified statement. We dye & veel CxlQ = Dd?) 1. (5pts) For this question, F(A) is the predicate “A is a finite set.” S(A, B) is the predicate “A is a subset of B,” and the domain of every quantifier is the universe of all sets. Translate the following statement into a concise, meaningful English sentence (Do not use “It is not the case that...”): 73ASB(~F(A) A F(B) A S(A,B)) Es No fincke gel Cocaing an iafacte cel. 12, (Spts) Among a certain group of 27 people, exactly 2 people were born on Sunday. Prove that at least § people were born on the same day of the week. Assume 2 were born br Sunda Assume to He coca thet on no da wae 25 le boa - Thun the tcl rumor of people on on alt dang is - S24 G4 eau Sandey Men Sat But the coctadict awoain, AF people H. Trwrxfo Hu ocignadl citemad ic due. Of 13. (8pts) Prove the following statement. When n is an integer, the following are equivalent: (2) n? is odd; (2) (n+ 1)? is even; (3) nis odd. (>), Assume a7 ig odd BAUD. Assume a is 0dd Than ns Quest LH some lee Z. Jun n= Qdte Aon sone RED Q+h*= oedasl = akeel+ nel 1 E GB tS Qh Uhl = alaemtlS Troe (nel)? is omen, = BQ + De +1 D103) By Conbvagoe chow Tahu ois odd. Assume on 1d Qven Then nz aR On Some WE Gy = ow ednel = QR+aiht = QUren\+1 Thanh ©+I)* is odd.14. (4pts) Write down the power set of {0,a}. 20, 7H, 103, 1a, ot} 15. (Spts) Use Venn diagrams to justify which relationship ( C, =, or 2) is valid for the following pair of sets. Write the correct operator in the blank. (A-c)-(B-c) S_ a-B 16. (8pts) Prove that A Venn diagram ci A-® AU (BNC) =(AUB)N(AUC). There are several possible ways to do this. an be helpfyl but is not a proof. Sat mamianship table Alelc | enc | viene) | Ave | auc | Avan auc Vyiyl | 1 1 1 { Ee oO \ | lJojtr Oo \ \ 1 Jojo] oO i ( Ojrsi]s | \ O|l jo] o © | 0 \e}\ Jo O oO O jolP lo O ° SM2, Sp setS Ore egualPRINT Last nome Ke. rebar Signature: Student ID: Math 230 Exam 1, Spring 2008 1. (8pts) For which rows of the truth table is the compound proposition (s ++ t) — (s @r) false? set | soc | GeAscon Folse cows alals]safalalalals a[alalalafafalale afafafalfalelalal= aim laln ala In |i IIAH aA Saal by a ec 2. (pts) The original statement is “If 11 =2 then 242 = 3." Circle the correct truth value of each of the following statements: Contrapositive of the original statement CD (a) a na Converse of the originsl statement (True) /' False ) FT Inverse of the original statement ( (Biue>/ False ) ade 3. (8pts) Determine whether or not (r + ») — t is logically equivalent tor — (s ~» ¢). Show your work or carefully describe your argument. y AATAI ATS SD not nat SOvwO L aca (ogteal2 20.01 1 Mac 2008 2 4. (Spts) Among these 5 propositions are exactly 1 tautology and exactly 1 contradiction. Write T next to the tautology. Write F next to the contradiction. Do nothing for the rest of the propositions. (a) rAsat 00) @anver) Le eeaves-~ AE @ papv-o ae (0) arr 5. (4pts) Write the negation of the following statement (Do not write “It is not the case that ...”) “L will ride my bike or drive my car but not both.” f T will ride my bie if and ok 14 TE Arie uly CAA So eao T ult tide my bie and doing my Car, OT F sall\ nob rida my bile ard net Arve we, Cars 6. (4pts) Is the following argument valid? (Circle eS No ) “ros ns 7. (Apts) Is the following argument valid? (Circle Yes /(Ne’) ast 8 8. (5pts) Write the negation of the following proposition so that (i) All quantifiers are to the left of negations (this means no “V or ~3), and (i) No negations appear outside of a set of parentheses (this means no 7(+++) ): Ve (P(x) > (-Q(2)V R(z))) negetiont Ay *(PQd A CALW AGN) E Ax (Rds 7 CGA w ROD) =I Ax (OGY (OWD2 RW 9. (Spts) Define Q(x,y) to be the predicate “r + 2y = ay”. Circle the truth value of the following statements. (Recall that Z is the set of integers.) (frat Fase) (@) QC, I-2<-1 (‘True (False) (b) Q(0,2) Or4=O- (True /False) (c) Vy €Z 3 €Z Q(a,y)4 Set YEA. AMZ AK 4A a = 2 (free) Fase ) (@) EZQG,y). 13S eee ~ OGIg)! 32g 235 ey © no Soluttarbu 201 ea ae 4 2908 3 10. (Spts) For this question, F(A) is the predicate “A is a finite set.” 5(A, B) is the predicate “A is a subset of B,” and the domain of every quantifier is the universe of all sets. Translate the following statement into a concise, meaningful English sentence (Do not use “It is not the case that...”): “HVALE(A) AEB) ASA, . . eee ES EED tact nas mst Corte im abt Bask sete 11. (4pts) The associative property of multiplication of the set of integers Z says that you can multiply three integers in arbitrary order and get the same result. Express this property as a quantified statement. ce D4 KEL WeeZ (x(yed= (Kye) 12. (Spts) Prove the following statement, When n is an integer, the following are equivalent: (1) n? is even; 8 (oa) fs od BSAQ) Assume n is Biren: (N2@)z Assume a? is even. Tham near fy com ke Z Tran 9 nae Pan week wits WY = 4kt= ak?) - (at) a Qeean el Freulre, Waece, on Thee Gow (nt I is 000+ a (> B) boy corhagosihve Aosuma 9 odd. Than Wedel An come kEZ. (et¥= mtr Qa tl Deel tan el > alleened Trazorr (Qt? is enor 13. (Spts) Among a certain group of 35 people, exactly 1 person was born in the month of January. Prove that there is a month in which at least 4 people were born. Acsume, tectecremtary, that \partorn Wad bora 14 Dannsniys and assume to te Contras tect thew is no Meoweth 4 hick le were born ot least 4 prople us : ‘ eH Ja Feo tyeegh Dec, at moot 2 eeole wo born each month HW tool £2 1 4 See a4 parle werd lesan Sen Feb Dee e This Coeds flare boing 35 google and fo the orichna\ selene Us poe.Mn 20.01 em 1 Mae 2007 4 14. (8pts) Prove that AU (BNC) = (AUB)N (AUC). There are several possible ways to do this. A Venn diagram can be helpful but is not a proof. Sch nambuship bule A 18 (C_|_enc| AUBAd| ue) | (Aud | vse) es tet cc cal \ \ U \ ‘ft fo} o \ \ ( \ lo le (ieee eee ee 3S o oOo \ ote ht jt \ \ \ | OD |, jo }o oO \ oO Oo ONO. |. 0 0 i D © jolo|o jo 0 0 0 ame , Sv oot Bucr. 15. (4pts) Write down the power set of {b, 0} FD, 10s, Eos, £b,6S 16. (Spts) Use Venn diagrams to justify which relationship ( C, =, or 3) is valid for the following pair of sets. Write the correct operator in the blank. B-c 2_ (B-A4)-(C-A) eB-c 1 @ (@-R)~(C-A)