Proving Things. 1. Suppose that all ravens are black. Which of the following statements are then true?

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

Midterm: Sample 3. ECS20 (Fall 2017) 1) Using truth tables, establish for each of the two propositions below if it is a tautology, a contradiction

MATH CSE20 Homework 5 Due Monday November 4

447 HOMEWORK SET 1 IAN FRANCIS

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

Homework 2: Solutions

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

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

Chapter 7 Algebra 2 Honors 1 Polynomials

MATH 215 DISCRETE MATHEMATICS INSTRUCTOR: P. WENG

Homework 3 Solutions, Math 55

MT181 Number Systems: Sheet 1. Attempt all numbered questions. To be handed in during the MT181 lecture on Thursday 11th October.

Continuity. Chapter 4

At least one of us is a knave. What are A and B?

Continuity. Chapter 4

4.1 Real-valued functions of a real variable

(4) Using results you have studied, show that if x, y are real numbers,

HOMEWORK ASSIGNMENT 6

In Exercises 1 12, list the all of the elements of the given set. 2. The set of all positive integers whose square roots are less than or equal to 3

In a previous lesson, we solved certain quadratic equations by taking the square root of both sides of the equation.

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

MATH10040: Numbers and Functions Homework 1: Solutions

Some Review Problems for Exam 1: Solutions

Chapter 8. Exploring Polynomial Functions. Jennifer Huss

PreCalculus: Semester 1 Final Exam Review

1 FUNCTIONS _ 5 _ 1.0 RELATIONS

Solutions to Homework Set 1

MATH 215 Discrete Mathematics Worksheets. Which of these are propositions? What are the truth values of those that are propositions?

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31

and problem sheet 1

MATH 114 Fall 2004 Solutions to practice problems for Final Exam

Sets, Functions and Relations

Introduction to Proofs

SCHOOL OF BUSINESS, ECONOMICS AND MANAGEMENT BUSINESS MATHEMATICS / MATHEMATICAL ANALYSIS

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

HOMEWORK ASSIGNMENT 5

Math 341 Summer 2016 Midterm Exam 2 Solutions. 1. Complete the definitions of the following words or phrases:

RYERSON UNIVERSITY DEPARTMENT OF MATHEMATICS

COMP Intro to Logic for Computer Scientists. Lecture 15

Solution: f( 1) = 3 1)

x x 1 x 2 + x 2 1 > 0. HW5. Text defines:

d. What are the steps for finding the y intercepts algebraically?(hint: what is equal to 0?)

MTH 299 In Class and Recitation Problems SUMMER 2016

MA094 Part 2 - Beginning Algebra Summary

Web Solutions for How to Read and Do Proofs

Homework 3: Solutions

Midterm Preparation Problems

Discrete Mathematics & Mathematical Reasoning Predicates, Quantifiers and Proof Techniques

STRATEGIES OF PROBLEM SOLVING

One-to-one functions and onto functions

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

5. Use a truth table to determine whether the two statements are equivalent. Let t be a tautology and c be a contradiction.

Algebra II. A2.1.1 Recognize and graph various types of functions, including polynomial, rational, and algebraic functions.

Math 421, Homework #9 Solutions

Announcements CompSci 102 Discrete Math for Computer Science

MAT115A-21 COMPLETE LECTURE NOTES

Test 1 Solutions(COT3100) (1) Prove that the following Absorption Law is correct. I.e, prove this is a tautology:

Math Real Analysis

and problem sheet 6

Module 6 Lecture Notes

Algebra 1. Standard 1: Operations With Real Numbers Students simplify and compare expressions. They use rational exponents and simplify square roots.

Math 111: Final Review

(3,1) Methods of Proof

DEPARTMENT OF MATHEMATICS

MATH 22 FUNCTIONS: COMPOSITION & INVERSES. Lecture N: 10/16/2003. Mad world! mad kings! mad composition! Shakespeare, King John, II:1

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS MATH 122: Logic and Foundations

REVIEW FOR THIRD 3200 MIDTERM

Part 2 - Beginning Algebra Summary

MATH98 Intermediate Algebra Practice Test Form A

Math 104 Midterm 3 review November 12, 2018

1 Fundamental Concepts From Algebra & Precalculus

not to be republished NCERT REAL NUMBERS CHAPTER 1 (A) Main Concepts and Results

Cartesian Products and Relations

Part 2 Continuous functions and their properties

More On Exponential Functions, Inverse Functions and Derivative Consequences

Examples 2: Composite Functions, Piecewise Functions, Partial Fractions

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

Section 2.1: Introduction to the Logic of Quantified Statements

1 Homework. Recommended Reading:

9.4. Mathematical Induction. Introduction. What you should learn. Why you should learn it

Solutions to Final Review Sheet. The Math 5a final exam will be Tuesday, May 1 from 9:15 am 12:15 p.m.

