Solutions to Homework Set 1

Similar documents
MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is

Solutions for Homework Assignment 2

MATH 271 Summer 2016 Practice problem solutions Week 1

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

5 Set Operations, Functions, and Counting

Basic Proof Examples

Show Your Work! Point values are in square brackets. There are 35 points possible. Tables of tautologies and contradictions are on the last page.

In 1854, Karl Weierstrauss gave an example of a continuous function which was nowhere di erentiable: cos(3 n x) 2 n. sin(3 n x), 2

RED. Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam

Homework 5. Solutions

Homework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

CSCE 222 Discrete Structures for Computing. Review for Exam 1. Dr. Hyunyoung Lee !!!

Proofs. Chapter 2 P P Q Q

LECTURE 1. Logic and Proofs

A Semester Course in Basic Abstract Algebra

Mathematics Review for Business PhD Students

Chapter 1 : The language of mathematics.

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a

Logic Overview, I. and T T T T F F F T F F F F

Topics in Logic, Set Theory and Computability

Homework 3: Solutions

We want to show P (n) is true for all integers

Chapter 1. Sets and Numbers

Theorem. For every positive integer n, the sum of the positive integers from 1 to n is n(n+1)

Homework 3 Solutions, Math 55

Proofs. Joe Patten August 10, 2018

HW 4 SOLUTIONS. , x + x x 1 ) 2

Axioms for Set Theory

Review 1. Andreas Klappenecker

UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS MATH 122: Logic and Foundations

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof

Propositional Logic, Predicates, and Equivalence

PRACTICE PROBLEMS: SET 1

Math 104: Homework 1 solutions

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

MATH CSE20 Homework 5 Due Monday November 4

MATH 13 FINAL EXAM SOLUTIONS

Computer Science Section 1.6

Contribution of Problems

In N we can do addition, but in order to do subtraction we need to extend N to the integers

CSE 20 DISCRETE MATH. Winter

In N we can do addition, but in order to do subtraction we need to extend N to the integers

CSE 20 DISCRETE MATH WINTER

CSE 20 DISCRETE MATH SPRING

Today s Topics. Methods of proof Relationships to logical equivalences. Important definitions Relationships to sets, relations Special functions

1 Take-home exam and final exam study guide

(1) Which of the following are propositions? If it is a proposition, determine its truth value: A propositional function, but not a proposition.

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel

Chapter 1 Elementary Logic

Writing proofs for MATH 51H Section 2: Set theory, proofs of existential statements, proofs of uniqueness statements, proof by cases

MAT115A-21 COMPLETE LECTURE NOTES

Lecture 2. Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits. Reading (Epp s textbook)

Mathematics Review for Business PhD Students Lecture Notes

Section 0. Sets and Relations

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Proofs. Chapter 2 P P Q Q

Discrete Mathematics. Spring 2017

Logic, Sets, and Proofs

Complete Induction and the Well- Ordering Principle

CSC Discrete Math I, Spring Propositional Logic

Prof. Ila Varma HW 8 Solutions MATH 109. A B, h(i) := g(i n) if i > n. h : Z + f((i + 1)/2) if i is odd, g(i/2) if i is even.

Mathematical Reasoning & Proofs

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

Math 109 September 1, 2016

CSE 20. Final Review. CSE 20: Final Review

Maths 212: Homework Solutions

Quiz 1. Directions: Show all of your work and justify all of your answers.

Full file at

Contradiction MATH Contradiction. Benjamin V.C. Collins, James A. Swenson MATH 2730

A n = A N = [ N, N] A n = A 1 = [ 1, 1]. n=1

Background for Discrete Mathematics

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics. Introductory Notes in Discrete Mathematics Solution Guide

2 Truth Tables, Equivalences and the Contrapositive

MATH FINAL EXAM REVIEW HINTS

1. From Lewis Carroll: extract a pair of premises and finish the conclusion.

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Some Review Problems for Exam 1: Solutions

A Short Review of Cardinality

586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws

0.Axioms for the Integers 1

Principles of Real Analysis I Fall I. The Real Number System

Automata Theory and Formal Grammars: Lecture 1

18.S097 Introduction to Proofs IAP 2015 Lecture Notes 1 (1/5/2015)

Discrete Mathematics. W. Ethan Duckworth. Fall 2017, Loyola University Maryland

1. Propositions: Contrapositives and Converses

STUDY PROBLEMS FOR EXAM I CMSC 203 DISCRETE STRUCTURES. n (n +1)(2n +1), 6. j 2 = 1(1+1)(2 1+1) 6. k (k +1)(2k +1) 6

Math 421, Homework #6 Solutions. (1) Let E R n Show that = (E c ) o, i.e. the complement of the closure is the interior of the complement.

