p, p or its negation is true, and the other false
|
|
- Jade Strickland
- 6 years ago
- Views:
Transcription
1 Logic and Proof In logic (and mathematics) one often has to prove the truthness of a statement made. A proposition is a (declarative) sentence that is either true or false. Example: An odd number is prime. Example: A horse has four legs. A proposition is true only if it is always true. A proposition that is sometimes true is a false statement. So the first proposition is a false statement. In logic, we often use the letter p to represent a proposition. A conditional is a statement written in the form of if p, then q format, where p is the hypothesis, and q is the conclusion. Example: An odd number is prime. This statement can be stated in the if-then form as follows: If a number is odd, then it is prime. In the above statement, a number is odd is the hypothesis, and the number is prime is the conclusion. The negation of a proposition p is the proposition not p. Example: The negation of the proposition 21 is divisible by 3 is: 21 is not divisible by 3. The negation of a statement made about the entire collection of a group is a statement that says some object is not in the group. Example: All dogs are carnivorous The negation of the above statement is: Some (one or more) dogs are not carnivorous. Example: All angles are right Negation: Some (one or more) angles are not right. For any proposition Example: p is the statement: x = 3 The negation of p would be: x 3 p, p or its negation is true, and the other false One or the other statement must be true, the other false. One way to prove a statement is to make a (true) statement about a characteristic of all objects in a certain collection, then make a particular statement about one or more of the objects in that collection. It then follows logically that those
2 particular object(s) must possess the said characteristic. Example: General Statement: All humans are bi-pedal Specific Statement: John is a human Conclusion: John is bi-pedal Example: General Statement: All even numbers are divisible by 2 Specific Statement: all numbers end in 4 are even numbers Conclusion: all numbers end in 4 are divisible by 2 To use the above three steps argument (called a syllogism) to arrive at a conclusion is called deductive reasoning. It ensures the correctness of the conclusion as long as the first and second statements are true. We use deductive reasoning often to prove theorems in geometry. To prove a conditional, one must show that the conclusion of the statement, q, always follows from the hypothesis, p. To prove a statement about a collection of objects, one must show that the statement is true for all conceivable objects in the collection. It is not enough to come up with just one instance of when the statement is true. Example: All odd numbers are prime. To prove this statement, it is not enough to say that 3 is an odd number, and 3 is prime, therefore the statement is true. What you have provided is an example of when the statement is true, but not a prove. To prove the statement, one must prove that every odd number is prime. To disprove a statement about a collection of objects, one only needs to provide one instance of an object in the collection that does not agree with the statement. In other words, one only needs to provide one counter-example to disprove a statement. 15 is an odd number, but 15 is not a prime. Therefore, 15 is a counter-example to the above statement. This disproved the statement All odd numbers are prime. If a statement made is about a finite number of objects, it is possible to prove the statement by examining every object mentioned in the statement, and show that the statement is true for those objects. Example: All odd numbers greater than 2 and less than 8 are prime. We may phase this statement in the if/then form as: If a number is odd and greater than 2 and less than 8, then the number is prime.
3 Since there are only three numbers that satisfy the hypothesis of the statement, namely 3, 5, and 7, one only needs to prove that the statement is true for these three numbers, then the statement is proved. One can never prove a statement by physical measurements or experiment. For example, if you are asked to prove that an angle is a right angle, you may not use a protractor and measure the angle and say that, according to your measurement, the angle is 90. It is understood that measurements are never exact but are just estimates. The accuracy of the measurement is dependent on the precision of the measuring device, which always have physical limitations in its accuracy. Given a statement in the form if p then q, its converse is the statement if q then p Example: If x = 3, then x 2 = 9 The converse of this statement is the statement: If x 2 = 9, then x = 3. Example: If two angles are complementary, then they are both acute angles The converse of this statement is: If two angles are both acute, then they are complementary. Note that even if a statement is true, its converse is not necessarily true. The contra-positive of a if p then q statement is the statement: if not q, then not p Example: If a number ends in 0, then it is divisible by 10 The contra-positive of this statement is: If a number is not divisible by 10, then it does not end in 0 An if-then statement and its contra-positive is logically equivalent. This means that an if-then statement and its contra-positive is always both true or both false at the same time. Sometimes, to prove a statement, it may be easier to prove its contra-positive. Another method of prove is prove by contradiction. In order to prove that a statement is true, one may first assume that the statement to be proved is false, and proceed to show that this leads to a logical contradiction, hence establishing that the assumption (that the statement is false) is not true, proving the statement. Proof by contradiction is used most often in trying to prove statements that establish the negation of something. For example, to prove that an object does not possess a certain property, or that an object of a certain property does not exist, or that two objects are not equal to each other. Sometimes, to prove statements that are made about the set of natural num-
4 bers, one may use the principle of mathematical induction. Below is a guideline to use in trying to prove a mathematical statement using a two-column format: Find out what is the hypothesis (the given) and what is the conclusion. Not every mathematical statement is explicitly made in the if-then format, but a mathematical statement that needs to be proved can always be restated in the form of if-then. Make a two column table. On the first column you will write the statements that logically follows the previous statement, starting with the given. On the second column are the reasons that support the statement that you made on the first column. The reasons you may use to support your argument include definitions, other accepted statements (postulates or principles), and other known, alreadyproved, theorems. In a geometric prove, it is always advisible to draw a diagram of the situation, if one is not already provided. Some well-known, accepted principles and theorems from algebra and geometry: From Algebra: For any object x, x = x (an object always equals itself. This is the reflexive property). If a = b, and b = c, then a = c (the transitive property) If a = b, then anywhere a is used in a statement, b can be used instead and the meaning of the statement is unchanged. This is the substitution property. If a = b and c = d, then a + c = b + d (addition postulate) If a = b and c = d, then a c = b d (subtraction postulate) From Geometry: Between any two points there is one and only one (straight) line. (Euclid s first postulate) Any line segment can be extended indefinitely in one or both directions to form a straight line. (Euclid s second postulate) Given a line segment, one can draw a (unique) circle with the given segment as radius and one of the end point of the segment as center (Euclid s third postulate, this can be generalized to the more easier to apply non-collapsing compass version: Given a line segment and a given point, one can draw a circle with its center at the given point and the length of the radius equal to the length of the given line segment.
5 All right angles are equal to each other (Euclid s fourth postulate). The intersection of two (different) lines is a point. The shortest distance between two points is a (straight) line. The sum of the measure of two adjacent angles is equal to the measure of the angle formed by the non-common sides of the two adjacent angles. (Angle Addition Postulate) In a line segment, if points A, B, C are colinear and point B is between point A and point C, then AB + BC = AC. (Segment Addition Postulate) Using these accepted postulates and known facts from algebra and geometry, together with other theorems and facts, one can prove other statements and theorems. Example: Prove that If two angles are supplementary to the same angle, then they are congruent to each other The hypothesis in this statement is that two angles are supplementary to the same angle, and the conclusion is that then the two angles are congruent to each other. It helps to draw a picture to see what is going on: In the given picture, 2 and 3 are both supplementary to the same 1, we need to prove that 2 = 3 Statements Reasons 1. 2 supplement to 1 3 supplement to 1 1. given 2. m 2 + m 1 = 180 m 3 + m 1 = definition of supplementary angles 3. m 2 + m 1 = m 3 + m 1 3. substitution 4. m 2 = m 3 4. subtraction postulate 5. 2 = 3 5. definition of angle congruence Example: Prove that Vertical Angles are Congruent In order to prove this statement, one must prove that whenever two lines intersect and form a pair of vertical angles, then the angle pairs must be congruent. The hypothesis in this statement is two (arbitrary) lines intersect to form a pair of vertical line, and the conclusion is the pair of vertical lines are congruent. We should draw a diagram to illustrate what we wanted to prove:
6 B E A C D In the picture above, AC intersects BD at point E to form vertical angles pair AEB and DEC. We must prove that AEB = DEC. Proof: Statements Reasons 1. AC intersects BD at point E 1. given 2. AEB and DEC are vertical angles 2. definition of vertical angles 3. m AEB + m DEA = 180 m DEC + m DEA = angle addition postulate 4. AEB and DEA are supplementary DEC and DEA are supplementary 4. definition of supplementary angles 5. AEB = DEC 5. Angles supp. to same are = Notice that we used a theorem we just proved to prove another theorem.
(b) Follow-up visits: December, May, October, March. (c ) 10, 4, -2, -8,..
Geometry Honors - Chapter 2 Reasoning and Proof Section 2-1 Inductive Reasoning and Conjecture I can explore inductive and deductive reasoning. I can find counterexamples to disprove conjectures. I can
More informationGeometry - Chapter 2 Corrective 1
Name: Class: Date: Geometry - Chapter 2 Corrective 1 Multiple Choice Identify the choice that best completes the statement or answers the question. 1. Make a table of values for the rule x 2 16x + 64 when
More informationChapter 2: Geometric Reasoning Review
Geometry B Name: Date: Block: Chapter 2: Geometric Reasoning Review Show all work to receive full credit. This will be collected. 1) What is the next item in the pattern? 1, 2, 4, 8,... 2) Find the next
More informationGeometry Unit 2 Notes Logic, Reasoning and Proof
Geometry Unit 2 Notes Logic, Reasoning and Proof Review Vocab.: Complementary, Supplementary and Vertical angles. Syllabus Objective: 2.1 - The student will differentiate among definitions, postulates,
More informationGeometry Study Guide. Name: Class: Date: Matching
Name: Class: Date: ID: A Geometry Study Guide Matching Match each vocabulary term with its definition. a. conjecture e. biconditional statement b. inductive reasoning f. hypothesis c. deductive reasoning
More information2-1. Inductive Reasoning and Conjecture. Lesson 2-1. What You ll Learn. Active Vocabulary
2-1 Inductive Reasoning and Conjecture What You ll Learn Scan Lesson 2-1. List two headings you would use to make an outline of this lesson. 1. Active Vocabulary 2. New Vocabulary Fill in each blank with
More informationMeaning of Proof Methods of Proof
Mathematical Proof Meaning of Proof Methods of Proof 1 Dr. Priya Mathew SJCE Mysore Mathematics Education 4/7/2016 2 Introduction Proposition: Proposition or a Statement is a grammatically correct declarative
More information3. Understand The Laws of Detachment and Syllogism 4. Appreciate a simple Ham Sandwich.
Lesson 4 Lesson 4, page 1 of 8 Glencoe Geometry Chapter 2.2 and 2.3 If-Then Statements & Deductive Reasoning By the end of this lesson, you should be able to 1. Write a statement in if-then Form. 2. To
More informationGeometry Unit 2 Notes Logic, Reasoning and Proof
Geometry Unit Notes Logic, Reasoning and Proof Review Vocab.: Complementary, Supplementary and Vertical angles. Syllabus Objective:. - The student will justify conjectures and solve problem using inductive
More informationThe following statements are conditional: Underline each hypothesis and circle each conclusion.
Geometry Unit 2 Reasoning and Proof 2-1 Conditional Statements Conditional Statement a statement which has a hypothesis and conclusion, often called an if-then statement. Conditional statements are contain
More informationGeometry - Chapter 2 Earn-A-Try Test
Name: Geometry - Chapter 2 Earn-A-Try Test Multiple Choice Identify the choice that best completes the statement or answers the question. Use CAPITAL letters only!! Ex: A,B,C,D; Not a,b,c,d. 1. Write a
More information2.1 If Then Statements
Chapter Deductive Reasoning Learn deductive logic Do your first - column proof New Theorems and Postulates **PUT YOUR LAWYER HAT ON!!. If Then Statements Recognize the hypothesis and conclusion of an ifthen
More informationChapter 2. Reasoning and Proof
Chapter 2 Reasoning and Proof 2.1 Use Inductive Reasoning Objective: Describe patterns and use deductive reasoning. Essential Question: How do you use inductive reasoning in mathematics? Common Core: CC.9-12.G.CO.9
More informationInductive Reasoning. Courage is resistance to fear, mastery of fear, not absence of fear. Mark Twain
Inductive Reasoning Courage is resistance to fear, mastery of fear, not absence of fear. Mark Twain Inductive Reasoning O Inductive Reasoning is the process of observing a pattern and making a conjecture
More informationChapter 2. Reasoning and Proof
Chapter 2 Reasoning and Proof 2.1 Inductive Reasoning 2.2 Analyze Conditional Statements 2.3 Apply Deductive Reasoning 2.4 Use Postulates and Diagrams 2.5 Algebraic Proofs 2.6 Segments and Angles Proofs
More informationSection 2-1. Chapter 2. Make Conjectures. Example 1. Reasoning and Proof. Inductive Reasoning and Conjecture
Chapter 2 Reasoning and Proof Section 2-1 Inductive Reasoning and Conjecture Make Conjectures Inductive reasoning - reasoning that uses a number of specific examples to arrive at a conclusion Conjecture
More information2-1 Using Inductive Reasoning to Make Conjectures
CHAPTER 2 Chapter Review 2-1 Using Inductive Reasoning to Make Conjectures Find the next term in each pattern. 1. 6, 12, 18,... 2. January, April, July,... 3. The table shows the score on a reaction time
More informationGeometry Unit 2 Notes Logic, Reasoning and Proof
Geometry Unit Notes Logic, Reasoning and Proof Review Vocab.: Complementary, Supplementary and Vertical angles. Syllabus Objective:. - The student will justify conjectures and solve problem using inductive
More informationHONORS GEOMETRY CHAPTER 2 WORKBOOK
HONORS GEOMETRY CHAPTER 2 WORKBOOK FALL 2016 Chapter 2 Miscellaneous: The Structure of Geometry Vocabulary Definition Example Elements: 1. Deductive Structure Postulate (axiom) Example: Definitions Reversed:
More informationChapter 2. Reasoning and Proof
Chapter 2 Reasoning and Proof 2.1 Use Inductive Reasoning Objective: Describe patterns and use deductive reasoning. Essential Question: How do you use inductive reasoning in mathematics? Common Core: CC.9-12.G.CO.9
More informationGeometry: Notes
Geometry: 2.1-2.3 Notes NAME 2.1 Be able to write all types of conditional statements. Date: Define Vocabulary: conditional statement if-then form hypothesis conclusion negation converse inverse contrapositive
More informationReasoning and Proof Unit
Reasoning and Proof Unit 1 2 2 Conditional Statements Conditional Statement if, then statement the if part is hypothesis the then part is conclusion Conditional Statement How? if, then Example If an angle
More informationClass IX Chapter 5 Introduction to Euclid's Geometry Maths
Class IX Chapter 5 Introduction to Euclid's Geometry Maths Exercise 5.1 Question 1: Which of the following statements are true and which are false? Give reasons for your answers. (i) Only one line can
More informationName: Class: Date: B. The twentieth term is A. D. There is not enough information.
Class: Date: Chapter 2 Review 1. Based on the pattern, what are the next two terms of the sequence? 9, 15, 21, 27,... A. 33, 972 B. 39, 45 C. 162, 972 D. 33, 39 2. What conjecture can you make about the
More informationChapter 2: Reasoning and Proof
Name: Chapter 2: Reasoning and Proof Guided Notes Geometry Fall Semester 2.1 Use Inductive Reasoning CH. 2 Guided Notes, page 2 Term Definition Example conjecture An unproven statement that is based on
More information2-6 Geometric Proof. Warm Up Lesson Presentation Lesson Quiz. Holt Geometry
2-6 Geometric Proof Warm Up Lesson Presentation Lesson Quiz Warm Up Determine whether each statement is true or false. If false, give a counterexample. 1. It two angles are complementary, then they are
More informationDay 1 Inductive Reasoning and Conjectures
Formal Geometry Chapter 2 Logic and Proofs Day 1 Inductive Reasoning and Conjectures Objectives: SWBAT form a conjecture, and check it SWBAT use counterexamples to disprove a conjecture Logic the use of
More informationUnit 2: Geometric Reasoning Section 1: Inductive Reasoning
Unit 2: Geometric Reasoning Section 1: Inductive Reasoning Ex #1: Find the next item in the pattern. January, March, May,... Ex #2: Find the next item in the pattern. 7, 14, 21, 28, Ex #3: Find the next
More informationSUBAREA I MATHEMATIC REASONING AND COMMUNICATION Understand reasoning processes, including inductive and deductive logic and symbolic logic.
SUBAREA I MATHEMATIC REASONING AND COMMUNICATION 0001. Understand reasoning processes, including inductive and deductive logic and symbolic logic. Conditional statements are frequently written in "if-then"
More informationSolutions to Exercises in Chapter 1
Solutions to Exercises in hapter 1 1.6.1 heck that the formula 1 a c b d works for rectangles but not for 4 parallelograms. b a c a d d b c FIGURE S1.1: Exercise 1.6.1. rectangle and a parallelogram For
More informationLesson 9.1 Skills Practice
Lesson 9.1 Skills Practice Name Date Earth Measure Introduction to Geometry and Geometric Constructions Vocabulary Write the term that best completes the statement. 1. means to have the same size, shape,
More informationStudy Guide and Review
State whether each sentence is true or false. If false, replace the underlined term to make a true sentence. 1. A postulate is a statement that requires proof. A postulate is a statement that does not
More informationReady to Go On? Skills Intervention 2-1 Using Inductive Reasoning to Make Conjectures
Ready to Go On? Skills Intervention 2-1 Using Inductive Reasoning to Make Conjectures Find these vocabulary words in Lesson 2-1 and the Multilingual Glossary. Vocabulary inductive reasoning conjecture
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 informationFoundations of Math 3 -- Proof Practice
Foundations of Math 3 -- Proof Practice Multiple Choice Identify the choice that best completes the statement or answers the question. 1. Identify the hypothesis and conclusion of this conditional statement:
More informationNAME DATE PER. 1. ; 1 and ; 6 and ; 10 and 11
SECOND SIX WEEKS REVIEW PG. 1 NME DTE PER SECOND SIX WEEKS REVIEW Using the figure below, identify the special angle pair. Then write C for congruent, S for supplementary, or N for neither. d 1. ; 1 and
More informationLogic, Proof, Axiom Systems
Logic, Proof, Axiom Systems MA 341 Topics in Geometry Lecture 03 29-Aug-2011 MA 341 001 2 Rules of Reasoning A tautology is a sentence which is true no matter what the truth value of its constituent parts.
More informationNAME DATE PERIOD. Inductive Reasoning and Conjecture. Make a conjecture based on the given information. Draw a figure to illustrate your conjecture.
2-1 NAME DATE PERIOD Skills Practice Inductive Reasoning and Conjecture Make a conjecture about the next item in each sequence. 1. 2. 4, 1, 2, 5, 8 3. 6, 1 1, 5, 9 2 2,4 4. 2, 4, 8, 16, 32 Make a conjecture
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 informationGeometry. Unit 2- Reasoning and Proof. Name:
Geometry Unit 2- Reasoning and Proof Name: 1 Geometry Chapter 2 Reasoning and Proof ***In order to get full credit for your assignments they must me done on time and you must SHOW ALL WORK. *** 1. (2-1)
More informationDeductive reasoning is the process of reasoning from accepted facts to a conclusion. if a = b and c = d, c 0, then a/c = b/d
Chapter 2 Reasoning Suppose you know the following two statements are true. 1. Every board member read their back-up material 2. Tom is a board member You can conclude: 3. Tom read his back-up material.
More informationStudy Guide and Review
State whether each sentence is or false. If false, replace the underlined term to make a sentence. 1. A postulate is a statement that requires proof. A postulate is a statement that does not require a
More informationWUCT121. Discrete Mathematics. Logic. Tutorial Exercises
WUCT11 Discrete Mathematics Logic Tutorial Exercises 1 Logic Predicate Logic 3 Proofs 4 Set Theory 5 Relations and Functions WUCT11 Logic Tutorial Exercises 1 Section 1: Logic Question1 For each of the
More informationAccelerated Math. Class work 3. Algebra.
Accelerated Math. Class work 3. Algebra. We say that a natural number is divisible by another natural number if the result of this operation is a natural number. If this is not the case then we can divide
More informationDISCOVERING GEOMETRY Over 6000 years ago, geometry consisted primarily of practical rules for measuring land and for
Name Period GEOMETRY Chapter One BASICS OF GEOMETRY Geometry, like much of mathematics and science, developed when people began recognizing and describing patterns. In this course, you will study many
More informationExercise 5.1: Introduction To Euclid s Geometry
Exercise 5.1: Introduction To Euclid s Geometry Email: info@mywayteaching.com Q1. Which of the following statements are true and which are false? Give reasons for your answers. (i)only one line can pass
More informationUnit 1: Introduction to Proof
Unit 1: Introduction to Proof Prove geometric theorems both formally and informally using a variety of methods. G.CO.9 Prove and apply theorems about lines and angles. Theorems include but are not restricted
More informationGeometry Chapter 2 Practice Free Response Test
Geometry Chapter 2 Practice Free Response Test Directions: Read each question carefully. Show ALL work. No work, No credit. This is a closed note and book test.. Identify Hypothesis and Conclusion of the
More informationIf two sides of a triangle are congruent, then it is an isosceles triangle.
1. What is the hypothesis of the conditional statement If two sides of a triangle are congruent, then it is an isosceles triangle. two sides of a triangle are congruent it is an isosceles triangle If two
More informationParagraph Proof, Two-Column Proof, Construction Proof, and Flow Chart Proof
.3 Forms of Proof Paragraph Proof, Two-Column Proof, Construction Proof, and Flow Chart Proof Learning Goals Key Terms In this lesson, you will: Use the addition and subtraction properties of equality.
More informationPROOFS IN MATHEMATICS
Appendix 1 PROOFS IN MATHEMATICS Proofs are to Mathematics what calligraphy is to poetry. Mathematical works do consist of proofs just as poems do consist of characters. VLADIMIR ARNOLD A.1.1 Introduction
More informationChapter 2 Study Guide and Review
State whether each sentence is true or false If false, replace the underlined term to make a true sentence 1 The first part of an if-then statement is the conjecture The first part of an if-then statement
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 information1.4 Reasoning and Proof
Name Class Date 1.4 Reasoning and Proof Essential Question: How do you go about proving a statement? Explore Exploring Inductive and Deductive Reasoning Resource Locker A conjecture is a statement that
More informationChapter 2 Practice Test
Name: Class: Date: ID: A Chapter 2 Practice Test 1. What is a counterexample for the conjecture? Conjecture: Any number that is divisible by 4 is also divisible by 8. 2. What is the conclusion of the following
More informationChapter 2-Reasoning and Proof
Chapter 2-Reasoning and Proof Multiple Choice Identify the choice that best completes the statement or answers the question. 1. Identify the hypothesis and conclusion of this conditional statement: If
More informationFind the next item in the pattern below. The red square moves in the counterclockwise direction. The next figure is.
CHAPTER 2 Study Guide: Review Organizer Objective: Help students organize and review key concepts and skills presented in Chapter 2. Online Edition Multilingual Glossary Countdown Week 4 Vocabulary biconditional
More informationIntegrated Math II. IM2.1.2 Interpret given situations as functions in graphs, formulas, and words.
Standard 1: Algebra and Functions Students graph linear inequalities in two variables and quadratics. They model data with linear equations. IM2.1.1 Graph a linear inequality in two variables. IM2.1.2
More informationJANE LONG ACADEMY HIGH SCHOOL MATH SUMMER PREVIEW PACKET SCHOOL YEAR. Geometry
JANE LONG ACADEMY HIGH SCHOOL MATH SUMMER PREVIEW PACKET 2015-2016 SCHOOL YEAR Geometry STUDENT NAME: THE PARTS BELOW WILL BE COMPLETED ON THE FIRST DAY OF SCHOOL: DUE DATE: MATH TEACHER: PERIOD: Algebra
More informationGEOMETRY CHAPTER 2: Deductive Reasoning
GEOMETRY CHAPTER 2: Deductive Reasoning NAME Page 1 of 34 Section 2-1: If-Then Statements; Converses Conditional Statement: If hypothesis, then conclusion. hypothesis conclusion converse conditional statement
More informationInt. Geometry Unit 2 Test Review 1
Int. Geometry Unit Test Review irections -: Use the diagram to determine if the angles are vertical, adjacent, supplementary, complementary, or a linear pair. Write all that apply.. and. and 6 0. 8 and
More informationGEOMETRY. 2.1 Conditional Statements
GEOMETRY 2.1 Conditional Statements ESSENTIAL QUESTION When is a conditional statement true or false? WHAT YOU WILL LEARN owrite conditional statements. ouse definitions written as conditional statements.
More informationLogic and Conditional Statements
Logic and Conditional Statements Organizing topic Reasoning and Proof Overview Students investigate symbolic form while working with conditional statements. Related Standard of Learning G.1 Objectives
More informationCSE 1400 Applied Discrete Mathematics Proofs
CSE 1400 Applied Discrete Mathematics Proofs Department of Computer Sciences College of Engineering Florida Tech Fall 2011 Axioms 1 Logical Axioms 2 Models 2 Number Theory 3 Graph Theory 4 Set Theory 4
More information2.2 Day 1: Date: Geometry
2.2 Day 1: Date: Geometry A Conditional Statement is an statement. The is the part following if. The is the part following then. Ex 1). What are the hypothesis and the conclusion of the conditional statement?
More informationUsing Inductive and Deductive Reasoning
Big Idea 1 CHAPTER SUMMARY BIG IDEAS Using Inductive and Deductive Reasoning For Your Notebook When you make a conjecture based on a pattern, you use inductive reasoning. You use deductive reasoning to
More informationright angle an angle whose measure is exactly 90ᴼ
right angle an angle whose measure is exactly 90ᴼ m B = 90ᴼ B two angles that share a common ray A D C B Vertical Angles A D C B E two angles that are opposite of each other and share a common vertex two
More informationPre-AP Geometry Chapter 2 Test Review Important Vocabulary: Conditional Converse Hypothesis Conclusion Segment Addition
1 Pre-AP Geometry Chapter 2 Test Review Important Vocabulary: Conditional Converse Hypothesis Conclusion Segment Addition Midpoint Postulate Right Angle Opposite Rays Angle Bisector Angle Addition Complementary
More information2.8 Proving angle relationships cont. ink.notebook. September 20, page 84 page cont. page 86. page 85. Standards. Cont.
2.8 Proving angle relationships cont. ink.notebook page 84 page 83 2.8 cont. page 85 page 86 Lesson Objectives Standards Lesson Notes 2.8 Proving Angle Relationships Cont. Press the tabs to view details.
More informationParallel and Perpendicular Lines
Cumulative Test Choose the best answer. 1. Which statement is NOT true? A Parallel lines do not intersect. B A segment has exactly two endpoints. C Two planes that do not intersect are always skew. D A
More informationChapter 5 Vocabulary:
Geometry Week 11 ch. 5 review sec. 6.3 ch. 5 review Chapter 5 Vocabulary: biconditional conclusion conditional conjunction connective contrapositive converse deductive reasoning disjunction existential
More informationCommon Segments Theorem (Flowchart Proof)
Common Segments Theorem (Flowchart Proof) Below is a flow proof proving the Common Segments Theorem. The Common Segments Theorem states that if a segment is combined with two congruent segments then the
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 informationGeometry Voic Mr. R. and Mr. K
2.1 Using Inductive Reasoning to Make Conjectures Learning Goal: Use inductive reasoning to identify patterns, make conjectures and find counterexamples to disprove conjectures. Video: http://player.discoveryeducation.com/index.cfm?guidassetid=b1b5f95d-f72e-4d18-b220-ff73204e9a74
More information2, 10, 30, 68, 130,...
Geometry Unit 4: Reasoning Unit 4 Review Mathematician: Period: Target 1: Discover patterns in a sequence of numbers and figures Directions: Determine what type of is displayed in the given tables. 1)
More information2.1 Practice A. Name Date. In Exercises 1 and 2, copy the conditional statement. Underline the hypothesis and circle the conclusion.
Name ate.1 Practice In Exercises 1 and, copy the conditional statement. Underline the hypothesis and circle the conclusion. 1. If you like the ocean, then you are a good swimmer.. If it is raining outside,
More informationChapter 2 Review. Short Answer Determine whether the biconditional statement about the diagram is true or false.
Chapter 2 Review Short Answer Determine whether the biconditional statement about the diagram is true or false. 1. are supplementary if and only if they form a linear pair. 2. are congruent if and only
More informationChapter Test. Chapter Tests LM 5 4, }} MO 5 14, } LN Answers. In Exercises 4 6, use the diagram. Geometry Benchmark Tests
Chapter Test For use after Chapter. Which of the following is not an undefined term? A. Point B. Plane C. Line D. Ray. Which of the following is an undefined term? A. Line B. Ray C. Segment D. Intersection
More informationUnit 2 Definitions and Proofs
2.1-2.4 Vocabulary Unit 2 efinitions and Proofs Inductive reasoning- reasoning based on examples, experience, or patterns to show that that a rule or statement is true Conjecture a statement you believe
More informationProofs. Chapter 2 P P Q Q
Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,
More informationQuiz today Thursday class will be held in B129 Friday class is cancelled Test #1 Week after the break (Wed, Thurs, or Fri?)
Sign up for Khan Academy with coach code TDXMZZ Read Ch 1 Ch 1 Review Problems pp. 36 38 #1 30 DUE FRIDAY 11/11 Read Ch 2 Ch 2 Review Problems pp. 71 74 #1 19, 31 49 DUE THURSDAY 11/17 Read Ch 3 Ch 3 Review
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 information2) Are all linear pairs supplementary angles? Are all supplementary angles linear pairs? Explain.
1) Explain what it means to bisect a segment. Why is it impossible to bisect a line? 2) Are all linear pairs supplementary angles? Are all supplementary angles linear pairs? Explain. 3) Explain why a four-legged
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 information1 Implication and induction
1 Implication and induction This chapter is about various kinds of argument which are used in mathematical proofs. When you have completed it, you should know what is meant by implication and equivalence,
More information2.4 Algebraic and Congruence Properties
2.4 Algebraic and Congruence Properties Learning Objectives Understand basic properties of equality and congruence. Solve equations and justify each step in the solution. Use a 2-column format to prove
More informationINTRODUCTION TO LOGIC
INTRODUCTION TO LOGIC L. MARIZZA A. BAILEY 1. The beginning of Modern Mathematics Before Euclid, there were many mathematicians that made great progress in the knowledge of numbers, algebra and geometry.
More informationExercise 2.1. Identify the error or errors in the proof that all triangles are isosceles.
Exercises for Chapter Two He is unworthy of the name of man who is ignorant of the fact that the diagonal of a square is incommensurable with its side. Plato (429 347 B.C.) Exercise 2.1. Identify the error
More informationGeometry Note Cards EXAMPLE:
Geometry Note Cards EXAMPLE: Lined Side Word and Explanation Blank Side Picture with Statements Sections 12-4 through 12-5 1) Theorem 12-3 (p. 790) 2) Theorem 12-14 (p. 790) 3) Theorem 12-15 (p. 793) 4)
More informationChapter 2. Worked-Out Solutions Quiz (p. 90)
2.1 2.3 Quiz (p. 90) 1. If-then form: If an angle measures 167, then the angle is an obtuse angle. (True) Converse: If an angle is obtuse, then the angle measures 167. (False) Inverse: If an angle does
More informationChapter 2 Review - Formal Geometry
*This packet is due on the day of the test:. It is worth 10 points. ALL WORK MUST BE SHOWN FOR FULL CREDIT!!! Multiple Choice Identify the choice that best completes the statement or answers the question.
More informationĚ /DZ RI 6\OORJLVP p. 60. Ě 5HIOH[LYH 3URSHUW\ p. 65 Ě conclusion, p. 49. Ě QHJDWLRQ p. 49. Ě 6\PPHWULF 3URSHUW\ p. 65 Ě conditional, p.
Topic 2 Review TOPIC VOCBULRY Ě biconditional, p. 55 Ě GHGXFWLYH UHDVRQLQJ p. 60 Ě /DZ RI 6\OORJLVP p. 60 Ě 5HIOH[LYH 3URSHUW\ p. 65 Ě conclusion, p. 49 Ě GLDPHWHU p. 44 Ě QHJDWLRQ p. 49 Ě 6\PPHWULF 3URSHUW\
More informationA Statement; Logical Operations
A Statement; Logical Operations Mathematical logic is a branch of mathematics that deals with the formal principles, methods and criteria of validity of reasoning and knowledge. Logic is concerned with
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 informationCSE 20. Final Review. CSE 20: Final Review
CSE 20 Final Review Final Review Representation of integers in base b Logic Proof systems: Direct Proof Proof by contradiction Contraposetive Sets Theory Functions Induction Final Review Representation
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 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 informationInductive Reasoning. Inductive Reasoning. Inductive Reasoning. Inductive Reasoning. Logic (with Truth Tables) If-Then Statements
Intro to Proofs (t-charts and paragraph) www.njctl.org Table of Contents When asked a question you don't know the answer to: 1) You can take a known to be true. Using conjecture is Contents Bob is taller
More informationGeometry Unit 1 Segment 3 Practice Questions
Name: Class: _ Date: _ Geometry Unit 1 Segment 3 Practice Questions Multiple Choice Identify the choice that best completes the statement or answers the question. 1. Based on the pattern, what are the
More informationCOT 2104 Homework Assignment 1 (Answers)
1) Classify true or false COT 2104 Homework Assignment 1 (Answers) a) 4 2 + 2 and 7 < 50. False because one of the two statements is false. b) 4 = 2 + 2 7 < 50. True because both statements are true. c)
More information