Advanced Calculus I Chapter 2 & 3 Homework Solutions October 30, Prove that f has a limit at 2 and x + 2 find it. f(x) = 2x2 + 3x 2 x + 2

CMPSCI 250: Introduction to Computation. Lecture 11: Proof Techniques David Mix Barrington 5 March 2013

Solutions to Homework Problems

Section Summary. Proof by Cases Existence Proofs

Chapter Five Notes N P U2C5

Regents Review Session #3 Functions

Booker T. Washington Summer Math Packet 2015 Completed by Thursday, August 20, 2015 Each student will need to print the packet from our website.

Homework #5 Solutions

Solutions to Problem Sheet for Week 8

1 Implication and induction

Lines, parabolas, distances and inequalities an enrichment class

Chapter 1: The Logic of Compound Statements. January 7, 2008

Solutions to Tutorial for Week 4

Spring 06/MAT 140/Worksheet 1 Name: Show all your work.

INSIDE ALGEBRA CORRELATED WITH CALIFORNIA S COMMON CORE STANDARDS HIGH SCHOOL ALGEBRA

Solve for the variable by transforming equations:

3 The language of proof

Math 0320 Final Exam Review

Transcription:

Proving Things 1 Logic 1. Suppose that all ravens are black. Which of the following statements are then true? (a) If X is a raven, then X is black. (b) If X is black, then X is a raven. (c) If X is not a raven, then X is not black. (d) If X is not black, then X is not a raven.. All humans are mortal, for that is the way of life. All mortals are afraid of bees, for their sting is deadly. Suppose Sif is immortal. Which of the following must be true? (a) Sif is not a human. (b) Sif is not afraid of bees. (c) Sif is afraid of bees. (d) All humans are afraid of bees. 3. Mr. Mersenne claims that if p is a prime number, then p 1 will also be a prime number. For each of the following observations, decide whether the observation supports the claim, refutes the claim, or is irrelevant to the claim. (a) 7 1 = 17, which is prime. SUPPORTS (b) 1 is not prime, and is not of the form p 1. IRRELEVANT (c) 1 1 1 = 3 89, and so is not prime. REFUTES (d) 19 is prime, but is not of the form p 1. IRRELEVANT. The statement If A is true, then B is true may be written as A B for short. Likewise, If B is true, then A is true may be written as A B (or B A). If both of these statements are true, then we can write A B. Draw the appropriate arrow to describe the relation between each pair of statements below. x = y x = y 3x = 15 x = 5 x is prime () x is odd x = π x is irrational 1.1 The Island of Knights and Knaves (and sometimes werewolves) Adapted from puzzles by Raymond Smullyan Welcome to the island of Knights and Knaves. Knights are virtuous and always tell the truth, while knaves are wicked and always lie. You cannot tell which is which just by looking, so you ll have to keep your wits about you so as not to be misled. 1. You come across a single person along the road, who tell you: A: I am a knight. Can you tell from this statement whether the person is a knight or a knave? No. Either a knight or a knave could make this statement. 1

. Now you come across two people. One of them tells you: A: We are both knaves. What can you deduce about the two travelers? If A were a knight, then his statement would imply that he is a knave, which is impossible. Thus A is a knave, and his statement is false. If his statement is false then he and his partner are not both knaves. Since A is a knave, his partner must be a knight. 3. This time you come across three people, who say the following: A: Exactly one of us is a knave. B: Exactly two of us are knaves. C: All three of us are knaves. What can you deduce about the three people? The three statments contradict each other, so at least two of the statements must be false; thus there are either or 3 knaves. If there are 3 knaves, then C s statement would be true, contradicting the fact that he is a knave. Thus there must be exactly knaves, with B as the lone knight.. Werewolves can be either knights or knaves, but they are also werewolves. You must choose a travel partner from among three people (exactly one of which is a werewolf), and you would rather not travel with the werewolf. The three people tell you the following: A: I am not the werewolf. B: The werewolf is a knave. C: All three of us are knaves. Is the werewolf a knight or a knave? Can you tell from this information alone who the werewolf is? C must be a knave, so the travelers are not all knaves. Thus either A or B (or both) is a knight. If both are knights, then B s statement means that C must be the werewolf. If A is a knave, then his statement implies that he is the werewolf, fitting with (the knight) B s statement that the werewolf is a knave. Assuming that A is a knight and B is a knave leads to a contradiction. Thus the werewolf is a knave, but could be either A or C. 5. Suppose now that A also says, C is a knave. Now can you tell who the werewolf is? We know that C is a knave, so this shows that A is a knight. Assuming B is a knave leads to a logical contradiction, and so B must be a knight as well. Thus C is the werewolf. 6. A man is on trial for stealing an elephant. In his defense he states, I am either an innocent knight or a guilty knave. Can you tell whether he is innocent or guilty? Can you tell whether he is a knight or a knave? If he is a knight, then his statement shows that he is innocent. If he is a knave, then he is not a guilty knave (since his statement is false), and so again must be innocent. Thus the man is innocent, but could be either a knight or a knave. 1. Funny Joke Three logicians walk into a bar. The bartender asks them, Do all of you want a drink? The first says, I don t know. The second says, I don t know. The third says, Yes.

