Logical Reasoning:Proof Prove the theorem using the basic axioms of algebra.

Slides:



Advertisements
Similar presentations
With examples from Number Theory
Advertisements

Discrete Math Methods of proof 1.
Introduction to Proofs
Know what is meant by proof by Induction Learning Outcomes: PROOF BY INDUCTION Be able to use proof by induction to prove statements.
PROOF BY CONTRADICTION
Chapter 3 Elementary Number Theory and Methods of Proof.
EXAMPLE 4 Prove the Converse of the Hinge Theorem
So far we have learned about:
Introduction to Proofs ch. 1.6, pg. 87,93 Muhammad Arief download dari
TR1413: Discrete Mathematics For Computer Science Lecture 1: Mathematical System.
Accelerated Math I Unit 2 Concept: Triangular Inequalities The Hinge Theorem.
Methods of Proof & Proof Strategies
Copyright © Cengage Learning. All rights reserved. CHAPTER 4 ELEMENTARY NUMBER THEORY AND METHODS OF PROOF ELEMENTARY NUMBER THEORY AND METHODS OF PROOF.
Methods of Proofs PREDICATE LOGIC The “Quantifiers” and are known as predicate quantifiers. " means for all and means there exists. Example 1: If we.
1 Lines Part 3 How to Prove Lines Parallel. Review Types of Lines –Parallel –Perpendicular –Skew Types of Angles –Corresponding –Alternate Interior –Alternate.
Section 2.21 Indirect Proof: Uses Laws of Logic to Prove Conditional Statements True or False.
Postulates and Paragraph Proofs Section 2-5.  postulate or axiom – a statement that describes a fundamental relationship between the basic terms of geometry.
P. 270 #47-49.
Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity 11 The Foundations: Logic and Proofs Introduction to Proofs.
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.
– Phillip J. Davis and Reuben Hersh
2-6 Proving Angles Congruent. Theorem: a conjecture or statement that you prove true.
Inverse, Contrapositive & indirect proofs Sections 6.2/6.3.
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.
2.3 Methods of Proof.
CS104:Discrete Structures Chapter 2: Proof Techniques.
5.1 Indirect Proof Objective: After studying this section, you will be able to write indirect proofs.
Friday, November 9, 2012 Agenda: TISK; No MM. Lesson 5-6: Compare side lengths and measures using the Hinge Theorem. Homework: 5-6 Worksheet.
Section 1.7. Definitions A theorem is a statement that can be shown to be true using: definitions other theorems axioms (statements which are given as.
Lesson 1.6 Paragraph Proofs Objective: Write paragraph proofs.
Bellwork Write if-then form, converse, inverse, and contrapositive of given statement. 3x - 8 = 22 because x = 10.
5-5 Indirect Proof. Indirect Reasoning: all possibilities are considered and then all but one are proved false. The remaining possibility must be true.
+ Properties of Real Numbers. + Properties Relationships that are always true fro real numbers are called properties. Properties are rules used to rewrite.
 You will be able to use theorems and definitions to find the measures of angles.  You will be able to use theorems and definitions to write a formal.
EXAMPLE 3 Write an indirect proof Write an indirect proof that an odd number is not divisible by 4. GIVEN : x is an odd number. PROVE : x is not divisible.
Proof And Strategies Chapter 2. Lecturer: Amani Mahajoub Omer Department of Computer Science and Software Engineering Discrete Structures Definition Discrete.
Proof Techniques CS160/CS122 Rosen: 1.5, 1.6, 1.7.
11.7 – Proof by Mathematical Induction
Indirect Argument: Contradiction and Contraposition
5.6 Comparing Measures of a Triangle
3.1 Indirect Proof and Parallel Postulate
6.5 Inequalities in Triangles and Indirect Proofs
5.6 Indirect Proof and Inequalities in Two Triangles
CST 24 – Logic.
Methods of Proof A mathematical theorem is usually of the form pq
Check It Out! Example 1 Write an indirect proof that a triangle cannot have two right angles. Step 1 Identify the conjecture to be proven. Given: A triangle’s.
Week 13.
Lesson 5 – 4 Indirect Proof
An indirect proof uses a temporary assumption that
2-1 Conditional Statements
Inequalities In Two Triangles
2.2 Analyze Conditional Statements
DRILL If A is (2, 5) and B is (-3, 8), show segment AB is parallel to segment CD if C is (-1, 4) and D is (-11, 10). What is the length of AB? Slope Formula.
Copyright © 2014 Pearson Education, Inc.
1. (H . S) > [ H > (C > W)]
Class Greeting.
The most important idea in logic: Validity of an argument.
Geometry.
Copyright © Cengage Learning. All rights reserved.
Properties of Triangles
Learning Targets I will identify the first step in an indirect proof.
Check your work from yesterday with the correct answers on the board.
5.6 Inequalities in Two Triangles and Indirect Proof
6-2: Indirect Proofs Proof Geometry.
Chapter 5 Parallel Lines and Related Figures
Given: the cost of two items is more than $50.
Chapter 2: Geometric Reasoning
5.1 Indirect Proof Let’s take a Given: Prove: Proof: Either or
Presentation transcript:

Logical Reasoning:Proof Prove the theorem using the basic axioms of algebra.

Logical Reasoning:Proof Prove the theorem using the basic axioms of algebra.

Logical Reasoning:Proof Find a counterexample to show that the statement is not true. Because, you have shown one case in which the rule is false.

Logical Reasoning:Proof Find a counterexample to show that the statement is not true. Because, you have shown one case in which the rule is false.

Logical Reasoning:Proof Find a counterexample to show that the statement is not true. Because, you have shown one case in which the rule is false.

Logical Reasoning:Proof Use an indirect proof to prove that the conclusion is true. Assume the conclusion is false and contradict the given statement. This statement contradicts the original statement. Therefore, it is impossible that. Therefore is true.

Logical Reasoning:Proof