exam1-answers - NAME A “5 WC’J’S Sets and Logic:...

Info iconThis preview shows pages 1–4. Sign up to view the full content.

View Full Document Right Arrow Icon
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Background image of page 2
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Background image of page 4
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: NAME A “5 WC’J’S Sets and Logic: MHF3202 (4628) First Hour Exam WY. Mitchell January 27, 2010 1 Start your answers on the worksheet; if you need more space, ( ) continue them on the back. Be sure to show your work to receive 2 l ) full credit. 3. (10) No calculators or notes are allowed on this test. 4 ( ) f ) Be sure to write out your proofs neatly in the proper class style. T ot. 1. (10 points) (a) Compute the following power sets: o IfA:{{®}7{1}}then73(A)= €525) i - PM): 5% {W} W. (b) Give the definition of H F, using setbuilder notation. {X’f V361: X52); (0) Give one strategy for using, as a given, a formula of the form Harrow). 32;? gas/4:7 4a) Zr 4 1e mfg/«ML m4 7‘4/2503)’ 73m nae fij/M @09) I": ffily/Wfl // (d) Explain why the following is an incorrect theorem: VmEZEyEZ(r+2y=O) 2. (10 points) Consider the following incorrect proof: Theorem. For any real numbers :1: and 2 such that $2 = 2, :1: 7E 4 and .3 7E 1. ( Incorrect ) Pmo 1. Let .CL‘ and 2: be arbitrary real numbers. Assume the hypothesis, :52 : 2. 3. Suppose the conclusion is false. Then a: = 4 and 2 =1. But4-1247é2... . . .Which contradicts the assumption that xy = 2. Therefore the conclusion must be true. We assumed the hypothesis and proved the conclusion, so the implication must be true. Since :1: and 3 were arbitrary, the theorem is true. 9051939“? F0 (a) Give the smallest line number with an incorrect assertion. 4/ b What strategy is the author of the roof attempting to use at that point? p [/Orm/ év may flack/EM» (c) What specifically is he trying to do in that line? flP/éa/é % 4%) Céj/‘VJL/ (d) W hat would the line be if he had done it correctly? Xe?” cé’ 2’/ (e) Either give a correct proof, or show the theorem is wrong by giving a counter— example. 567/ AH?” M 3’24, 714'” X27 9" :2 flmcéyfihx ’/ // . 9L9“? M :J‘I/ W , 3. (10 points) reasons below. Use definitions and the list of equivalences to fill in the missing fiVAfi((AEJ:—+x€A)V(AEQ-éxEA» EaAfififlAefameAMMAegaxeA» Géml'mét V EHA((A€.F——>$€A)V(AEQ->$€A)) EaAafiAEfVIEAMMfiAEgV$€A» flmfié Wéz: V (3%x Jaw Em%fiAefv@eAvbAEQVmem» AychQw EIA A Q G (fl IN A SAE Ab aMA 5(3AE 0035 AEFVflfiAEQVxEMVxEA» AefvbAengeAVxem» AEbeAEQVxEA» EAfljAefvfiAEQVxeA) (AefAAEQVmefl (AEFDQVzeA) EfflQ-HBEA) WWW/1) VA (A627 & MW ? :3 fiWW.;' lflfléffifi l/ (M (M 1/ 7%, ’77/ 052%} ii Maia/MHI/ ) 6“” W4). 3x65” é 4. (10 points) Use the class style to prove the following theorem: Theorem. Suppose B is a set and J3 is a family of sets, and .7: g 73(8). Then U}— Q B. fi/0flf Afimfl f/fl/ém J 5/05). if x Ae/ an: gréf/my memhw yfii M ‘2 ygj )Mffl/XéflJfl/p éw/fl/fl’ ...
View Full Document

Page1 / 4

exam1-answers - NAME A “5 WC’J’S Sets and Logic:...

This preview shows document pages 1 - 4. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online