38 views

Uploaded by AndyPetrzilka

Discrete Math

- SourceCode-AlgorithmIntfact
- Data Sufficiency
- sets1
- J. Lacan, L'étourdit (trans. Jack W. Stone et al.)
- F CTFSDerivations
- Calc Notes 0001
- 9789814321488
- Multiplying and Dividing Integers
- IA Mathematical Induction(12 14)
- Unity in the Truth
- ExercicesCorrigesdAnalysepremiereanneeuniversitaire
- Logic
- Sergio Caracciolo, Guglielmo Paoletti and Andrea Sportiello- Explicit characterization of the identity configuration in an Abelian Sandpile Model
- Compilation
- A Formal Proof of Godels Theorem by L. Chwistek
- cce-upper-primary-maths-english-medium.pdf
- Humanities Grade 12
- Love is a Fallacy
- Hidden Figures: The American Dream and the Untold Story of the Black Women Mathematicians Who Helped Win the Space Race
- The Library Book

You are on page 1of 2

Instructions Follow instructions carefully, failure to do so may result in points being deducted. Clearly

label each problem and submit the answers in order. Staple this cover page to the front of your assignment

for easier grading. Be sure to show sucient work to justify your answer(s). If you are asked to prove

something, you must give as formal, rigorous, and complete proof as possible. The CSE academic dishonesty

policy is in eect. Print out a copy of the cover sheet and include it with your assignment. Hand in the hard

copy during recitation. For those in the rst recitation, you have until 4:30 p.m. on homework due date, to

hand in your homework to the second recitation instructor.

Question Points Score

1 8

2 10

3 10

4 8

5 8

6 10

7 14

8 12

9 4

10 6

11 12

Total: 102

1. (8 points) Use a proof by contraposition to prove that if x +y 2 where x, y R, then x 1 or y 1.

2. (10 points) (Rosen 1.5.30) Rewrite each of these statements so that negations appear only within pred-

icates (that is, so that no negation is outside a quantier or an expression involving logical connectives).

1. yxP(x, y)

2. xyP(x, y)

3. y(Q(y) xR(x, y))

4. y(xR(x, y) xS(x, y))

5. y(xzT(x, y, z) xzU(x, y, z))

3. (10 points) (Rosen 1.5.34) Find a common domain for the variables x, y, z for which the statement

xy [(x = y) z((z = x) (z = y))]

is true and another domain for which it is false. Explain your answer.

4. (8 points) (Rosen 1.7.16) Prove that if m and n are integers and mn is even, then m is even or n is even.

5. (8 points) (Rosen 1.7.26) Prove that if n is a positive integer, then n is even if and only if 7n+4 is even

6. (10 points) (Rosen 1.7.30) Show that these three statements are equivalent, where a, b R: (i) a < b,

(ii) the average of a, b, is greater than a, and (iii) the average of a and b is less than b.

7. (14 points) (Rosen 2.1.10) Determine whether these statements are true or false.

1. {}

2. {, {}}

3. {} {}

4. {} {{}}

5. {} {, {}}

6. {{}} {, {}}

7. {{}} {{}, {}}

8. (12 points) Let X be a set and P(x), Q(x) be predicates over X. Consider the sets

Y = {y X|P(y)}

Z = {z X|Q(z)}

Complete the following sentences with quantied propositional formulas involving P, Q.

(a) Y Z if and only if

(b) Y Z = if and only if

(c) Y Z = X if and only if

As an example: the statement Y Z = X (regarding sets) can be restated as the quantied propositional

formula, x X[P(x) Q(x)].

9. (4 points) Let A, B be sets such that |A| = n, |B| = m. What is the cardinality of P(AB)?

10. (6 points) Let A

n

denote the cartesian product of a set A with itself n times, that is:

A

n

= AA A

n

(a) What is the cardinality of A

n

?

(b) What is the cardinality of P(A

n

)?

11. (12 points) Let A = {1, 2, 6}, B = {0, 3}, and C = {1, 3, 9}. Find the following

(a) AC

(b) AB C

(c) B B B

(d) What would the cardinality of AB C B A be?

Page 2

- SourceCode-AlgorithmIntfactUploaded bythrowawayyyyyyyyyy
- Data SufficiencyUploaded byCambridgeSchool Noida
- sets1Uploaded byshahul
- J. Lacan, L'étourdit (trans. Jack W. Stone et al.)Uploaded byletourdit
- F CTFSDerivationsUploaded byAnonymous WkbmWCa8M
- Calc Notes 0001Uploaded byNjoka Samuel K
- 9789814321488Uploaded byeibsource
- Multiplying and Dividing IntegersUploaded byCrystalline Grace Espino
- IA Mathematical Induction(12 14)Uploaded byeamcetmaterials
- Unity in the TruthUploaded byDavid A. DePra
- ExercicesCorrigesdAnalysepremiereanneeuniversitaireUploaded bycccc
- LogicUploaded byGennaro Massa
- Sergio Caracciolo, Guglielmo Paoletti and Andrea Sportiello- Explicit characterization of the identity configuration in an Abelian Sandpile ModelUploaded byHemAO1
- CompilationUploaded byJoligen P Ybanez
- A Formal Proof of Godels Theorem by L. ChwistekUploaded byNandini1008
- cce-upper-primary-maths-english-medium.pdfUploaded bynila
- Humanities Grade 12Uploaded byxenadanella
- Love is a FallacyUploaded byArmaine Yssa Megino

- Philosophical Conceptions and Practical Results by w JamesUploaded bywuffer
- tfffvUploaded byClock1111
- Research ProcessUploaded bybairoju
- Differentiating BetweenUploaded by夏孝彤
- Research Officer_Statistical Officer, General State Service, Group-BUploaded bykiranindia
- Quiz on General ReferencesUploaded byivy44
- sharda_dss10_ppt_04.pptxUploaded byzeid
- Past ExamUploaded bySactio Swastioyono
- Mf1s503x Unlock DatasheetUploaded bypravinrautraut
- SAM_Project_description.pdfUploaded byVishal Sharma
- Satya Mishika Amit.docxUploaded byAmit kumar
- Science HS Grade 7 4rth QUploaded byeden elopre
- UntitledUploaded byTas Thk
- Brain in the HeartUploaded bygetkak
- DWBI Testing by PuneetUploaded byPuneet Maheshwari
- Carlos Tovar B.pdfUploaded byAnonymous lkeu1JFI
- alan watts paperUploaded byapi-235959128
- neversplitthedifference-170626190111Uploaded byAdrianNiculescu
- ExtendScript Toolkit ReadMeUploaded byHambali Furnawan
- g Northern Cust ResumeUploaded bywin240z
- Hay Tham KhaoUploaded bylamvanthong
- Beyond Measurement Advanced Demand Waterfall Use CasesUploaded bySudeep
- Client ServerUploaded byKarthi Bose
- exxUploaded byaronl10
- Concrete Compression LabUploaded byPàblo Ģomes
- The Bride by Rowlands, Samuel, 1573?-1630?Uploaded byGutenberg.org
- datasheet m37512Uploaded byALFAK
- Lean LogisticsUploaded byarun7sharma78
- The Dark Side of ResilienceUploaded byPaes C. Marcelo
- Modeling and Control of Turbo HydroturbineUploaded byMartino Ojwok Ajangnay