Some Review Problems for Exam 1: Solutions
|
|
- Donna Gilbert
- 5 years ago
- Views:
Transcription
1 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 y P (x, y) Q(x, y). The basic proof techniques: Direct proof: Assume p and show q. More to the point, assuming P (x) is true, what information does that give us about x? Use that information to show that Q(x) must also be true. Contrapositive proof: Assume Q(x) is false, and use that information to show that P (x) must also be false. This technique is based on the logical equivalence p q q p. Proof by contradiction: Assume P (x) is true but Q(x) is false. Given this, derive a contradiction such as something is both even and odd, or both positive and negative, or both rational and irrational, etc. This technique is based on the logical equivalence p q (p q) F. Some more advanced ideas: In a proof by cases one breaks up the hypothesis into pieces and shows each piece implies the conclusion. Such cases might be (even or odd), or (negative or nonnegative) or (zero or nonzero) or (remainder of 0, 1, or 2 when divisible by 3) or lots of other things. One special form of a proof by cases is the form p (q r), where it is common to use the cases q and q. The example I gave of this in class was xy = 0 (x = 0 y = 0). The proof went like this: If x = 0, the conclusion is trivially true. If x 0 then we can divide xy = 0 by x to get y = 0. Another idea was to modify the universe of discourse using the relation x [(P (x) Q(x)) R(x)] (x with P (x) true) [Q(x) R(x)] This can be useful for proofs by contrapositive if the contrapositive of the second statement is easier than the contrapositive of the first. In Homework 4, the problem A rational number added to an irrational number is irrational. has this form: x y [(x is rational y is irrational x + y is irrational]. This is easiest done by rewriting it rational x y (y is irrational x + y is irrational), and taking the contrapositive. Some last ideas: To prove x P (x) one only needs an example of an x. To prove x P (x) is NOT true one only needs an x for which P (x) is false. Such values of x are called counterexamples. On to the review solutions.
2 1. Consider the proposition (p q) r (p r) (q r). (a) Use a truth table to show that the proposition is true. p q r p q p r q r (p q) r (p r) (q r) T T T T T T T T T T F T F F F F T F T F T T T T T F F F F T T T F T T F T T T T F T F F T F T T F F T F T T T T F F F F T T T T Since the last two columns are the same, the left and right propositions are logically equivalent, making the compound proposition true. (b) Show that the proposition is true some other way. Using logical equivalences, (p q) r (p q) r p q r p q r r ( p r) ( q r) (p r) (q r). (c) Find a statement logically equivalent to [(p r) (q r)] which has no implications. [(p r) (q r)] [( p r) ( q r)] p r q r p q r 2. Carefully prove each of the following statements. (a) If x + y < 100 then x < 40 or y < 60. Use a proof by contraposition. The proof would go like this. Suppose it is false that (x < 40 or y < 60.) This means that x 40 and y 60. Thus, x + y = 100, One could also do this by cases. The cases would be (1) x < 40 and (2) x 40. In the first case, the conclusion is trivially true. In the second case, multiplying by -1 gives x 40. Now taking x + y < 100, we rearrange: y < 100 x = 60. That is, y < 60, again establishing the conclusion. Page 2
3 (b) The product of two odd numbers is odd. This should be done by a direct proof. Let m and n be odd. Then m = 2k+1 and n = 2l+1 for some integers k and l. Now mn = (2k+1)(2l+1) = 4kl + 2k + 2l + 1 = 2(2kl + k + l) + 1, so mn is odd. (c) The converse of (b). That is, prove that if mn is odd, then m and n are both odd. We prove the contrapositive instead, which states If m is even or n is even then mn is even. Note that the negation turned the original (and) to an (or) here. We proceed by cases. If m is even, then m = 2k for some integer k, giving mn = 2kn = 2(kn), so mn is even. Alternatively, if n is even, then n = 2l for some integer l, so mn = 2ml = 2(ml), again showing mn is even. 3. Write out quantified versions for each of the propositions in question 2. (a) If x + y < 100 then x < 40 or y < 60. x y [x + y < 100 (x < 40 y < 60) ] (b) The product of two odd numbers is odd. m m [ (m is odd n is odd ) mn is odd ] (c) The converse of (b). m m [ mn is odd (m is odd n is odd )] 4. Write quantified versions for each of the following propositions. (a) Every positive integer is the sum of four squares. n(n > 0 a b c d (n = a 2 + b 2 + c 2 + d 2 )) Page 3
4 (b) Not every positive integer is the sum of two squares. Write your answer in a form that does not start with. That is, write the answer in a form that does not negate a quantifier. We can start with a symbol and then get rid of it: n(n > 0 a b (n = a 2 + b 2 )) n( (n > 0 a b (n = a 2 + b 2 ))) n(n > 0 a b (n a 2 + b 2 )) (c) Every positive integer which is one more than a multiple of 4 is the sum of two squares. What does one more than a multiple of 4 mean? It means that for some integer k, n = 4k +1. This means there is another existential quantifier involved. We have: n((n > 0 k (n = 4k + 1)) a b (n = a 2 + b 2 )) 5. (a) Express the negation of problem 4c without using the negation symbol. n((n > 0 k (n = 4k + 1)) a b (n = a 2 + b 2 )) n ((n > 0 k (n = 4k + 1)) a b (n = a 2 + b 2 )) n((n > 0 k (n = 4k + 1)) a b (n a 2 + b 2 )) (b) Is the proposition in 5a or 4c true? (One of them is true, one is false, which is the true one? Why?) Certainly either a proposition or its negation is true, so it is just a matter of finding which one. In general, one should be very skeptical of any for all claim, so our default guess should be that 5a is right and 4c is wrong. This is kind of hard because there are no really small examples (1 = , 5 = , 9 = , etc). The smallest is n = 21. We see that n = so n is one more than a multiple of 4. Can we write n = a 2 + b 2 for integer a and b? The demonstration that we can t would be a proof by exhaustion. If a or b is large ( 5) then a 2 + b 2 25 > 21. Looking at squares, Page 4
5 the possible values of a 2 or b 2 to check are 0, 1, 4, 9, 16. We seek two of these that add to 21. We see that there are no such combinations (at least one of them must be 16 or the sum would be at most 18, but = 25, = 32 so no combinations work.) 6. Prove that for all integers n, n 2 + 3n is even. Use a proof by cases. The two cases we should use are n even and n odd. If n is even, then n = 2k for some integer k. We have n 2 +3n = (2k) 2 +3(2k) = 4k 2 +6k = 2(2k 2 +3k) so n is even in this case. If n is odd, then n = 2l + 1 for some integer l. Here, n 2 + 3n = (2l + 1) 2 + 3(2l + 1) = 4l 2 + 4l l + 3 = 4l l + 4 = 2(2l 2 + 5l + 2), and again n is even. 7. There are 8 different propositions of the form (quantifier of x)(quantifier of y)(quantifier of z)(x 2 + y 2 > z). An example of one of them is x y z (x 2 + y 2 > z). Write out all 8 possibilities and determine (with proof) which is true and which is false. The 8 cases are: x y z (x 2 + y 2 > z) : False, since P (1, 1, 3) is false. (1) x y z (x 2 + y 2 > z) : True, since P (x, y, x 2 + y 2 1) is always true. (2) x y z (x 2 + y 2 > z) : False, since P (x, y, x 2 + y 2 + 1) is always false. (3) x y z (x 2 + y 2 > z) : True, since part b is true. (4) x y z (x 2 + y 2 > z) : False, since P (x, y, x 2 + y 2 + 1) is always false. (5) x y z (x 2 + y 2 > z) : True, since part b is true. (6) x y z (x 2 + y 2 > z) : False, since P (x, y, x 2 + y 2 + 1) is always false. (7) x y z (x 2 + y 2 > z) : True, since part b is true. (8) Some notes on this: for (4), (6) and (8) I am using the fact that a Q(a) a Q(a) Also, (7) is the most extreme of numbers (1), (3), (5), (7). That is, once we know (7) is false, we get the other three to be false since a Q(a) a Q(a). As we mentioned in class, each of (1-8) above could be rearranged in six different ways, slightly altering the meaning (order of quantification counts.) In particular, in (5), the alternate order z x y (x 2 + y 2 > z) makes the statement is true. In this case, if z < 0, we could take x = 0, while if z > 0, then we could use x = z + 1. In this case, x 2 + y 2 = z + 2 z y 2 z + 1 > z. Page 5
6 8. Express the following in terms of propositional functions and quantifiers. (a) The cube of an odd number is odd. n ( n is odd n 3 is odd ). (b) Every odd number is the difference of two cubes. n (n is odd m k (n = m 3 k 3 ) ). (c) Not every even number is the difference of two cubes. Don t leave your answer in the form (quantifier) We start with a negation and them manipulate it from there: n (n is even m k (n = m 3 k 3 ) ) n (n is even m k (n m 3 k 3 ) 9. What are the truth values for the propositions in problem 8? Problem 8 (a) is a standard direct proof: Suppose n is odd. Then n = 2k + 1 for some integer k. Now n 3 = (2k + 1) 3 = 8k k 2 + 6k + 1 = 2(4k 3 + 6k 2 + 3k) + 1 so n 3 is odd. The propositions in 8(b) and 8(c) are both hard. Proposition 8(b) is false, 8(c) is true. I will let you check (if you can) that 3 is not the difference of two cubes (would would show 8(b) false) and 2 is not the difference of two cubes (showing 8(c) is true). 10. If x and y are positive, then x + y > x 2 + y 2. (a) Quantify this statement. x y [(x > 0 y > 0) x + y > x 2 + y 2 ] Page 6
7 (b) Give a careful proof of this statement. An easy (?) example of forward-backward reasoning. Wrong would be: If x+y > x 2 + y 2 then squaring gives (x+y) 2 > x 2 +y 2 or x 2 +2xy +y 2 > x 2 + y 2. Subtracting gives 2xy > 0, which is true, since x and y are positive. But armed with this, we can read it backward to get a REAL proof: Since x and y are both positive, 2xy > 0. Adding x 2 + y 2 to both sides gives x 2 + 2xy + y 2 > x 2 + y 2, or (x + y) 2 > x 2 + y 2. Since x + y is positive, we may extract a square root to get x + y > x 2 + y 2. (c) Suppose we drop the condition that x and y be positive, but add the absolute value: Show that this proposition is false. x + y > x 2 + y 2. Easiest is an example where y = x, like x = 1, y = 1. Then x + y = 0 but x 2 + y 2 = 2 > 0. (d) What if we are more careful and write x + y > x 2 + y 2. Is this now true? In fact, this is false, because of a pesky subtlety: If x = 0, y = 1, then x + y = 1 and x 2 + y 2 = 1. That is, we get 1 = 1 not 1 > 1. This will always happen x = 0 or y = Consider the statement: The sum of 2 and a rational number is irrational, quantified as x ( x is rational x + 2 is irrational ) (a) How should a direct proof of this statement start and end? That is, what do you assume, what do you try to prove? The start should be Let x be rational. or Suppose that x is rational. That is, we assume the hypothesis. We would try to prove that x + 2 is irrational. That is, we would try to prove the conclusion. (b) How should an indirect proof by contraposition start and end? The contrapositive is the statement If x + 2 is rational then x is irrational. In a contrapositive proof, you tell the reader your proof is a Page 7
8 contrapositive proof. The start might be something like this: Suppose, by way of contraposition, that x + 2 is rational. The goal of the proof would be to show x is irrational. (c) How should a proof by contradiction start? What should you be trying to show (in general terms)? The proof of p q by contradiction uses the logical equivalence p q (p q) F, where typically F is a proposition of the form r r. In general, you assume the hypothesis is true, the conclusion is false, and try to get some statement to be both true and false. For this problem, the start should be Let x be rational and suppose that x + 2 is also rational. As stated, we want to conclude that something is both true and false. (d) Give a correct proof of the statement. It turns out that the proof by contradiction is easiest. Suppose that x and x + 2 are both rational. Then there are integers m, n, k, l with n 0 and l 0 and x = m n and x + 2 = k l. Subtracting gives 2 = (x + 2) x = k l m n kn ml =, so 2 is rational, contradicting the fact that 2 is irrational. nl 12. Find three sets A, B, C with the properties that A = B = C, A B = A C = B C > 0 but A B C = 0. This is clearly impossible! If A B > 0 then A B C A B > 0. I meant for the problem to be A = B = C, A B = A C = B C > 0 but A B C = 0. The simplest solution is probably A = {1, 2}, B = {1, 3}, C = {2, 3}. In this case, A = B = C = 2, A B = A C = B C = 1 and A B C = Prove that for sets A, B, C, if A B = A C, then B = C. We assume that A B = A C and try to show that B = C. We do this by trying to show both B C and C B. For B C, suppose that x B. We now proceed by cases. If x A, then x / A B so x / A C. Since x A, the only way for x / A C to be true is if x C. Page 8
9 If x / A then x A B so x A C. Since x / A, we get x C again. That is, in both cases, x B x C, as desired. This is one of those cases where we can appeal to symmetry to say that C B. That is, we could copy the proof above, but start with x C, and try to show that x B (with exactly the same two cases.) 14. What can be said about sets A and B in each of the following situations? In each case, prove your answer. (a) A B = A? A tricky solution would be to use problem 1 above and note that A = A. This means we have A B = A and by problem 1, we must have B =. Alternatively, suppose that x B. If x A then x / A B but x A, meaning that A B A. If x / A then x A B but x / A and again A B A. We have looked at both cases x A and x / A and each contradicted the hypothesis. This means that x B must be wrong, but if there is no x in B then B =. (b) A B =? Again, there is a tricky solution: A A = so we are told A B = A A, and by problem 1, this means B = A. Alternatively, suppose that x A. If x / B then x A B. But we are told A B = so this can t happen. That is, if x A, then x B as well. By symmetry, if x B then x A, meaning that A = B. Page 9
MATH 271 Summer 2016 Practice problem solutions Week 1
Part I MATH 271 Summer 2016 Practice problem solutions Week 1 For each of the following statements, determine whether the statement is true or false. Prove the true statements. For the false statement,
More informationProof by Contradiction
Proof by Contradiction MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Proof by Contradiction Fall 2014 1 / 12 Outline 1 Proving Statements with Contradiction 2 Proving
More informationDay 6. Tuesday May 29, We continue our look at basic proofs. We will do a few examples of different methods of proving.
Day 6 Tuesday May 9, 01 1 Basic Proofs We continue our look at basic proofs. We will do a few examples of different methods of proving. 1.1 Proof Techniques Recall that so far in class we have made two
More informationIntroducing Proof 1. hsn.uk.net. Contents
Contents 1 1 Introduction 1 What is proof? 1 Statements, Definitions and Euler Diagrams 1 Statements 1 Definitions Our first proof Euler diagrams 4 3 Logical Connectives 5 Negation 6 Conjunction 7 Disjunction
More informationMathematics 220 Midterm Practice problems from old exams Page 1 of 8
Mathematics 220 Midterm Practice problems from old exams Page 1 of 8 1. (a) Write the converse, contrapositive and negation of the following statement: For every integer n, if n is divisible by 3 then
More informationMCS-236: Graph Theory Handout #A4 San Skulrattanakulchai Gustavus Adolphus College Sep 15, Methods of Proof
MCS-36: Graph Theory Handout #A4 San Skulrattanakulchai Gustavus Adolphus College Sep 15, 010 Methods of Proof Consider a set of mathematical objects having a certain number of operations and relations
More informationFoundations of Discrete Mathematics
Foundations of Discrete Mathematics Chapter 0 By Dr. Dalia M. Gil, Ph.D. Statement Statement is an ordinary English statement of fact. It has a subject, a verb, and a predicate. It can be assigned a true
More informationMath 10850, fall 2017, University of Notre Dame
Math 10850, fall 2017, University of Notre Dame Notes on first exam September 22, 2017 The key facts The first midterm will be on Thursday, September 28, 6.15pm-7.45pm in Hayes-Healy 127. What you need
More information3 The language of proof
3 The language of proof After working through this section, you should be able to: (a) understand what is asserted by various types of mathematical statements, in particular implications and equivalences;
More informationBasic Logic and Proof Techniques
Chapter 3 Basic Logic and Proof Techniques Now that we have introduced a number of mathematical objects to study and have a few proof techniques at our disposal, we pause to look a little more closely
More information1. Propositions: Contrapositives and Converses
Preliminaries 1 1. Propositions: Contrapositives and Converses Given two propositions P and Q, the statement If P, then Q is interpreted as the statement that if the proposition P is true, then the statement
More informationMath 38: Graph Theory Spring 2004 Dartmouth College. On Writing Proofs. 1 Introduction. 2 Finding A Solution
Math 38: Graph Theory Spring 2004 Dartmouth College 1 Introduction On Writing Proofs What constitutes a well-written proof? A simple but rather vague answer is that a well-written proof is both clear and
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 informationThe following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof
Ch. 1.6 Introduction to Proofs The following techniques for methods of proofs are discussed in our text - Vacuous proof - Trivial proof - Direct proof - Indirect proof (our book calls this by contraposition)
More informationSection 2.1: Introduction to the Logic of Quantified Statements
Section 2.1: Introduction to the Logic of Quantified Statements In the previous chapter, we studied a branch of logic called propositional logic or propositional calculus. Loosely speaking, propositional
More informationBefore you get started, make sure you ve read Chapter 1, which sets the tone for the work we will begin doing here.
Chapter 2 Mathematics and Logic Before you get started, make sure you ve read Chapter 1, which sets the tone for the work we will begin doing here. 2.1 A Taste of Number Theory In this section, we will
More informationMATH 135 Fall 2006 Proofs, Part IV
MATH 135 Fall 006 s, Part IV We ve spent a couple of days looking at one particular technique of proof: induction. Let s look at a few more. Direct Here we start with what we re given and proceed in a
More informationFor all For every For each For any There exists at least one There exists There is Some
Section 1.3 Predicates and Quantifiers Assume universe of discourse is all the people who are participating in this course. Also let us assume that we know each person in the course. Consider the following
More information9/5/17. Fermat s last theorem. CS 220: Discrete Structures and their Applications. Proofs sections in zybooks. Proofs.
Fermat s last theorem CS 220: Discrete Structures and their Applications Theorem: For every integer n > 2 there is no solution to the equation a n + b n = c n where a,b, and c are positive integers Proofs
More informationChapter 1 Elementary Logic
2017-2018 Chapter 1 Elementary Logic The study of logic is the study of the principles and methods used in distinguishing valid arguments from those that are not valid. The aim of this chapter is to help
More informationa. See the textbook for examples of proving logical equivalence using truth tables. b. There is a real number x for which f (x) < 0. (x 1) 2 > 0.
For some problems, several sample proofs are given here. Problem 1. a. See the textbook for examples of proving logical equivalence using truth tables. b. There is a real number x for which f (x) < 0.
More informationHomework 3: Solutions
Homework 3: Solutions ECS 20 (Fall 2014) Patrice Koehl koehl@cs.ucdavis.edu October 16, 2014 Exercise 1 Show that this implication is a tautology, by using a table of truth: [(p q) (p r) (q r)] r. p q
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 informationQuantifiers. P. Danziger
- 2 Quantifiers P. Danziger 1 Elementary Quantifiers (2.1) We wish to be able to use variables, such as x or n in logical statements. We do this by using the two quantifiers: 1. - There Exists 2. - For
More information2 Arithmetic. 2.1 Greatest common divisors. This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}.
2 Arithmetic This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}. (See [Houston, Chapters 27 & 28]) 2.1 Greatest common divisors Definition 2.16. If a, b are integers, we say
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 information1 Direct Proofs Technique Outlines Example Implication Proofs Technique Outlines Examples...
CSE 311: Foundations of Computing I Proof Techniques What Is This? Each of the following is as close as we can get to giving you a template (and a completely worked out example) for every proof technique
More information2-4: The Use of Quantifiers
2-4: The Use of Quantifiers The number x + 2 is an even integer is not a statement. When x is replaced by 1, 3 or 5 the resulting statement is false. However, when x is replaced by 2, 4 or 6 the resulting
More informationWriting proofs for MATH 61CM, 61DM Week 1: basic logic, proof by contradiction, proof by induction
Writing proofs for MATH 61CM, 61DM Week 1: basic logic, proof by contradiction, proof by induction written by Sarah Peluse, revised by Evangelie Zachos and Lisa Sauermann September 27, 2016 1 Introduction
More informationMath 109 HW 9 Solutions
Math 109 HW 9 Solutions Problems IV 18. Solve the linear diophantine equation 6m + 10n + 15p = 1 Solution: Let y = 10n + 15p. Since (10, 15) is 5, we must have that y = 5x for some integer x, and (as we
More informationSection 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 informationFirst order Logic ( Predicate Logic) and Methods of Proof
First order Logic ( Predicate Logic) and Methods of Proof 1 Outline Introduction Terminology: Propositional functions; arguments; arity; universe of discourse Quantifiers Definition; using, mixing, negating
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 informationMathematical Writing and Methods of Proof
Mathematical Writing and Methods of Proof January 6, 2015 The bulk of the work for this course will consist of homework problems to be handed in for grading. I cannot emphasize enough that I view homework
More informationMath 300 Introduction to Mathematical Reasoning Autumn 2017 Proof Templates 1
Math 300 Introduction to Mathematical Reasoning Autumn 2017 Proof Templates 1 In its most basic form, a mathematical proof is just a sequence of mathematical statements, connected to each other by strict
More informationLogic Overview, I. and T T T T F F F T F F F F
Logic Overview, I DEFINITIONS A statement (proposition) is a declarative sentence that can be assigned a truth value T or F, but not both. Statements are denoted by letters p, q, r, s,... The 5 basic logical
More informationChapter 2: The Logic of Quantified Statements. January 22, 2010
Chapter 2: The Logic of Quantified Statements January 22, 2010 Outline 1 2.1- Introduction to Predicates and Quantified Statements I 2 2.2 - Introduction to Predicates and Quantified Statements II 3 2.3
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 information3.6. Disproving Quantified Statements Disproving Existential Statements
36 Dproving Quantified Statements 361 Dproving Extential Statements A statement of the form x D, P( if P ( false for all x D false if and only To dprove th kind of statement, we need to show the for all
More informationMat 243 Exam 1 Review
OBJECTIVES (Review problems: on next page) 1.1 Distinguish between propositions and non-propositions. Know the truth tables (i.e., the definitions) of the logical operators,,,, and Write truth tables for
More informationREVIEW PROBLEMS FOR SECOND 3200 MIDTERM
REVIEW PROBLEMS FOR SECOND 3200 MIDTERM PETE L. CLARK 1)a) State Euclid s Lemma (the one involving prime numbers and divisibility). b) Use Euclid s Lemma to show that 3 1/5 and 5 1/3 are both irrational.
More information5. Use a truth table to determine whether the two statements are equivalent. Let t be a tautology and c be a contradiction.
Statements Compounds and Truth Tables. Statements, Negations, Compounds, Conjunctions, Disjunctions, Truth Tables, Logical Equivalence, De Morgan s Law, Tautology, Contradictions, Proofs with Logical Equivalent
More informationDay 5. Friday May 25, 2012
Day 5 Friday May 5, 01 1 Quantifiers So far, we have done math with the expectation that atoms are always either true or false. In reality though, we would like to talk about atoms like x > Whose truth
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 informationLecture 3. Logic Predicates and Quantified Statements Statements with Multiple Quantifiers. Introduction to Proofs. Reading (Epp s textbook)
Lecture 3 Logic Predicates and Quantified Statements Statements with Multiple Quantifiers Reading (Epp s textbook) 3.1-3.3 Introduction to Proofs Reading (Epp s textbook) 4.1-4.2 1 Propositional Functions
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 informationDefinitions Chapter 1 Proof Technique (Pg.1): Proof (Pg.2): Statement (Pg.2): Conditional Statement/Implication (Pg3.): Hypothesis(Pg.
Definitions Chapter 1 Proof Technique (Pg.1): Any method for proving that the statement A implies B is true. Proof (Pg.2): A convincing argument expressed in the language of mathematics that a statement
More informationChapter 1 Review of Equations and Inequalities
Chapter 1 Review of Equations and Inequalities Part I Review of Basic Equations Recall that an equation is an expression with an equal sign in the middle. Also recall that, if a question asks you to solve
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 information(4) Using results you have studied, show that if x, y are real numbers,
Solutions to Homework 4, Math 310 (1) Give a direct proof to show that if a, b are integers which are squares of integers, then ab is the square of an integer. Proof. We show that if a, b are integers
More informationMA103 STATEMENTS, PROOF, LOGIC
MA103 STATEMENTS, PROOF, LOGIC Abstract Mathematics is about making precise mathematical statements and establishing, by proof or disproof, whether these statements are true or false. We start by looking
More informationProof worksheet solutions
Proof worksheet solutions These are brief, sketched solutions. Comments in blue can be ignored, but they provide further explanation and outline common misconceptions Question 1 (a) x 2 + 4x +12 = (x +
More information1. Given the public RSA encryption key (e, n) = (5, 35), find the corresponding decryption key (d, n).
MATH 135: Randomized Exam Practice Problems These are the warm-up exercises and recommended problems taken from all the extra practice sets presented in random order. The challenge problems have not been
More information3. The Logic of Quantified Statements Summary. Aaron Tan August 2017
3. The Logic of Quantified Statements Summary Aaron Tan 28 31 August 2017 1 3. The Logic of Quantified Statements 3.1 Predicates and Quantified Statements I Predicate; domain; truth set Universal quantifier,
More informationSection 1.3. Let I be a set. When I is used in the following context,
Section 1.3. Let I be a set. When I is used in the following context, {B i } i I, we call I the index set. The set {B i } i I is the family of sets of the form B i where i I. One could also use set builder
More informationBasics of Proofs. 1 The Basics. 2 Proof Strategies. 2.1 Understand What s Going On
Basics of Proofs The Putnam is a proof based exam and will expect you to write proofs in your solutions Similarly, Math 96 will also require you to write proofs in your homework solutions If you ve seen
More informationWriting Mathematical Proofs
Writing Mathematical Proofs Dr. Steffi Zegowitz The main resources for this course are the two following books: Mathematical Proofs by Chartrand, Polimeni, and Zhang How to Think Like a Mathematician by
More informationMATH10040: Chapter 0 Mathematics, Logic and Reasoning
MATH10040: Chapter 0 Mathematics, Logic and Reasoning 1. What is Mathematics? There is no definitive answer to this question. 1 Indeed, the answer given by a 21st-century mathematician would differ greatly
More informationUndergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics. Introductory Notes in Discrete Mathematics Solution Guide
Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics Introductory Notes in Discrete Mathematics Solution Guide Marcel B. Finan c All Rights Reserved 2015 Edition Contents
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 informationProofs. Joe Patten August 10, 2018
Proofs Joe Patten August 10, 2018 1 Statements and Open Sentences 1.1 Statements A statement is a declarative sentence or assertion that is either true or false. They are often labelled with a capital
More information(1) Which of the following are propositions? If it is a proposition, determine its truth value: A propositional function, but not a proposition.
Math 231 Exam Practice Problem Solutions WARNING: This is not a sample test. Problems on the exams may or may not be similar to these problems. These problems are just intended to focus your study of the
More informationTHE LOGIC OF QUANTIFIED STATEMENTS. Predicates and Quantified Statements I. Predicates and Quantified Statements I CHAPTER 3 SECTION 3.
CHAPTER 3 THE LOGIC OF QUANTIFIED STATEMENTS SECTION 3.1 Predicates and Quantified Statements I Copyright Cengage Learning. All rights reserved. Copyright Cengage Learning. All rights reserved. Predicates
More informationMath Real Analysis
1 / 28 Math 370 - Real Analysis G.Pugh Sep 3 2013 Real Analysis 2 / 28 3 / 28 What is Real Analysis? Wikipedia: Real analysis... has its beginnings in the rigorous formulation of calculus. It is a branch
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 informationSTRATEGIES OF PROBLEM SOLVING
STRATEGIES OF PROBLEM SOLVING Second Edition Maria Nogin Department of Mathematics College of Science and Mathematics California State University, Fresno 2014 2 Chapter 1 Introduction Solving mathematical
More informationDiscrete Mathematics and Probability Theory Fall 2016 Seshia and Walrand Note 2
CS 70 Discrete Mathematics and Probability Theory Fall 016 Seshia and Walrand Note 1 Proofs In science, evidence is accumulated through experiments to assert the validity of a statement. Mathematics, in
More informationCh 3.2: Direct proofs
Math 299 Lectures 8 and 9: Chapter 3 0. Ch3.1 A trivial proof and a vacuous proof (Reading assignment) 1. Ch3.2 Direct proofs 2. Ch3.3 Proof by contrapositive 3. Ch3.4 Proof by cases 4. Ch3.5 Proof evaluations
More information8. Given a rational number r, prove that there exist coprime integers p and q, with q 0, so that r = p q. . For all n N, f n = an b n 2
MATH 135: Randomized Exam Practice Problems These are the warm-up exercises and recommended problems taken from all the extra practice sets presented in random order. The challenge problems have not been
More informationStrategies for Proofs
G. Carl Evans University of Illinois Summer 2013 Today Practice with proofs Become familiar with various strategies for proofs Review: proving universal statements Claim: For any integer a, if a is odd,
More informationRecitation 4: Quantifiers and basic proofs
Math 299 Recitation 4: Quantifiers and basic proofs 1. Quantifiers in sentences are one of the linguistic constructs that are hard for computers to handle in general. Here is a nice pair of example dialogues:
More informationPROBLEM SET 3: PROOF TECHNIQUES
PROBLEM SET 3: PROOF TECHNIQUES CS 198-087: INTRODUCTION TO MATHEMATICAL THINKING UC BERKELEY EECS FALL 2018 This homework is due on Monday, September 24th, at 6:30PM, on Gradescope. As usual, this homework
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 informationContribution of Problems
Exam topics 1. Basic structures: sets, lists, functions (a) Sets { }: write all elements, or define by condition (b) Set operations: A B, A B, A\B, A c (c) Lists ( ): Cartesian product A B (d) Functions
More informationHomework 4 Solutions
Homework 4 Solutions ECS 20 (Fall 14) Patrice Koehl koehl@cs.ucdavis.edu November 1, 2017 Exercise 1 Let n be an integer. Give a direct proof, an indirect proof, and a proof by contradiction of the statement
More informationMATH 2112/CSCI 2112, Discrete Structures I Winter 2007 Toby Kenney Homework Sheet 5 Hints & Model Solutions
MATH 11/CSCI 11, Discrete Structures I Winter 007 Toby Kenney Homework Sheet 5 Hints & Model Solutions Sheet 4 5 Define the repeat of a positive integer as the number obtained by writing it twice in a
More informationCarmen s Core Concepts (Math 135)
Carmen s Core Concepts (Math 135) Carmen Bruni University of Waterloo Week 3 1 Translating From Mathematics to English 2 Contrapositive 3 Example of Contrapositive 4 Types of Implications 5 Contradiction
More informationProof Techniques (Review of Math 271)
Chapter 2 Proof Techniques (Review of Math 271) 2.1 Overview This chapter reviews proof techniques that were probably introduced in Math 271 and that may also have been used in a different way in Phil
More informationMath1a Set 1 Solutions
Math1a Set 1 Solutions October 15, 2018 Problem 1. (a) For all x, y, z Z we have (i) x x since x x = 0 is a multiple of 7. (ii) If x y then there is a k Z such that x y = 7k. So, y x = (x y) = 7k is also
More informationDivisibility = 16, = 9, = 2, = 5. (Negative!)
Divisibility 1-17-2018 You probably know that division can be defined in terms of multiplication. If m and n are integers, m divides n if n = mk for some integer k. In this section, I ll look at properties
More informationLECTURE 1. Logic and Proofs
LECTURE 1 Logic and Proofs The primary purpose of this course is to introduce you, most of whom are mathematics majors, to the most fundamental skills of a mathematician; the ability to read, write, and
More information2k n. k=0. 3x 2 7 (mod 11) 5 4x 1 (mod 9) 2 r r +1 = r (2 r )
MATH 135: Randomized Exam Practice Problems These are the warm-up exercises and recommended problems take from the extra practice sets presented in random order. The challenge problems have not been included.
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 informationChapter III. Basic Proof Techniques. Proving the obvious has never been easy. Marty Rubin
Chapter III Basic Proof Techniques Proving the obvious has never been easy. Marty Rubin The last two chapters were an introduction to the language of mathematics. Knowing the definitions and concepts of
More informationOne-to-one functions and onto functions
MA 3362 Lecture 7 - One-to-one and Onto Wednesday, October 22, 2008. Objectives: Formalize definitions of one-to-one and onto One-to-one functions and onto functions At the level of set theory, there are
More informationMath 016 Lessons Wimayra LUY
Math 016 Lessons Wimayra LUY wluy@ccp.edu MATH 016 Lessons LESSON 1 Natural Numbers The set of natural numbers is given by N = {0, 1, 2, 3, 4...}. Natural numbers are used for two main reasons: 1. counting,
More informationTools for reasoning: Logic. Ch. 1: Introduction to Propositional Logic Truth values, truth tables Boolean logic: Implications:
Tools for reasoning: Logic Ch. 1: Introduction to Propositional Logic Truth values, truth tables Boolean logic: Implications: 1 Why study propositional logic? A formal mathematical language for precise
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 information1.4 Mathematical Equivalence
1.4 Mathematical Equivalence Introduction a motivating example sentences that always have the same truth values can be used interchangeably the implied domain of a sentence In this section, the idea of
More informationSolutions Quiz 9 Nov. 8, Prove: If a, b, m are integers such that 2a + 3b 12m + 1, then a 3m + 1 or b 2m + 1.
Solutions Quiz 9 Nov. 8, 2010 1. Prove: If a, b, m are integers such that 2a + 3b 12m + 1, then a 3m + 1 or b 2m + 1. Answer. We prove the contrapositive. Suppose a, b, m are integers such that a < 3m
More informationA Guide to Proof-Writing
A Guide to Proof-Writing 437 A Guide to Proof-Writing by Ron Morash, University of Michigan Dearborn Toward the end of Section 1.5, the text states that there is no algorithm for proving theorems.... Such
More informationECOM Discrete Mathematics
ECOM 2311- Discrete Mathematics Chapter # 1 : The Foundations: Logic and Proofs Fall, 2013/2014 ECOM 2311- Discrete Mathematics - Ch.1 Dr. Musbah Shaat 1 / 85 Outline 1 Propositional Logic 2 Propositional
More informationCSE 20 DISCRETE MATH. Fall
CSE 20 DISCRETE MATH Fall 2017 http://cseweb.ucsd.edu/classes/fa17/cse20-ab/ Today's learning goals Distinguish between a theorem, an axiom, lemma, a corollary, and a conjecture. Recognize direct proofs
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 informationLogic, Sets, and Proofs
Logic, Sets, and Proofs David A. Cox and Catherine C. McGeoch Amherst College 1 Logic Logical Operators. A logical statement is a mathematical statement that can be assigned a value either true or false.
More informationConnectives Name Symbol OR Disjunction And Conjunction If then Implication/ conditional If and only if Bi-implication / biconditional
Class XI Mathematics Ch. 14 Mathematical Reasoning 1. Statement: A sentence which is either TRUE or FALSE but not both is known as a statement. eg. i) 2 + 2 = 4 ( it is a statement which is true) ii) 2
More information1.1 Language and Logic
c Oksana Shatalov, Spring 2018 1 1.1 Language and Logic Mathematical Statements DEFINITION 1. A proposition is any declarative sentence (i.e. it has both a subject and a verb) that is either true or false,
More informationManual of Logical Style
Manual of Logical Style Dr. Holmes January 9, 2015 Contents 1 Introduction 2 2 Conjunction 3 2.1 Proving a conjunction...................... 3 2.2 Using a conjunction........................ 3 3 Implication
More informationProof by contrapositive, contradiction
Proof by contrapositive, contradiction Margaret M. Fleck 9 September 2009 This lecture covers proof by contradiction and proof by contrapositive (section 1.6 of Rosen). 1 Announcements The first quiz will
More informationComputer Science Section 1.6
Computer Science 180 Solutions for Recommended Exercises Section 1.6. Let m and n be any two even integers (possibly the same). Then, there exist integers k and l such that m = k and n = l. Consequently,
More information