Math 13, Spring 2013, Lecture B: Midterm

Similar documents
Propositional Logic, Predicates, and Equivalence

MATH 2200 Final Review

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : 5 points

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

CSE 20. Final Review. CSE 20: Final Review

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

Chapter 1 : The language of mathematics.

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

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

MATH 215 Final. M4. For all a, b in Z, a b = b a.

MATH 2200 Final LC Review

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

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

Math 3A Winter 2016 Midterm

Fall 2017 Test II review problems

Wollongong College Australia

Math 10850, fall 2017, University of Notre Dame

CSC Discrete Math I, Spring Propositional Logic

Before you get started, make sure you ve read Chapter 1, which sets the tone for the work we will begin doing here.

Do not open this exam until you are told to begin. You will have 75 minutes for the exam.

STRATEGIES OF PROBLEM SOLVING

1.1 Language and Logic

For all For every For each For any There exists at least one There exists There is Some

AN INTRODUCTION TO MATHEMATICAL PROOFS NOTES FOR MATH Jimmy T. Arnold

Example. Logic. Logical Statements. Outline of logic topics. Logical Connectives. Logical Connectives

CSE 20 Discrete Math. Algebraic Rules for Propositional Formulas. Summer, July 11 (Day 2) Number Systems/Computer Arithmetic Predicate Logic

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Solutions

WUCT121. Discrete Mathematics. Logic. Tutorial Exercises

Review 1. Andreas Klappenecker

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

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

WORKSHEET MATH 215, FALL 15, WHYTE. We begin our course with the natural numbers:

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

Do not start until you are given the green signal

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers

Selected problems from past exams

Contribution of Problems

Proof by Contradiction

MAT115A-21 COMPLETE LECTURE NOTES

Introducing Proof 1. hsn.uk.net. Contents

