Announcements. Read Section 2.1 (Sets), 2.2 (Set Operations) and 5.1 (Mathematical Induction) Existence Proofs. Non-constructive
|
|
- Gerard Hudson
- 5 years ago
- Views:
Transcription
1 Announcements Homework 2 Due Homework 3 Posted Due next Monday Quiz 2 on Wednesday Read Section 2.1 (Sets), 2.2 (Set Operations) and 5.1 (Mathematical Induction) Exam 1 in two weeks Monday, February 19 th 1Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 1 Existence Proofs Two ways of proving $x P(x). Either build one, or show one can be built. Constructive Non-constructive Two examples, both involving n! For the examples, think of n! as a list of factors. 2Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 2
2 Quantifiers: Existence Proofs Composite = Example: Prove that for all positive integers n, not prime there exist n consecutive composite integers. "n (positive integers), $x so that x, x+1, x+2,, x+n-1 are all composite. Proof: Let n be an arbitrary integer. (n + 1)! + 2 is divisible by 2, \ composite. (n + 1)! + 3 is divisible by 3, \ composite. (n + 1)! + (n + 1) is divisible by n + 1, \ composite. CONSTRUCTIVE x = (n + 1)! + 2 3Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 3 Quantifiers: Existence Proofs Infinitely many primes! Example: Prove that for all integers n, there exists a prime p so that p > n. "n (integer), $p so that p is prime, and p > n. Proof: Let n be an arbitrary integer, and consider n! + 1. If (n! + 1) is prime, we are done since (n! + 1) > n. But what if (n! + 1) is composite? If (n! + 1) is composite then it has a prime factorization, p 1 p 2 p n = (n! + 1) Consider the smallest p i, how small can it be? 4Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 4
3 Quantifiers: Existence Proofs "n (integers), $p so that p is prime, and p > n. Proof: Let n be an arbitrary integer, and consider n! + 1. If (n! + 1) is prime, we are done since (n! + 1) > n. But what if (n! + 1) is composite? If (n! + 1) is composite then it has a prime factorization, p 1 p 2 p n = (n! + 1) Consider the smallest p i, and call it p. How small can it be? So, p > n, and we are done. BUT WE DON T KNOW WHAT p IS!!! NON-CONSTRUCTIVE Can it be 2? Can it be 3? Can it be 4? Can it be n? 5Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 5 Another Example - Largest Prime Number Prove by contradiction: There is no largest prime number; that is, there are infinitely many prime numbers. Proof: Suppose the given conclusion is false; that is, there is a largest prime number p. So the prime numbers we have are 2,3,5,...,p; assume there are k such primes, p 1,p 2,..,and p k. Let x denote the product of all of these prime numbers plus one: x=(2 * 3 * 5... * p)+1. Clearly, x>p. When x is divided by each of the primes 2,3,5,...,p. we get 1 as the remainder. So x is not divisible by any of the primes. Hence either x must be a prime, or if x is composite then it is divisible by a prime q!= p. In either case, there are more than k primes. But this contradicts the assumption that there are k primes, so our assumption is false. In other words, there is no largest prime number. From Discrete Mathematics with Applications, by Thomas Koshy 6Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 6
4 Existence Proofs Proof of theorems of the form Constructive existence proof: Find an explicit value of c, for which P(c) is true. Then is true by Existential Generalization (EG). Example: Show that there is a positive integer that can be written as the sum of cubes of positive integers in two different ways: Proof: 1729 is such a number since 1729 = = Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 7 Counterexamples Recall To establish that is true (or is false) find a c such that P(c) is true or P(c) is false. In this case c is called a counterexample to the assertion. Example: Every positive integer is the sum of the squares of 3 integers. The integer 7 is a counterexample. So the claim is false. 8Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 8
5 Uniqueness Proofs Some theorems assert the existence of a unique element with a particular property, $!x P(x). The two parts of a uniqueness proof are Existence: We show that an element x with the property exists. Uniqueness: We show that if y x, then y does not have the property. Example: Show that if a and b are real numbers and a 0, then there is a unique real number r such that ar + b = 0. Solution: Existence: The real number r = b/a is a solution of ar + b = 0 because a( b/a) + b = b + b =0. Uniqueness: Suppose that s is a real number such that as + b = 0. Then ar + b = as + b, where r = b/a. Subtracting b from both sides and dividing by a shows that r = s. 9Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 9 Proof Strategies for proving p q Choose a method First try a direct method of proof If this does not work, try an indirect method (e.g., try to prove the contrapositive) For whichever method you are trying, choose a strategy First try forward reasoning. Start with the axioms and known theorems and construct a sequence of steps that end in the conclusion. Start with p and prove q, or start with q and prove p. If this doesn t work, try backward reasoning. When trying to prove q, find a statement r that we can prove with the property p q. 10Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 10
6 Backward Reasoning Example: Suppose that two people play a game taking turns removing, 1, 2, or 3 stones at a time from a pile that begins with 15 stones. The person who removes the last stone wins the game. Show that the first player can win the game no matter what the second player does. Proof: Let n be the last step of the game. Step n: Player 1 can win if the pile contains 1,2, or 3 stones. Step n-1: Player 2 will have to leave such a pile if the pile that he/she is faced with has 4 stones. Step n-2: Player 1 can leave 4 stones when there are 5,6, or 7 stones left at the beginning of his/her turn. Step n-3: Player 2 must leave such a pile, if there are 8 stones. Step n-4: Player 1 has to have a pile with 9,10, or 11 stones to ensure that there are 8 left. Step n-5: Player 2 needs to be faced with 12 stones to be forced to leave 9,10, or 11. Step n-6: Player 1 can leave 12 stones by removing 3 stones. Now reasoning forward, the first player can ensure a win by removing 3 stones and leaving Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 11 Proof and Disproof: Tilings Example 1: Can we tile the standard checkerboard using dominos? Solution: Yes! One example provides a constructive existence proof. The Standard Checkerboard Two Dominoes One Possible Solution 12Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 12
7 Tilings Example 2: Can we tile a checkerboard obtained by removing one of the four corner squares of a standard checkerboard? Solution: Our checkerboard has 64 1 = 63 squares. Since each domino has two squares, a board with a tiling must have an even number of squares. The number 63 is not even. We have a contradiction. 13Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 13 Tilings Example 3: Can we tile a board obtained by removing both the upper left and the lower right squares of a standard checkerboard? Nonstandard Checkerboard Dominoes 14Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 14
8 Tilings Solution?: There are 62 squares in this board. To tile it we need 31 dominos. Key fact: Each domino covers one black and one white square. Therefore the tiling covers 31 black squares and 31 white squares. Our board has either 30 black squares and 32 white squares or 32 black squares and 30 white squares. Contradiction! 15Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 15 The Role of Open Problems Unsolved problems have motivated much work in mathematics. Fermat s Last Theorem was conjectured more than 300 years ago. It has only recently been finally solved. Fermat s Last Theorem: The equation x n + y n = z n has no solutions in integers x, y, and z, with xyz 0 whenever n is an integer with n > 2. A proof was found by Andrew Wiles in the 1990s 16Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 16
9 An Open Problem The 3x + 1 Conjecture: Let T be the transformation that sends an even integer x to x/2 and an odd integer x to 3x + 1. For all positive integers x, when we repeatedly apply the transformation T, we will eventually reach the integer 1. For example, starting with x = 13: T(13) = = 40, T(40) = 40/2 = 20, T(20) = 20/2 = 10, T(10) = 10/2 = 5, T(5) = = 16,T(16) = 16/2 = 8, T(8) = 8/2 = 4, T(4) = 4/2 = 2, T(2) = 2/2 = 1 The conjecture has been verified using computers up to Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 17 Additional Proof Methods Later we will see many other proof methods: Mathematical induction, which is a useful method for proving statements of the form "n P(n), where the domain consists of all positive integers. Structural induction, which can be used to prove such results about recursively defined sets. Cantor diagonalization is used to prove results about the size of infinite sets. Combinatorial proofs use counting arguments. 18Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 18
10 Proof Techniques - proof by contradiction To prove a proposition p, assume not p and show a contradiction. (Prove that the sky is blue Assume that the sky is not blue ) Suppose the proposition is of the form a b, and recall that a b º a v b º (a Ù b). So assuming the opposite is to assume a Ù b. For a conditional, we assume a and prove b If I study hard, then I will earn an A Assume I study hard and I will Not earn an A 19Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 19 One More Example Show that at least 3 of any 25 days chosen must fall in the same month of the year 20Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 20
11 One More Example Show that at least 3 of any 25 days chosen must fall in the same month of the year Proof by contradiction Suppose p There are at most 2 days of any 25 days chosen that must fall in the same month of the year Because there are 12 months in a year and 2 days could be chosen per month, we have a maximum of 24 days that could be selected. This contradicts choosing from 25 days. Therefore p 21Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 21 Quick Background on Set Theory A set is an unordered collection of elements. Some examples: {1, 2, 3} is the set containing 1 and 2 and 3. {1, 1, 2, 3, 3} = {1, 2, 3} since repetition is irrelevant. {1, 2, 3} = {3, 2, 1} since sets are unordered. {1, 2, 3, } is a way we denote an infinite set (in this case, the natural numbers). Æ = {} is the empty set, or the set containing no elements. Note: Æ ¹ {Æ} 22Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 22
12 Set Theory - Definitions and notation x Î S means x is an element of set S. x Ï S means x is not an element of set S. A Í B means A is a subset of B. or, B contains A. or, every element of A is also in B. or, "x ((x Î A) (x Î B)). A B Venn Diagram 23Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 23 Set Theory - Cardinality If S is finite, then the cardinality of S, S, is the number of distinct elements in S. If S = {1,2,3}, S = 3 If S = {3,3,3,3,3}, S = 1 If S = Æ, S = 0 If S = { 1, {1}, {1,{1}} }, S = 3 If S = {0,1,2,3, }, S is infinity. (more on this later) 24Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 24
13 Set Theory - Power sets If S is a set, then the power set of S is 2 S = { x : x Í S }. If S = {a}, P(S) = 2 S = {Æ, {a}}. aka P(S) If S = {a,b}, If S = Æ, If S = {Æ,{Æ}}, 2 S = {Æ, {a}, {b}, {a,b}}. 2 S = {Æ}. 2 S = {Æ, {Æ}, {{Æ}}, {Æ,{Æ}}}. We say, P(S) is the set of all subsets of S. Fact: if S is finite, P(S) = 2 S. (if S = n, P(S) = 2 n ) 25Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 25 Set Theory - Operators The union of two sets A and B is: A È B = { x : x Î A v x Î B} If A = {Charlie, Lucy, Linus}, and B = {Lucy, Desi}, then A È B = {Charlie, Lucy, Linus, Desi} B A 26Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 26
14 On to Mathematical Induction One rule: Due to peer pressure, if the person before you likes Lucky Charms, then you like Lucky Charms. Person 1 likes Lucky Charms. What can we conclude? Everyone likes Lucky Charms! Suppose we want to prove everyone likes Fruit Loops Need to show two things: Person 1 likes Fruit Loops (FL(1)) Suggests a proof technique If person k likes Fruit Loops, then person k+1 does too. (FL(k) FL(k+1)) "n FL(n) 27Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 27 Mathematical Induction Suppose we want to prove everyone likes Fruit Loops Need to show two things: "n FL(n) Person 1 likes Fruit Loops (FL(1)) If person k likes Fruit Loops, then person k+1 does too. (FL(k) FL(k+1)) First part is a simple proposition we call the base case. Second part is a conditional. Start by assuming FL(k), and show that FL(k+1) follows. True by peer pressure 28Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 28
15 Mathematical Induction Use induction to prove that the sum of the first n positive odd integers is n 2. Prove a base case (n=1) Base case (n=1): the sum of the first 1 odd integer is 1 2. Yes, 1 = 1 2. Prove P(k) P(k+1) Assume P(k): the sum of the first k odd ints is k (2k - 1) = k 2 Prove that (2k - 1) + (2k + 1) = (k+1) (2k-1) + (2k+1) = k 2 + (2k + 1) = (k+1) 2 By arithmetic Inductive hypothesis By inductive hypothesis 29Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 29 Mathematical Induction Prove that 1 1! + 2 2! + + n n! = (n+1)! - 1, "n Base case (n=1): 1 1! = (1+1)! - 1? Yes, 1 1! = 1, 2! - 1 = 1 Assume P(k): 1 1! + 2 2! + + k k! = (k+1)! - 1 Prove that 1 1! + + k k! + (k+1)(k+1)! = (k+2)! ! + + k k! + (k+1)(k+1)! = (k+1)! (k+1)(k+1)! = (k+1)(k+1)! + (k+1)! - 1 = (k+1)! ((k+1) + 1) - 1 = (k+1)!(k+2) - 1 = (k+2)! - 1 Inductive hypothesis 30Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 30
16 Mathematical Induction Prove that if a set S has S = n, then P(S) = 2 n Base case (n=0): S=ø, P(S) = {ø} and P(S) = 1 = 2 0 Assume P(k): If S = k, then P(S) = 2 k Prove that if S = k+1, then P(S ) = 2 k+1 S = S U {a} for some S Ì S with S = k, and a Î S. Partition the power set of S into the sets containing a and those not. We count these sets separately. Inductive hypothesis 31Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 31 Mathematical Induction Assume P(k): If S = k, then P(S) = 2 k Prove that if S = k+1, then P(S ) = 2 k+1 S = S U {a} for some S Ì S with S = k, and a Î S. Partition the power set of S into the sets containing a and those not. P(S ) = {X : a Î X} U {X : a Ï X} P(S ) = {X : a Î X} U P(S) Since these are all the subsets of elements in S. Subsets containing a are made by taking any set from P(S), and inserting an a. 32Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 32
17 Mathematical Induction Assume P(k): If S = k, then P(S) = 2 k Prove that if S = k+1, then P(S ) = 2 k+1 S = S U {a} for some S Ì S with S = k, and a Î S. P(S ) = {X : a Î X} U {X : a Ï X} P(S ) = {X : a Î X} U P(S) P(S ) = {X : a Î X} + P(S) = 2 P(S) = 2 2 k = 2 k+1 Subsets containing a are made by taking any set from P(S), and inserting an a. So {X : a Î X} = P(S) 33Extensible - CSE 240 Logic Networking and Discrete Platform Mathematics 33
Section Summary. Proof by Cases Existence Proofs
Section 1.8 1 Section Summary Proof by Cases Existence Proofs Constructive Nonconstructive Disproof by Counterexample Uniqueness Proofs Proving Universally Quantified Assertions Proof Strategies sum up
More informationLecture 7 Feb 4, 14. Sections 1.7 and 1.8 Some problems from Sec 1.8
Lecture 7 Feb 4, 14 Sections 1.7 and 1.8 Some problems from Sec 1.8 Section Summary Proof by Cases Existence Proofs Constructive Nonconstructive Disproof by Counterexample Nonexistence Proofs Uniqueness
More informationThe Foundations: Logic and Proofs. Chapter 1, Part III: Proofs
The Foundations: Logic and Proofs Chapter 1, Part III: Proofs Summary Valid Arguments and Rules of Inference Proof Methods Proof Strategies Rules of Inference Section 1.6 Section Summary Valid Arguments
More informationWith Question/Answer Animations. Chapter 1, Part III: Proofs
With Question/Answer Animations Chapter 1, Part III: Proofs Summary Valid Arguments and Rules of Inference Proof Methods Proof Strategies Section 1.6 Section Summary Valid Arguments Inference Rules for
More informationMathematical Induction. Section 5.1
Mathematical Induction Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction
More information1.7 Proof Methods and Strategy
1.7 Proof Methods and Strategy Proof Strategies Finding proofs can be difficult. Usual process of proving: Replace terms by their definitions Analyze what the hypothesis and the conclusion mean Try to
More informationChapter 2 Section 2.1: Proofs Proof Techniques. CS 130 Discrete Structures
Chapter 2 Section 2.1: Proofs Proof Techniques CS 130 Discrete Structures Some Terminologies Axioms: Statements that are always true. Example: Given two distinct points, there is exactly one line that
More informationClimbing an Infinite Ladder
Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite
More informationClimbing an Infinite Ladder
Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite
More informationWhat can you prove by induction?
MEI CONFERENCE 013 What can you prove by induction? Martyn Parker M.J.Parker@keele.ac.uk Contents Contents iii 1 Splitting Coins.................................................. 1 Convex Polygons................................................
More informationCS 173: Discrete Structures. Eric Shaffer Office Hour: Wed. 1-2, 2215 SC
CS 173: Discrete Structures Eric Shaffer Office Hour: Wed. 1-2, 2215 SC shaffer1@illinois.edu Agenda Sets (sections 2.1, 2.2) 2 Set Theory Sets you should know: Notation you should know: 3 Set Theory -
More informationFinal Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is
1. Describe the elements of the set (Z Q) R N. Is this set countable or uncountable? Solution: The set is equal to {(x, y) x Z, y N} = Z N. Since the Cartesian product of two denumerable sets is denumerable,
More informationDiscrete Mathematics. Spring 2017
Discrete Mathematics Spring 2017 Previous Lecture Principle of Mathematical Induction Mathematical Induction: Rule of Inference Mathematical Induction: Conjecturing and Proving Mathematical Induction:
More informationDiscrete Mathematics. Spring 2017
Discrete Mathematics Spring 2017 Previous Lecture Principle of Mathematical Induction Mathematical Induction: rule of inference Mathematical Induction: Conjecturing and Proving Climbing an Infinite Ladder
More information1.7 Proof Methods and Strategy
1.7 Proof Methods and Strategy Introduction We will introduce several other important proof methods: Proofs where we consider different cases separately, Proofs where we prove the existence of objects
More informationAt the start of the term, we saw the following formula for computing the sum of the first n integers:
Chapter 11 Induction This chapter covers mathematical induction. 11.1 Introduction to induction At the start of the term, we saw the following formula for computing the sum of the first n integers: Claim
More informationCMPSCI 250: Introduction to Computation. Lecture 11: Proof Techniques David Mix Barrington 5 March 2013
CMPSCI 250: Introduction to Computation Lecture 11: Proof Techniques David Mix Barrington 5 March 2013 Proof Techniques Review: The General Setting for Proofs Types of Proof: Direct, Contraposition, Contradiction
More informationBasic Proof Examples
Basic Proof Examples Lisa Oberbroeckling Loyola University Maryland Fall 2015 Note. In this document, we use the symbol as the negation symbol. Thus p means not p. There are four basic proof techniques
More information586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws
Index absolute value, 135 141 additive identity, 254 additive inverse, 254 aleph, 465 algebra of sets, 245, 278 antisymmetric relation, 387 arcsine function, 349 arithmetic sequence, 208 arrow diagram,
More informationCISC-102 Fall 2017 Week 3. Principle of Mathematical Induction
Week 3 1 of 17 CISC-102 Fall 2017 Week 3 Principle of Mathematical Induction A proposition is defined as a statement that is either true or false. We will at times make a declarative statement as a proposition
More informationMathematical Induction
Mathematical Induction MAT30 Discrete Mathematics Fall 018 MAT30 (Discrete Math) Mathematical Induction Fall 018 1 / 19 Outline 1 Mathematical Induction Strong Mathematical Induction MAT30 (Discrete Math)
More informationKnow the Well-ordering principle: Any set of positive integers which has at least one element contains a smallest element.
The first exam will be on Monday, June 8, 202. The syllabus will be sections. and.2 in Lax, and the number theory handout found on the class web site, plus the handout on the method of successive squaring
More informationSome Review Problems for Exam 1: Solutions
Math 3355 Fall 2018 Some Review Problems for Exam 1: Solutions Here is my quick review of proof techniques. I will focus exclusively on propositions of the form p q, or more properly, x P (x) Q(x) or x
More informationAll numbered readings are from Beck and Geoghegan s The art of proof.
MATH 301. Assigned readings and homework All numbered readings are from Beck and Geoghegan s The art of proof. Reading Jan 30, Feb 1: Chapters 1.1 1.2 Feb 6, 8: Chapters 1.3 2.1 Feb 13, 15: Chapters 2.2
More informationChapter 2. Mathematical Reasoning. 2.1 Mathematical Models
Contents Mathematical Reasoning 3.1 Mathematical Models........................... 3. Mathematical Proof............................ 4..1 Structure of Proofs........................ 4.. Direct Method..........................
More informationA n = A N = [ N, N] A n = A 1 = [ 1, 1]. n=1
Math 235: Assignment 1 Solutions 1.1: For n N not zero, let A n = [ n, n] (The closed interval in R containing all real numbers x satisfying n x n). It is easy to see that we have the chain of inclusion
More informationEECS 1028 M: Discrete Mathematics for Engineers
EECS 1028 M: Discrete Mathematics for Engineers Suprakash Datta Office: LAS 3043 Course page: http://www.eecs.yorku.ca/course/1028 Also on Moodle S. Datta (York Univ.) EECS 1028 W 18 1 / 32 Proofs Proofs
More informationCOMP 182 Algorithmic Thinking. Proofs. Luay Nakhleh Computer Science Rice University
COMP 182 Algorithmic Thinking Proofs Luay Nakhleh Computer Science Rice University 1 Reading Material Chapter 1, Section 3, 6, 7, 8 Propositional Equivalences The compound propositions p and q are called
More informationSection 3.1: Direct Proof and Counterexample 1
Section 3.1: Direct Proof and Counterexample 1 In this chapter, we introduce the notion of proof in mathematics. A mathematical proof is valid logical argument in mathematics which shows that a given conclusion
More informationCSE 311: Foundations of Computing. Lecture 14: Induction
CSE 311: Foundations of Computing Lecture 14: Induction Mathematical Induction Method for proving statements about all natural numbers A new logical inference rule! It only applies over the natural numbers
More informationMath 13, Spring 2013, Lecture B: Midterm
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.
More informationMathematical Induction
Mathematical Induction MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Mathematical Induction Fall 2014 1 / 21 Outline 1 Mathematical Induction 2 Strong Mathematical
More informationPreparing for the CS 173 (A) Fall 2018 Midterm 1
Preparing for the CS 173 (A) Fall 2018 Midterm 1 1 Basic information Midterm 1 is scheduled from 7:15-8:30 PM. We recommend you arrive early so that you can start exactly at 7:15. Exams will be collected
More informationDiscrete Mathematics & Mathematical Reasoning Induction
Discrete Mathematics & Mathematical Reasoning Induction Colin Stirling Informatics Colin Stirling (Informatics) Discrete Mathematics (Sections 5.1 & 5.2) Today 1 / 12 Another proof method: Mathematical
More informationLogic. Facts (with proofs) CHAPTER 1. Definitions
CHAPTER 1 Logic Definitions D1. Statements (propositions), compound statements. D2. Truth values for compound statements p q, p q, p q, p q. Truth tables. D3. Converse and contrapositive. D4. Tautologies
More information1. (B) The union of sets A and B is the set whose elements belong to at least one of A
1. (B) The union of sets A and B is the set whose elements belong to at least one of A or B. Thus, A B = { 2, 1, 0, 1, 2, 5}. 2. (A) The intersection of sets A and B is the set whose elements belong to
More informationWith Question/Answer Animations
Chapter 5 With Question/Answer Animations Copyright McGraw-Hill Education. All rights reserved. No reproduction or distribution without the prior written consent of McGraw-Hill Education. Chapter Summary
More informationASSIGNMENT 1 SOLUTIONS
MATH 271 ASSIGNMENT 1 SOLUTIONS 1. (a) Let S be the statement For all integers n, if n is even then 3n 11 is odd. Is S true? Give a proof or counterexample. (b) Write out the contrapositive of statement
More informationHomework 3 Solutions, Math 55
Homework 3 Solutions, Math 55 1.8.4. There are three cases: that a is minimal, that b is minimal, and that c is minimal. If a is minimal, then a b and a c, so a min{b, c}, so then Also a b, so min{a, b}
More information. As the binomial coefficients are integers we have that. 2 n(n 1).
Math 580 Homework. 1. Divisibility. Definition 1. Let a, b be integers with a 0. Then b divides b iff there is an integer k such that b = ka. In the case we write a b. In this case we also say a is a factor
More informationAnnouncements. Exam 1 Review
Announcements Quiz today Exam Monday! You are allowed one 8.5 x 11 in cheat sheet of handwritten notes for the exam (front and back of 8.5 x 11 in paper) Handwritten means you must write them by hand,
More informationLecture 2: Proof Techniques Lecturer: Lale Özkahya
BBM 205 Discrete Mathematics Hacettepe University http://web.cs.hacettepe.edu.tr/ bbm205 Lecture 2: Proof Techniques Lecturer: Lale Özkahya Resources: Kenneth Rosen, Discrete Mathematics and App. cs.colostate.edu/
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter The Real Numbers.. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {, 2, 3, }. In N we can do addition, but in order to do subtraction we need to extend
More informationMATH CSE20 Homework 5 Due Monday November 4
MATH CSE20 Homework 5 Due Monday November 4 Assigned reading: NT Section 1 (1) Prove the statement if true, otherwise find a counterexample. (a) For all natural numbers x and y, x + y is odd if one of
More informationFinite and Infinite Sets
Chapter 9 Finite and Infinite Sets 9. Finite Sets Preview Activity (Equivalent Sets, Part ). Let A and B be sets and let f be a function from A to B..f W A! B/. Carefully complete each of the following
More informationCS1800: Mathematical Induction. Professor Kevin Gold
CS1800: Mathematical Induction Professor Kevin Gold Induction: Used to Prove Patterns Just Keep Going For an algorithm, we may want to prove that it just keeps working, no matter how big the input size
More informationLecture Notes 1 Basic Concepts of Mathematics MATH 352
Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,
More informationDiscrete Mathematics & Mathematical Reasoning Induction
Discrete Mathematics & Mathematical Reasoning Induction Colin Stirling Informatics Colin Stirling (Informatics) Discrete Mathematics (Sections 5.1 & 5.2) Today 1 / 11 Another proof method: Mathematical
More informationChapter Summary. Mathematical Induction Strong Induction Well-Ordering Recursive Definitions Structural Induction Recursive Algorithms
1 Chapter Summary Mathematical Induction Strong Induction Well-Ordering Recursive Definitions Structural Induction Recursive Algorithms 2 Section 5.1 3 Section Summary Mathematical Induction Examples of
More informationIntro to Logic and Proofs
Intro to Logic and Proofs Propositions A proposition is a declarative sentence (that is, a sentence that declares a fact) that is either true or false, but not both. Examples: It is raining today. Washington
More information3.1 Induction: An informal introduction
Chapter 3 Induction and Recursion 3.1 Induction: An informal introduction This section is intended as a somewhat informal introduction to The Principle of Mathematical Induction (PMI): a theorem that establishes
More information1 Proof by Contradiction
In these notes, which will serve as a record of what we covered in weeks 3-4, we discuss various indirect methods of proof. While direct proof is often preferred it is sometimes either not possible or
More informationMore examples of mathematical. Lecture 4 ICOM 4075
More examples of mathematical proofs Lecture 4 ICOM 4075 Proofs by construction A proof by construction is one in which anobjectthat proves the truth value of an statement is built, or found There are
More informationReadings: Conjecture. Theorem. Rosen Section 1.5
Readings: Conjecture Theorem Lemma Lemma Step 1 Step 2 Step 3 : Step n-1 Step n a rule of inference an axiom a rule of inference Rosen Section 1.5 Provide justification of the steps used to show that a
More informationWriting proofs for MATH 51H Section 2: Set theory, proofs of existential statements, proofs of uniqueness statements, proof by cases
Writing proofs for MATH 51H Section 2: Set theory, proofs of existential statements, proofs of uniqueness statements, proof by cases September 22, 2018 Recall from last week that the purpose of a proof
More informationDiscrete Mathematics & Mathematical Reasoning Predicates, Quantifiers and Proof Techniques
Discrete Mathematics & Mathematical Reasoning Predicates, Quantifiers and Proof Techniques Colin Stirling Informatics Some slides based on ones by Myrto Arapinis Colin Stirling (Informatics) Discrete Mathematics
More informationExample: Use a direct argument to show that the sum of two even integers has to be even. Solution: Recall that an integer is even if it is a multiple
Use a direct argument to show that the sum of two even integers has to be even. Solution: Recall that an integer is even if it is a multiple of 2, that is, an integer x is even if x = 2y for some integer
More informationInduction and recursion. Chapter 5
Induction and recursion Chapter 5 Chapter Summary Mathematical Induction Strong Induction Well-Ordering Recursive Definitions Structural Induction Recursive Algorithms Mathematical Induction Section 5.1
More information12 Sequences and Recurrences
12 Sequences and Recurrences A sequence is just what you think it is. It is often given by a formula known as a recurrence equation. 12.1 Arithmetic and Geometric Progressions An arithmetic progression
More informationMath 31 Lesson Plan. Day 2: Sets; Binary Operations. Elizabeth Gillaspy. September 23, 2011
Math 31 Lesson Plan Day 2: Sets; Binary Operations Elizabeth Gillaspy September 23, 2011 Supplies needed: 30 worksheets. Scratch paper? Sign in sheet Goals for myself: Tell them what you re going to tell
More informationConsider an infinite row of dominoes, labeled by 1, 2, 3,, where each domino is standing up. What should one do to knock over all dominoes?
1 Section 4.1 Mathematical Induction Consider an infinite row of dominoes, labeled by 1,, 3,, where each domino is standing up. What should one do to knock over all dominoes? Principle of Mathematical
More informationCS 220: Discrete Structures and their Applications. Mathematical Induction in zybooks
CS 220: Discrete Structures and their Applications Mathematical Induction 6.4 6.6 in zybooks Why induction? Prove algorithm correctness (CS320 is full of it) The inductive proof will sometimes point out
More informationSection 1.7 Proof Methods and Strategy. Existence Proofs. xp(x). Constructive existence proof:
Section 1.7 Proof Methods and Strategy Existence Proofs We wish to establish the truth of xp(x). Constructive existence proof: - Establish P(c) is true for some c in the universe. - Then xp(x) is true
More informationEvery subset of {1, 2,...,n 1} can be extended to a subset of {1, 2, 3,...,n} by either adding or not adding the element n.
11 Recurrences A recurrence equation or recurrence counts things using recursion. 11.1 Recurrence Equations We start with an example. Example 11.1. Find a recurrence for S(n), the number of subsets of
More informationMATH 2200 Final Review
MATH 00 Final Review Thomas Goller December 7, 01 1 Exam Format The final exam will consist of 8-10 proofs It will take place on Tuesday, December 11, from 10:30 AM - 1:30 PM, in the usual room Topics
More informationx P(x) x P(x) CSE 311: Foundations of Computing announcements last time: quantifiers, review: logical Inference Fall 2013 Lecture 7: Proofs
CSE 311: Foundations of Computing Fall 2013 Lecture 7: Proofs announcements Reading assignment Logical inference 1.6-1.7 7 th Edition 1.5-1.7 6 th Edition Homework #2 due today last time: quantifiers,
More informationCOM S 330 Lecture Notes Week of Feb 9 13
Monday, February 9. Rosen.4 Sequences Reading: Rosen.4. LLM 4.. Ducks 8., 8., Def: A sequence is a function from a (usually infinite) subset of the integers (usually N = {0,,, 3,... } or Z + = {,, 3, 4,...
More information1. 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
Introduction to Discrete Mathematics 3450:208 Test 1 1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : The inverse of E : The
More informationChapter 1 : The language of mathematics.
MAT 200, Logic, Language and Proof, Fall 2015 Summary Chapter 1 : The language of mathematics. Definition. A proposition is a sentence which is either true or false. Truth table for the connective or :
More informationWe want to show P (n) is true for all integers
Generalized Induction Proof: Let P (n) be the proposition 1 + 2 + 2 2 + + 2 n = 2 n+1 1. We want to show P (n) is true for all integers n 0. Generalized Induction Example: Use generalized induction to
More informationCS 360, Winter Morphology of Proof: An introduction to rigorous proof techniques
CS 30, Winter 2011 Morphology of Proof: An introduction to rigorous proof techniques 1 Methodology of Proof An example Deep down, all theorems are of the form If A then B, though they may be expressed
More informationDiscrete Mathematics and Probability Theory Fall 2013 Vazirani Note 1
CS 70 Discrete Mathematics and Probability Theory Fall 013 Vazirani Note 1 Induction Induction is a basic, powerful and widely used proof technique. It is one of the most common techniques for analyzing
More informationProof. Theorems. Theorems. Example. Example. Example. Part 4. The Big Bang Theory
Proof Theorems Part 4 The Big Bang Theory Theorems A theorem is a statement we intend to prove using existing known facts (called axioms or lemmas) Used extensively in all mathematical proofs which should
More informationUNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS MATH 122: Logic and Foundations
UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS 2013 MATH 122: Logic and Foundations Instructor and section (check one): K. Mynhardt [A01] CRN 12132 G. MacGillivray [A02] CRN 12133 NAME: V00#: Duration: 3
More informationContradiction MATH Contradiction. Benjamin V.C. Collins, James A. Swenson MATH 2730
MATH 2730 Contradiction Benjamin V.C. Collins James A. Swenson Contrapositive The contrapositive of the statement If A, then B is the statement If not B, then not A. A statement and its contrapositive
More informationInduction and Recursion
. All rights reserved. Authorized only for instructor use in the classroom. No reproduction or further distribution permitted without the prior written consent of McGraw-Hill Education. Induction and Recursion
More informationDiscrete Mathematics for CS Fall 2003 Wagner Lecture 3. Strong induction
CS 70 Discrete Mathematics for CS Fall 2003 Wagner Lecture 3 This lecture covers further variants of induction, including strong induction and the closely related wellordering axiom. We then apply these
More informationPUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.
PUTNAM TRAINING NUMBER THEORY (Last updated: December 11, 2017) Remark. This is a list of exercises on Number Theory. Miguel A. Lerma Exercises 1. Show that the sum of two consecutive primes is never twice
More informationSec$on Summary. Mathematical Proofs Forms of Theorems Trivial & Vacuous Proofs Direct Proofs Indirect Proofs
Section 1.7 Sec$on Summary Mathematical Proofs Forms of Theorems Trivial & Vacuous Proofs Direct Proofs Indirect Proofs Proof of the Contrapositive Proof by Contradiction 2 Proofs of Mathema$cal Statements
More informationNotes on induction proofs and recursive definitions
Notes on induction proofs and recursive definitions James Aspnes December 13, 2010 1 Simple induction Most of the proof techniques we ve talked about so far are only really useful for proving a property
More informationMath 300: Final Exam Practice Solutions
Math 300: Final Exam Practice Solutions 1 Let A be the set of all real numbers which are zeros of polynomials with integer coefficients: A := {α R there exists p(x) = a n x n + + a 1 x + a 0 with all a
More informationAssignment #2 COMP 3200 Spring 2012 Prof. Stucki
Assignment #2 COMP 3200 Spring 2012 Prof. Stucki 1) Construct deterministic finite automata accepting each of the following languages. In (a)-(c) the alphabet is = {0,1}. In (d)-(e) the alphabet is ASCII
More informationNotes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.
Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3
More informationMath 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction
Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationInference and Proofs (1.6 & 1.7)
EECS 203 Spring 2016 Lecture 4 Page 1 of 9 Introductory problem: Inference and Proofs (1.6 & 1.7) As is commonly the case in mathematics, it is often best to start with some definitions. An argument for
More informationNotes on counting. James Aspnes. December 13, 2010
Notes on counting James Aspnes December 13, 2010 1 What counting is Recall that in set theory we formally defined each natural number as the set of all smaller natural numbers, so that n = {0, 1, 2,...,
More informationCMSC 27130: Honors Discrete Mathematics
CMSC 27130: Honors Discrete Mathematics Lectures by Alexander Razborov Notes by Geelon So, Isaac Friend, Warren Mo University of Chicago, Fall 2016 Lecture 1 (Monday, September 26) 1 Mathematical Induction.................................
More informationDiscrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 3
EECS 70 Discrete Mathematics and Probability Theory Spring 014 Anant Sahai Note 3 Induction Induction is an extremely powerful tool in mathematics. It is a way of proving propositions that hold for all
More informationCSE 20 Discrete Math. Winter, January 24 (Day 5) Number Theory. Instructor: Neil Rhodes. Proving Quantified Statements
CSE 20 Discrete Math Proving Quantified Statements Prove universal statement: x D, P(x)Q(x) Exhaustive enumeration Generalizing from the generic particular Winter, 2006 Suppose x is in D and P(x) Therefore
More information4.1 Induction: An informal introduction
Chapter 4 Induction and Recursion 4.1 Induction: An informal introduction This section is intended as a somewhat informal introduction to The Principle of Mathematical Induction (PMI): a theorem that establishes
More informationMATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.
MATH 4 Summer 011 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationMathematical Induction. EECS 203: Discrete Mathematics Lecture 11 Spring
Mathematical Induction EECS 203: Discrete Mathematics Lecture 11 Spring 2016 1 Climbing the Ladder We want to show that n 1 P(n) is true. Think of the positive integers as a ladder. 1, 2, 3, 4, 5, 6,...
More informationMath.3336: Discrete Mathematics. Mathematical Induction
Math.3336: Discrete Mathematics Mathematical Induction Instructor: Dr. Blerina Xhabli Department of Mathematics, University of Houston https://www.math.uh.edu/ blerina Email: blerina@math.uh.edu Fall 2018
More informationMATH10040: Numbers and Functions Homework 1: Solutions
MATH10040: Numbers and Functions Homework 1: Solutions 1. Prove that a Z and if 3 divides into a then 3 divides a. Solution: The statement to be proved is equivalent to the statement: For any a N, if 3
More informationBeautiful Mathematics
Beautiful Mathematics 1. Principle of Mathematical Induction The set of natural numbers is the set of positive integers {1, 2, 3,... } and is denoted by N. The Principle of Mathematical Induction is a
More informationPGSS Discrete Math Solutions to Problem Set #4. Note: signifies the end of a problem, and signifies the end of a proof.
PGSS Discrete Math Solutions to Problem Set #4 Note: signifies the end of a problem, and signifies the end of a proof. 1. Prove that for any k N, there are k consecutive composite numbers. (Hint: (k +
More informationMATH 2200 Final LC Review
MATH 2200 Final LC Review Thomas Goller April 25, 2013 1 Final LC Format The final learning celebration will consist of 12-15 claims to be proven or disproven. It will take place on Wednesday, May 1, from
More informationDirect Proof and Counterexample I:Introduction
Direct Proof and Counterexample I:Introduction Copyright Cengage Learning. All rights reserved. Goal Importance of proof Building up logic thinking and reasoning reading/using definition interpreting :
More informationALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers
ALGEBRA CHRISTIAN REMLING 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers by Z = {..., 2, 1, 0, 1,...}. Given a, b Z, we write a b if b = ac for some
More informationDirect Proof and Counterexample I:Introduction. Copyright Cengage Learning. All rights reserved.
Direct Proof and Counterexample I:Introduction Copyright Cengage Learning. All rights reserved. Goal Importance of proof Building up logic thinking and reasoning reading/using definition interpreting statement:
More information