Proofs by Algebra Adapted from Elementary Number Theory in Nine Chapters, by James Tattersall Given: For any real number r, r 0, and r = 0 only if r = 0. 1. Prove: x + x + 1 = 1 has no real solutions. (Do not use the quadratic formula!) x + x + 1 = (x + 1) 0 > 1 for all x, and so x + x + 1 1.. Prove: x x = 1 has exactly one solution. x x = 1 x x + 1 = 0 (x 1) = 0 x 1 = 0 x = 1 3. Call a number x even if we can write x = n for some integer n. Call x odd if we can write x = n + 1 for some integer n. (Example) Prove: If x is even and y is even, then x + y is even. Proof: x = n and y = m for some integers n, m so x + y = n + m = (n + m).. Prove that if x is even and y is odd, then x + y is odd. Let x = n, y = m + 1. Then x + y = n + (m + 1) = (n + m) + 1, and so is odd. 5. Prove that if x is odd and y is odd, then x + y is even. Let x = n + 1, y = m + 1. Then x + y = n + 1 + m + 1 = (n + m + 1), and so is even. 6. Prove: even * even = even, even * odd = even, odd * odd = odd. (n)(m) = nm = (mn) = even (n)(m + 1) = nm + n = (nm + n) = even (n + 1)(m + 1) = nm + n + m + 1 = (nm + n + m) + 1 = odd 7. Call T n = 1 + +... + n the n-th triangular number. One well-known formula for triangular numbers is T n = n(n + 1)/. Prove: T n + T n+1 is a square number. n(n + 1) (n + 1)(n + ) T n + T n+1 = + (n + 1)(n + n + ) = (n + 1)(n + ) = = (n + 1) 3

8. Prove: 9T n + 1 is also a triangular number. 9. Prove: T n+1 T n is a perfect cube. n(n + 1) 9T n + 1 = 9 + 1 = 9n + 9 n + (3n + 1)(3n + ) = = T 3n+1 Tn+1 Tn = (n + 1) (n + ) = (n + 1) [(n + ) n ] = (n + 1) (n + ) = (n + 1) 3 n (n + 1) 10. Show that n(n + 1)(n + )(n + 3) + 1 is always a square number (for n an integer). n(n + 1)(n + )(n + 3) + 1 = (n + n)(n + 5n + 6) + 1 = n + 6n 3 + 11n + 6n + 1 = (n + 3n + 1) 11. Prove the aritmetic-geometric mean inequality: if x, y 0, then (x + y)/ xy. (Hint: work backwards from the desired result, then check that your logic holds in the forward direction.) (x + y)/ xy (1) (x + y) xy () x + xy + y xy (3) x xy + y 0 () (x y) 0 (5) The final statement is true. Looking at the chain of logic, we see that (5) () (3) () (1), so the problematic step in asserting (5) (1) is the step from (3) to (), which is the assertion that if a = b then a = b. We would normally only be able to conclude that a = ±b, but since we have the requirement that x, y 0, we can conclude that (3) (). Therefore the chain of logic works in reverse, and our proof is complete. 3 Functions Call a function f 1-1 if x y f(x) f(y) (alternatively, f(x) = f(y) x = y). Call a function increasing if x > y f(x) > f(y). A functions f is even if f( x) = f(x) for all x, and odd if f( x) = f(x). Prove the following statements:

