CORE 1 proof More free powerpoints at

Slides:



Advertisements
Similar presentations
Graphs of Straight Lines
Advertisements

Proving Triangles Congruent
Prime Factor Tree Discovering Prime Factors of Any Number Free powerpoints at
CLASSIFICATIONS, ANGLES AND MORE!!
Slope of a Line Slope basically describes the steepness of a line Free powerpoints at
Integers Free powerpoints at
Lesson Objectives By the end of this lesson you should be able to:
Polynomial Long Division ÷ Free powerpoints at
With examples from Number Theory
Discrete Mathematics University of Jazeera College of Information Technology & Design Khulood Ghazal Mathematical Reasoning Methods of Proof.
Laws of Exponents Whenever we have variables which contain exponents and have equal bases, we can do certain mathematical operations to them. Those operations.
Introduction to Proofs
Why Logic? A proof of any form requires logical reasoning. Logical reasoning ensures that the conclusions you reach are TRUE - as long as the rest of.
Lesson 10.4: Mathematical Induction
What is the ratio of the length of the diagonal of a perfect square to an edge?
PROOF BY CONTRADICTION
Review for CS1050. Review Questions Without using truth tables, prove that  (p  q)   q is a tautology. Prove that the sum of an even integer and an.
Chapter 3 Elementary Number Theory and Methods of Proof.
Chapter 3 Direct Proof and Proof by Contrapositive
Prof. Shachar Lovett Clicker frequency: CA CSE 20 Discrete math Prof. Shachar Lovett
Visita:
1 In this lecture  Number Theory ● Rational numbers ● Divisibility  Proofs ● Direct proofs (cont.) ● Common mistakes in proofs ● Disproof by counterexample.
– Alfred North Whitehead,
Logic 3 Tautological Implications and Tautological Equivalences
Logic and Proof. Argument An argument is a sequence of statements. All statements but the first one are called assumptions or hypothesis. The final statement.
So far we have learned about:
What is the best way to start? 1.Plug in n = 1. 2.Factor 6n 2 + 5n Let n be an integer. 4.Let n be an odd integer. 5.Let 6n 2 + 5n + 4 be an odd.
Introduction to Proofs Goals 1.Introduce notion of proof & basic proof methods. 2.Distinguish between correct & incorrect arguments 3.Understand & construct.
Chapter 10 Sequences, Induction, and Probability Copyright © 2014, 2010, 2007 Pearson Education, Inc Mathematical Induction.
Methods of Proof Lecture 4: Sep 16 (chapter 3 of the book)
2.5 Reasoning in Algebra and Geometry
CSE 20 – Discrete Mathematics Dr. Cynthia Bailey Lee Dr. Shachar Lovett Peer Instruction in Discrete Mathematics by Cynthia Leeis licensed under a Creative.
CORE 1 proof. What is Mathematical Proof? The process of starting with an assumption, or a statement which is given, and, by using logical argument, arriving.
Methods of Proof. This Lecture Now we have learnt the basics in logic. We are going to apply the logical rules in proving mathematical theorems. Direct.
CSE 20: Discrete Mathematics for Computer Science Prof. Shachar Lovett.
Chapter 5 Existence and Proof by contradiction
Methods of Proof Lecture 3: Sep 9. This Lecture Now we have learnt the basics in logic. We are going to apply the logical rules in proving mathematical.
9.4 Mathematical Induction
CHAPTER 1 INDUCTIVE AND DEDUCTIVE REASONING. 1.1 – MAKING CONJECTURES A conjecture is a testable expression that is based on available evidence, but is.
 Solve and algebraic equation and provide a justification for each step.  Identify which property of equality or congruence is being used.
1 Methods of Proof Proof techniques in this handout –Direct proof –Division into cases –Proof by contradiction In this handout, the proof techniques will.
1.2 Inductive Reasoning. Inductive Reasoning If you were to see dark, towering clouds approaching what would you do? Why?
Mathematics.
Proof By Contradiction Chapter 3 Indirect Argument Contradiction Theorems and pg. 171.
1 Discrete Structures – CNS2300 Text Discrete Mathematics and Its Applications Kenneth H. Rosen (5 th Edition) Chapter 3 The Foundations: Logic and Proof,
Methods of Proof Dr. Yasir Ali. Proof A (logical) proof of a statement is a finite sequence of statements (called the steps of the proof) leading from.
Concept. Example 1 State the Assumption for Starting an Indirect Proof Answer: is a perpendicular bisector. State the assumption you would make to start.
Method of proofs.  Consider the statements: “Humans have two eyes”  It implies the “universal quantification”  If a is a Human then a has two eyes.
Proving Statements in Geometry Eleanor Roosevelt High School Geometry Mr. Chin-Sung Lin.
2.3 Methods of Proof.
CS104:Discrete Structures Chapter 2: Proof Techniques.
1 Introduction to Abstract Mathematics Proof Methods , , ~, ,  Instructor: Hayk Melikya Purpose of Section:Most theorems in mathematics.
2.1 Using Inductive Reasoning to Make Conjectures.
Prove that: odd + odd = even even + even = even odd + even = odd even + odd = odd.
Methods of Proof Lecture 4: Sep 20 (chapter 3 of the book, except 3.5 and 3.8)
 Aim: How do we think like a mathematician? Do Now: July 16, 2012.
Mathematical Induction. The Principle of Mathematical Induction Let S n be a statement involving the positive integer n. If 1.S 1 is true, and 2.the truth.
Introduction to Proofs Goals 1.Introduce notion of proof & basic proof methods. 2.Distinguish between correct & incorrect arguments 3.Understand & construct.
Direct Proof by Contraposition Direct Proof by Contradiction
LESSON 5–4 Indirect Proof.
321 Section, 2-7 Natalie Linnell.
2.5 Reasoning in Algebra and Geometry
CSE 20: Discrete Mathematics for Computer Science Prof. Shachar Lovett
PROOF BY CONTRADICTION
Section 2.1 Proof Techniques Introduce proof techniques:   o        Exhaustive Proof: to prove all possible cases, Only if it is about a.
Copyright © Cengage Learning. All rights reserved.
Five-Minute Check (over Lesson 5–3) Mathematical Practices Then/Now
5.6 Inequalities in Two Triangles and Indirect Proof
Multiplying integers 3(3) = (3) = (3) = (3) = 0 -3
Introduction to Proofs
Presentation transcript:

CORE 1 proof More free powerpoints at

What is Mathematical Proof? The process of starting with an assumption, or a statement which is given, and, by using logical argument, arriving at a conclusion

Mathematical Proof Prove that … or Given …, prove … or Prove …, given … Form a logical argument Start with what is given or standard results Deduce each step from previous Standard results can be used at any stage

MATHEMATICAL STATEMENTS ΔABC is isosceles sinθ = ¾ The gradient of y=mx+c is m

Use to express the relationship between statements implies does not imply is implied by implies and is implied by Implication Signs

Example: Prove that ΔABC is isosceles AB = AC B = _C AB = AC ΔABC is isosceles A B C

Example: Link the statements a = 0 and ab = 0 using implication signs. a = 0ab = 0 ab = 0a = 0 (b could be 0) ab = 0Either a = 0 or b = 0

Example:

Example: Prove that sum of an even number and an odd number is always odd.

Let 2n be any even number, where n is an integer. 2m + 1 be any odd number, where m is an integer. 2n + 2m + 1 = 2(n+m) + 1 n+m is an integer 2(n+m) is even 2(n+m) + 1 is odd 2(n+m) + 1 = 2n + 2m + 1 the sum of an even number and an odd number is always odd.