9/5/17. Fermat s last theorem. CS 220: Discrete Structures and their Applications. Proofs sections in zybooks. Proofs.

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

Math1a Set 1 Solutions

0 Sets and Induction. Sets

Sets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions

Solutions to Practice Final

DISCRETE MATH: FINAL REVIEW

Midterm Preparation Problems

Exam Practice Problems

MATH 2200 Final LC Review

Transcription:

Solutions to Homework Set 1 1. Prove that not-q not-p implies P Q. In class we proved that A B implies not-b not-a Replacing the statement A by the statement not-q and the statement B by the statement not-p, we have not-q not-p implies not-(not-p) not-(not-q). But not-(not-p) P and not-(not-q) Q, so not-q not-p implies P Q.. Prove that if m and n are even integers, then n + m is an even integer. If m and n are even integers, then, by definition, there exist integers s and t such that m s, n t. But then m + n s +t (s + t), so m + n is divisible by as well. Hence, m + n is even. 3. Prove that if n is an odd integer, then n is an odd integer. We can assume that n k + 1 for some k Z. (The actual justication for this assumption must be postponed until after we discuss the Division Algorithm for Z). But then n (k +1) 4k +4k +1 ( k +k) +1 has the form of an odd integer - and so must be odd. 4. Prove that if n is an integer and n is odd, then n is odd. (Proof by Contradiction). Suppose, on the contrary, that n is an integer, n is odd, and n is not odd. Then n is even, so n k and n (k) ( k ) is even, which violates our hypothesis. 5. Prove, by the contrapositive method, that if c is an odd integer then the equation n + n c 0 has no integer solution. The contrapositive of the proposition is: If the equation n + n c 0 has an integer solution then c is not an odd integer. But if n is an integer, then so is n + n. Hence c n + n must be an integer. Suppose n is even, then there exists a k Z such that n k. Hence c (k) +k ( k ) + k 1

is even. Suppose on the other hand, that n is odd. Then there exists a s Z such that n s +1. But then c (s +1) +(s +1)4s +s +1+s +1 ( s +s +1 ) is again even. Hence, whether n is even or odd, c must be even; i.e., c must be not-odd.. Prove, by mathematical induction, that if n 5 then n >n. Clearly, (0.1) (0.) (0.3) 5 3> 5 5. We thus only need to show that n >n and n 5 n+1 > (n +1). Assume n >n, n 5. Then n + n >n + n or n+1 ( n )( n + n ) > n + n n. It therefore suffices to check that n >? (n +1). Expanding, the right hand side of (0.1), we get n >? n +n +1 or equivalently n >? n +1. Statement (eq-0..3) is certainly true for n 5,since5> 11. But note also that if n > n +1, then adding n + 1 to both sides yields n +n +1> n +1+n +1 or (n +1) > n +(n +1)> (n +1)+1 ifn>1. Hence statement (0.3) is thus proved by mathematical induction. This then implies the validity of (0.). Combining (0.1) and (0.) we have n+1 > n > (n +1), hence the original statement is proved via the principal of mathematical induction. 7. Prove by the contrapositive method that if c is an odd integer, there the equation n + n + c 0 has no integer solution for n. The premise of this statement is and the conclusion is c is odd n + n + c 0 has no integer solution So the contrapositive of this statement would be n + n + c 0 has an integer solution c is not odd

3 The equation n + n + c 0 implies c n n. If n is integer, then it is either even or odd. If n is even, for some k Z, and so is even. If n is odd then n k c n n 4k k ( k k) n s +1 for some s Z, and so ( ) ( ) c n n 4s +4s +1 (s +1) s 3s 1 is even. Thus, in either case, c is not odd. Since the truth of the contrapositive implies the truth of the original statement, the proposition is proved. n 8. Prove by mathematical induction that Let S(n) be the statement n(n + 1)(n +1) i i1 n, n Z +. i n(n + 1)(n +1) g i1 We need to show two things. ı(i) The statement S(1) is true. ı(ii) The truth of statement S(n) implies the truth of statement S(n + 1). The first is easy. 1 i 1 (1)(1 + 1)( + 1). i1 As for (??), assume that S(n) is true. Then n+1 n i i +(n +1) i1 i1 n(n +1)(n +1) +(n +1) n(n +1)(n +1)+(n +1) (n +1)(n(n +1)+(n + 1)) (n + 1)(n +7n +) (n + 1)(n + )(n +3) (n +1)((n + 1) + 1) ((n +1)+1) which is just the statement S(n + 1). 9. Prove the following identities. (a) B (C D) (B C) (B D),