Chapter Summary. Sets (2.1) Set Operations (2.2) Functions (2.3) Sequences and Summations (2.4) Cardinality of Sets (2.5) Matrices (2.

Review 3. Andreas Klappenecker

Homework #2 solutions Due: June 15, 2012

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

Logic. Facts (with proofs) CHAPTER 1. Definitions

3 The language of proof

MATH10040: Chapter 0 Mathematics, Logic and Reasoning

MAT246H1S - Concepts In Abstract Mathematics. Solutions to Term Test 1 - February 1, 2018

Background for Discrete Mathematics

Handout on Logic, Axiomatic Methods, and Proofs MATH Spring David C. Royster UNC Charlotte

Name (print): Question 4. exercise 1.24 (compute the union, then the intersection of two sets)

CSCE 222 Discrete Structures for Computing. Review for the Final. Hyunyoung Lee

WORKSHEET ON NUMBERS, MATH 215 FALL. We start our study of numbers with the integers: N = {1, 2, 3,...}

Direct Proof and Counterexample I:Introduction

MATH 363: Discrete Mathematics

Basic Proof Examples

Direct Proof and Counterexample I:Introduction. Copyright Cengage Learning. All rights reserved.

Section L.1- Introduction to Logic

CSCI Homework Set 1 Due: September 11, 2018 at the beginning of class

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

MAS114: Solutions to Exercises

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

Section 3.1: Direct Proof and Counterexample 1

Meaning of Proof Methods of Proof

A Guide to Proof-Writing

Topics in Logic and Proofs

Foundation of proofs. Jim Hefferon.

Show Your Work! Point values are in square brackets. There are 35 points possible. Some facts about sets are on the last page.

Note: The area of logic that deals with propositions is called the propositional calculus or propositional logic.

Notation Index. gcd(a, b) (greatest common divisor) NT-16

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

Recall that the expression x > 3 is not a proposition. Why?

Problem 1: Suppose A, B, C and D are finite sets such that A B = C D and C = D. Prove or disprove: A = B.

Recitation 4: Quantifiers and basic proofs

Math 3000 Section 003 Intro to Abstract Math Midterm 1

Proof Techniques (Review of Math 271)

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

1. Prove that the number cannot be represented as a 2 +3b 2 for any integers a and b. (Hint: Consider the remainder mod 3).

Compound Propositions

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

THE LOGIC OF COMPOUND STATEMENTS

Week Some Warm-up Questions

More examples of mathematical. Lecture 4 ICOM 4075

The Process of Mathematical Proof

1.1 Language and Logic

Logic and Propositional Calculus

Announcements. Read Section 2.1 (Sets), 2.2 (Set Operations) and 5.1 (Mathematical Induction) Existence Proofs. Non-constructive

Proofs: A General How To II. Rules of Inference. Rules of Inference Modus Ponens. Rules of Inference Addition. Rules of Inference Conjunction

Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively

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

Propositional Logic: Equivalence

Logic. Def. A Proposition is a statement that is either true or false.

Mathematical Reasoning (Part I) 1

Introduction to Proofs

Math 38: Graph Theory Spring 2004 Dartmouth College. On Writing Proofs. 1 Introduction. 2 Finding A Solution

Math 230 Final Exam, Spring 2008

CS1800 Discrete Structures Spring 2018 February CS1800 Discrete Structures Midterm Version A

Math 3000 Section 003 Intro to Abstract Math Homework 6

Transcription:

Math 13, Spring 2013, Lecture B: Midterm Name Signature UCI ID # E-mail address Each numbered problem is worth 12 points, for a total of 84 points. Present your work, especially proofs, as clearly as possible. If you find yourself stuck somewhere, move on and come back to the problem later. For problems with multiple parts it is often possible to answer one part without having solved the previous ones, so be sure to give everything a try. You are not permitted the use of a calculator, phone, or other electronic aid. Academic dishonesty in any form will result in a score of zero.

1. Define f : Z Z by f : n 2n. (a) What is the domain of f? What is the codomain (target) of f? The domain of f is Z and the target of f is Z. (b) What is the range of f? Is f surjective? Explain your answer. (You don t need to give a thorough proof, but your answer should include the definition of surjective!) The range of f is 2Z, the set of even integers. Since the target is the set Z of all integers, the function is not surjective. Surjectivity of f would mean that for every element m of the target Z there would exist an element n of the domain Z such that m = f(n), but given any odd m, there is no such n. (c) Is f injective? Prove your answer. Yes, f is injective. Proof. Let n 1, n 2 Z. Then f(n 1 ) = f(n 2 ) 2n 1 = 2n 2, by definition of f Thus f satisfies the definition of injectivity. n 1 = n 2, dividing both sides by 2.

2. Prove by induction that for every natural number n 1 1 2 + 1 2 3 + 1 3 4 + + 1 n(n + 1) = n n + 1. Proof. We will prove the claim (as directed) by induction on n. Base case. Clearly 1 = 1, so the equation above holds when n = 1. 1 2 1+1 Inductive step. Now assume that for a given n N the above equation holds. Then 1 1 2 + 1 2 3 + 1 3 4 + + 1 n(n + 1) = n n + 1 1 according to the inductive hypothesis we ve just made, so, adding to both sides, (n+1)(n+2) we obtain 1 1 2 + 1 2 3 + 1 3 4 + + 1 n(n + 1) + 1 (n + 1)(n + 2) = n n + 1 + 1 (n + 1)(n + 2) n(n + 2) = (n + 1)(n + 2) + 1 (n + 1)(n + 2) = n2 + 2n + 1 (n + 1)(n + 2) (n + 1) 2 = (n + 1)(n + 2) = n + 1 n + 2, proving that the equation above holds with n replaced by n + 1, which completes the inductive step and the proof. Remarks. It is essential to make your proofs as clear and easy to read as you can. In particular, in an inductive proof you need to indicate that you are making and using an inductive hypothesis. Generally, you should make all of your assumptions explicit, you should introduce all notation you use that is not completely standard (so, for example, don t start writing P (n) without defining what you mean), you should write in complete sentences (although it s fine to use symbols and abbreviations in place of English words), and you should explain the logical connection between the various sentences and equations you write down. You should think of the proof as a short essay, which you re writing in order to explain why the proposition you re proving is true.

3. Let A = {x R x 2 1 = 0} and let B = {x 2 1 x R}. (a) Write A in roster notation. Evidently x A x 2 1 = 0 x = ±1, so (b) Write B in interval notation. A = {1, 1}. We have y B ( x R)(y = x 2 1) y [ 1, ) (which you can see, for instance, by thinking of the graph of the parabola given by y = x 2 1), so (c) Write B\A as a union of two intervals. B = [ 1, ). By definition x B\A (x B x A), so we cut out 1 and 1 from [ 1, ) to get B\A = ( 1, 1) (1, ). (d) Evaluate A\B. Since A B, the complement of B in A is empty: A\B =.

4. Prove that a, b Z (a + b) 3 (a 3 + b 3 ) (mod 3). Proof. Let a, b Z. Then (a + b) 3 (a 3 + b 3 ) = (a + b)(a 2 + 2ab + b 2 ) a 3 b 3 = 3(a 2 b + ab 2 ), but since a, b Z, we have a 2 b + ab 2 Z as well, so the left-hand side of the above equation is divisible by 3. Equivalently, (a + b) 3 (a 3 + b 3 ) (mod 3).

5. We have studied the logical or operator, which is sometimes called the inclusive disjunction. For some purposes it is convenient to introduce also xor, the exclusive disjunction, which can be defined by the following truth table. P Q P Q (P Q) T T F T T F T F F T T F F F F T (a) Complete the truth table for (P Q) above. See above. (b) Fill in the blank ( ) below with one of the logical symbols we have studied (,,,,,, or ) to make the following propositional form a tautology: [ (P Q)] [P Q] This can be seen from the above truth table, since P Q means that P and Q have the same truth value as one another. (c) Using just the familiar operators,, and, write a propositional form logically equivalent to P Q. Looking at the truth table above, or using the result of (b), we can see that P Q is logically equivalent to (P Q) (P Q). [Of course there are many equivalent correct answers, such as to name one more.] (P Q) ( P Q)

6. Recall that two integers a and b are called relatively prime if their greatest common divisor is 1. Prove that n and n + 1 are relatively prime for every natural number n. (Hint: do not attempt an inductive proof.) Proof. Let n N. Suppose d Z divides n and n + 1. Then by definition of divisibility there exist k, l Z such that n = kd and n + 1 = ld. Subtracting the first equation from the second, we get 1 = (l k)d, but the only divisors of 1 are 1 and 1, so (since 1 < 1) the greatest common divisor of n and n + 1 is 1. Remarks. If you wanted to use the Euclidean algorithm in this problem, that s a fine approach, but in this case you absolutely must mention that you re using the Euclidean algorithm and explain (briefly) what you re doing (rather than just writing down a couple equations).

7. Some problems with quantifiers. (a) Is the proposition ( y R)( x R)(y = 2x) true or false? Prove your answer. The proposition is true. Proof. Given y R, let x = 1 y. Then x R and y = 2x. 2 (b) Is the proposition ( x R)( y R)(y = 2x) true or false? Prove your answer. The proposition is false. Proof. We will prove the negation of the proposition, namely ( x R)( y R)(y 2x). Indeed, given x R, let y = 2x + 1. Then y R and y 2x, because 2x + 1 = 2x 1 = 0. Here s an alternative approach. Proof. We will prove the proposition is false by assuming it is true and deriving a contradiction. Suppose then that x R satisfies y = 2x for every y R. Then in particular, taking y = 0 yields 0 = 2x so that x = 0, but taking y = 1 yields 1 = 2x so that x = 1. Since 0 1, the original proposition must be false. 2 Remarks on (a) and (b). Some students wanted to prove (a) or the negation of (b) by giving examples, but it is impossible to prove a statement by giving an example (though an example can be helpful for understanding what s going on). On the other hand, one can (and often does) prove an statement by giving an example. Similarly a good method to prove that a statement is false is to give a counterexample, but one cannot give a counterexample to prove that a statement is false (nor is the term counterexample even applicable in this context). (c) Consider the proposition ( G N)( M N)( primes p, q [M, ))( p q < G). Suppose you wanted to try to prove this proposition by contradiciton. What would be your starting assumption? Write your final answer so that it does not contain any negation symbols ( or ). (Aside: Actually a complete proof would be very difficult; a mathematician at the University of New Hampshire, Yitang Zhang, proved the above proposition, related to the twin prime conjecture, about two years ago and has consequently become very famous within the mathematics community.) To prove by contradiction that a given proposition is true, one starts by assuming the negation of that proposition. Here then we have to negate the proposition. Just repeatedly apply the logical identities ( x)(p (x)) ( x)( P (x)) and ( x)(p (x)) ( x)( P (x)):

( G N)( M N)( primes p, q [M, ))( p q G)

1 2 3 4 5 6 7 Total