0 ratings0% found this document useful (0 votes) 122 views8 pagesExam 1 Key
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
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)