1. If f is increasing, then f is 1-1 (thus f 1 exists). Let x y, so either x > y or y > x. If x > y, then f(x) > f(y) and so f(x) f(y). Similarly, y > x f(y) > f(x) f(y) f(x). Thus if f is increasing then f is 1-1.. If f is 1-1, then f 1 is also 1-1. If a b, then we want to show that f 1 (a) f 1 (b). Since a = f(x), b = f(y) for some y, this amounts to showing that if f(x) f(y), then x y. Looking at the contrapositive of the statement, this is the same as showing that if x = y then f(x) = f(y), which is true of all functions. Thus f 1 is 1-1. 3. If f and g are increasing, then f + g is increasing. If x > y then f(x) > f(y), g(x) > g(y), and so (f + g)(x) = f(x) + g(x) > f(y) + g(y) > (f + g)(y), so f + g is increasing.. If f and g are increasing, then f g is increasing. x > y g(x) > g(y) f(g(x)) > f(g(y)). 5. If f and g are increasing, then f g is not necessarily increasing (Give a counterexample). Let f(x) = g(x) = x. Then (f g)(x) = x, which is not increasing in general. 6. If f and g are 1-1, then f g is 1-1. x y g(x) g(y) f(g(x)) f(g(y)). Alternately, f(g(x)) = f(g(y)) g(x) = g(y) x = y. 7. If f is odd and g is even, then g f is even. (g f)( x) = g(f( x)) = g( f(x)) = g(f(x)) = (g f)(x). 8. If f is odd and g is odd, then g f is odd, but g f is even. g(f( x)) = g( f(x)) = g(f(x)), so g f is odd. g( x)f( x) = ( g(x))( f(x)) = g(x)f(x), so g f is even. 9. If f is odd and f 1 exists, then f 1 is also odd. Say f 1 (x) = a, so f(a) = x. Then f 1 ( x) = f 1 ( f(a)) = f 1 (f( a)) = a, so f 1 is odd. 10. If f is increasing, then f(x) > f(y) x > y (Hint: for any x and y either x > y, x < y or x = y). Let f(x) > f(y). We have three possibilities: x < y, x = y, or x > y. If x < y then f(x) < f(y), which is a contradiction. x = y is equally impossible, so the only option left is x > y. 11. If f is increasing, then f 1 is also increasing (Hint: use the result from the previous question). Let a > b, where a = f(x), b = f(y) (equivalently, f 1 (a) = x, f 1 (b) = y). The previous result gives that x > y, and so f 1 (a) > f 1 (b). Thus f 1 is increasing. 1. Call a function g decreasing if x > y g(x) < g(y). If f is increasing and g is decreasing, is f g increasing, decreasing, or neither? What about g f and g g? x > y g(x) < g(y) f(g(x)) < f(g(y)), so f g is decreasing. x > y f(x) > f(y) g(f(x)) < g(f(y)), so g f is also decreasing. x > y g(x) < g(y) g(g(x)) > g(g(y)), so g g is increasing. 13. If f is increasing, show that g(x) = f( x) is decreasing (1) directly, and () by applying a result from the previous problem. x > y x < y f( x) < f( y) g(x) < g(y), so g is decreasing. Alternately, h(x) = x is decreasing, so g = f h is also decreasing. 5

3.1 From Lectures and Homework 1. Find the formulas for cos(sin 1 (x)), tan(sin 1 (x)), sin(cos 1 (x)), tan(cos 1 (x)), sin(tan 1 (x)), and cos(tan 1 (x)). Draw triangles.. Suppose we decide in advance that we want all exponentiation to obey the rule a x+y = a x a y. Why does this force a 0 = 1? Why does this force a x = 1/a x? a 0 a n = a 0+n = a n, so a 0 = 1. a x a x = a x+x = a 0 = 1, so a x = 1/a x. Similarly, a 1 = a is a result of the rule (a x ) y = a xy because (a 1 ) n = a 1 n = a n for all n, so a 1 = a. 3. Define ln(x) as the inverse of e x, so that x = ln(e x ), e ln(x) = x (for x > 0), and ln(x) = a e a = x. Prove that ln(xy) = ln(x) + ln(y), ln(x/y) = ln(x) ln(y), and ln(x r ) = r ln(x). See the other packet, Summary of Proofs for Logs and Exponents. Bootstrapping Once we prove that some relation holds for two numbers/functions/etc., we can use previous results to more easily work our way up to larger cases. 1. (Example) Prove that odd + odd + odd = odd. Proof: We know that odd + odd = even and odd + even = odd. Therefore, odd + (odd + odd) = odd + even = odd.. If f, g, and h are 1-1, prove that f g h is 1-1. Let k = g h. k is 1-1, so f g h = f k is 1-1. 3. If f, g, h are increasing, prove that f g f h g is increasing. inc inc inc (inc inc) = inc inc (inc inc) = inc (inc inc) = inc inc = inc.. If (fg) = f g + fg, find a formula for (fgh). Let k = gh. Then (fgh) = (fk) = f k+fk = f gh+f(gh) = f gh+f(g h+gh ) = f gh+fg h+fgh. 5 Proof by Contradiction Once you eliminate the impossible, whatever remains, however improbable, must be the truth. -Sherlock Holmes 1. Prove that log 5 is irrational. Do this by assuming that it is rational, and show that the assumption leads to a contradiction. Suppose that log 5 = a/b. Then a/b = 5, so a = 5 b. This is impossible since a is even and 5 b is odd, thus our assumption that a/b existed was false.. Prove that is irrational. Suppose that = a/b. Since a/b is a fraction, we can reduce it to lowest terms, and so can assume that a and b have no common factor. Then a /b =, so a = b. This implies that a is even, so say a = n. Then b = (n) = n, so b = n. This now implies that b is even, which contradicts our assumption that a and b had no common factor. Therefore no such fraction a/b exists. 6