4 B (C D) {z B andz C D} {z B and (z C orz D)} {(z B and z C) or(z B andz D)} (B C) (B D) (b) B (C D) (B C) (B D) B (C D) {z B orz C D} {z B or (z C andz D)} {(z B or z C) and (z B orz D)} (B C) (B D) (c) C (C A) (C A) (C A) (C A) {z C andz / A} {z C andz A} {(z C andz / A) or(z C andz A)} {z C} C 10. Describe each set in set-builder notation: (a) All positive real numbers. {x x R, x >0} (b) All negative irrational numbers. {x x R, x <0, x / Q} (c) All points in the coordinate plane with rational first coordinate. {(x, y) x Q, y R} (d) All negative even integers greater than 50.

5 {k k Z, 5 <k<0} 11. Which of the following sets are nonempty? (a) { r Q r } This set is empty because neither of the roots of r is rational (b) { r R r +5r 70 } The quadratic formula gives us the roots of r +5r 7 0. They are r± 5± 5 8 and they are both real numbers. Therefore this set is non-empty. (c) { t Z t t 10 } 5 ± 3 We have t t 1(3t +1)(t 1) and so the roots of t t 1 0 are t 1 3, 1 ; neither of which is an integer. Therefore this set is empty. 1. Is B is a subset of C when (a) B Z and C Q? Yes, every integer is also a rational number. (b) B all solutions of x +x 5 0 and C Z? The solutions of x +x 5 0 are x± ± 4+0 integer. and so B is not a subset of C. 1 ± 4 1 ± ; neither of which is an (c) B {a, b, 7, 9, 11, } and C Q? The letters a and b are not rational numbers. Hence there are two elements of B that do not lie in C. Hence B is not a subset of C. 13. In each part find B C, B C, and B C. (a) B Z and C Q. Since every element of Z is an element of Q we have B C {} B C B Z B C C Q (b) B R and C Q.

U (U In this case, every element of C Q is an element of B R B C {x x R, x / Q} B C C Q B C B R (c) B {a, b, c, 1,, 3, 4, 5, } and C {a, c, e,, 4,, 8}. B C {b, 1, 3, 5} B C {a, c,, 4, } B C {a, b, c, e, 1,, 3, 4, 5,, 8} 14. Let A, B be subsets of U. Prove De Morgan s laws: (a) U (A B) (U A) (U B) We need to show that U (A B) isasubsetof(u A) (U B) and that (U A) (U B) is a subset of U (A B) (A B) (U A) (U B) x U (A B) x U and x / A B x U and (x / A or x / B) (x U and x / A) or (x U and x / B) (x U A) or (x U B) x (U A) (U B) The key step here was in passing from the third line to the fourth, where we employed the distributive law of logic : A and (B or C) (A and B) or (A and C) A) (U B) U (A B) The argument we use here is just the reverse of the sequence of arguments we used above: (b) U (A B) (U A) (U B) x x (U A) (U B) (x U A) or (x U B) (x U and x / A) or (x U and x / B) x U and (x / A or x / B) x U and x / A B x U (A B)

7 We need to show that U (A B) is a subset of (U A) (U B) and (U A) (U B) isa subset of U (A B). This time we ll argue a bit more efficiently using biconditional statements. x U (A B) x U and x / (A B) x U and (x / A and x / B) (x U and x / A) and (x U and x / B) (x U A) and (x U B) x (U A) (U B) 15. (a) Give an example of a function that is injective but not surjective. The natural inclusion map i : Z R is injective but not surjective. (b) Give and example of a function that is surjective but not injective. Let A denote the set of nonzero real numbers, and let B denote the set of positive real numbers. Then f : A B ; x x is surjective, but not injective (f( x) f(x), but x x). 1. Prove that f : R R : f (x) x 3 is injective. According to Descartes Sign Rule, the number of real roots of a polynomial equation is less than or equal to the number of sign changes in the coefficients. So, the number of real solutions of x 3 C is less than or equal to 1. If (x 1 ) 3 (x ) 3 then x 1 x. Hence, f is injective. 17. Prove that f : R R : f(x) 3x + 5 is surjective. Let y be an arbitray element of the range of f. We need to show that there is an x R such that y f (x). We ll do this constructively by solving the equation y 3x +5 for y. One has y 3x +5 1 3 (y 5) x and so for any y R y f ) ( 13 (y 5) Im (f) 18. Let B and C be nonempty sets. Prove that the function given by f (x, y) (y, x) is a bijection. f : B C C B (i) f is a injection. Suppose f (x 1,y 1 ) f (x,y ). Then (y 1,x 1 ) (y,x ), so y 1 y and x 1 x, hence (x 1,y 1 )(x,y ).

(ii) f is a surjection. Consider an arbitrary element (y, x) C B. Evidently, (y, x) f (x, y), so (y, x) Image(f). Hence, f is surjective. 8