Indirect Proofs. State the hypothesis and the conclusion of the following conditional statement:

Size: px
Start display at page:

Download "Indirect Proofs. State the hypothesis and the conclusion of the following conditional statement:"

Transcription

1 State the hypothesis and the conclusion of the following conditional statement: If it is cold outside, then Mr. Bates will wear a coat. Write your own conditional statement and state the hypothesis and the conclusion. 1

2 What are the first steps when writing a proof (either a two column or a flowchart proof)? What is the last step when writing a proof? 2

3 Every conditional statement written in the form If p, then q has three additional conditional statements associated with it: converse, contrapositive, and inverse. Recall from previous lessons, to state the converse, reverse the hypothesis, p, and the conclusion, q. To state the inverse, negate both parts. To state the contrapositive, negate each part and reverse them. 3

4 Conditional Statement Converse Inverse Contrapositive 4

5 For each conditional statement written in propositional form, identify the hypothesis p and the conclusion q. Identify the negation of the hypothesis and conclusion, and then write the inverse and contrapositive of the conditional statement. 1.If a quadrilateral is a square, then the quadrilateral is a rectangle. a. Hypothesis p: b. Conclusion q: c. Is the conditional statement true? Explain. d. Not p: e. Not q: f. Inverse: g. Is the inverse true? Explain. h. Contrapositive: i. Is the contrapositive true? Explain. 5

6 If an integer is even, then the integer is divisible by two. a. Hypothesis p: b. Conclusion q: c. Is the conditional statement true? Explain. d. Not p: e. Not q: f. Inverse: g. Is the inverse true? Explain. h. Contrapositive: i. Is the contrapositive true? Explain. 6

7 If a polygon has six sides, then the polygon is a pentagon. a. Hypothesis p: b. Conclusion q: c. Is the conditional statement true? Explain. d. Not p: e. Not q: f. Inverse: g. Is the inverse true? Explain. h. Contrapositive: i. Is the contrapositive true? Explain. 7

8 What do you notice about the truth value of a conditional statement and the truth value of its inverse? What do you notice about the truth value of a conditional statement and the truth value of its contrapositive? 8

9 All of the proofs up to this point were direct proofs. A direct proof begins with the given information and works to the desired conclusion directly through the use of givens, definitions, properties, postulates, and theorems. An indirect proof is different and may be shorter than a direct proof. An indirect proof, or proof by contradiction, uses the contrapositive. If you prove the contrapositive true, then the statement is true. Begin by assuming the conclusion is false and use this assumption to show one of the given statements is false, thereby creating a contradiction. 9

10 In an indirect proof: State the assumption; use the negation of the conclusion or prove statement. Write the givens. Write the negation of the conclusion. Use the assumption, in conjunction with definitions, properties, postulates, and theorems, to prove a given statement is false, thus creating a contradiction. 10

11 Write the negation of the conclusion. Use the assumption, in conjunction with definitions, properties, postulates, and theorems, to prove a given statement is false, thus creating a contradiction. Hence, your assumption leads to a contradiction; therefore, the assumption must be false. This proves the contrapositive. Let s look at an example of an indirect proof. C Given: In!CHT, CH! CT CA does not bisect HT Prove:!CHA "!CTA H e Note, you are to prove "!CTA. ssume the on of this ment,!!cta. ecomes the A Statements 1.!CHA!!CTA Reasons 1. Assumption 2. CA does not bisect HT 2. Given 3. HA! TA 3. CPCTC T 4. CA bisects HT 4. Definition of bisect 5.!CHA!!CTA is false 5. This is a contradiction. Step 4 contradicts step 2; 11

12 R B Statements N Reasons 2. When writing an indirect proof, it is often easier to write it as a paragraph proof. Write the proof in Question 1 as a paragraph proof. 12

13 Now try one yourself! A 1. Given: BR bisects!abn!bra!!brn Prove: AB! NB R B Statements N Reasons 13

14 R B Statements N Reasons 2. When writing an indirect proof, it is often easier to write it as a paragraph proof. Write the proof in Question 1 as a paragraph proof. 14

15 28. Given: ET! DT and EU # DU T Prove: EX # DX E X U D 2010 Carnegie Learning, Inc. 6 15

16 R B Statements N Reasons 2. When writing an indirect proof, it is often easier to write it as a paragraph proof. Write the proof in Question 1 as a paragraph proof. 16

Geometry - Chapter 2 Corrective 1

Geometry - 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 information

Connectives Name Symbol OR Disjunction And Conjunction If then Implication/ conditional If and only if Bi-implication / biconditional

Connectives 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 information

Sec$on Summary. Mathematical Proofs Forms of Theorems Trivial & Vacuous Proofs Direct Proofs Indirect Proofs

Sec$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

1. Propositions: Contrapositives and Converses

1. 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 information

2.1 Start Thinking. 2.1 Warm Up. 2.1 Cumulative Review Warm Up

2.1 Start Thinking. 2.1 Warm Up. 2.1 Cumulative Review Warm Up 2.1 Start Thinking The statement If you are able to open the door, then the door is unlocked is always true. Write a statement you know to be true in the same if-then form. Support your statement with

More information

Click the mouse button or press the Space Bar to display the answers.

Click the mouse button or press the Space Bar to display the answers. Click the mouse button or press the Space Bar to display the answers. Questions On yesterday s Assignment? 2-3 Objectives You will learn to: Write the converse, inverse, and contrapositive of if-then

More information

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

The 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 information

CSC Discrete Math I, Spring Propositional Logic

CSC Discrete Math I, Spring Propositional Logic CSC 125 - Discrete Math I, Spring 2017 Propositional Logic Propositions A proposition is a declarative sentence that is either true or false Propositional Variables A propositional variable (p, q, r, s,...)

More information

- involve reasoning to a contradiction. 1. Emerson is the tallest. On the assumption that the second statement is the true one, we get: 2. 3.

- involve reasoning to a contradiction. 1. Emerson is the tallest. On the assumption that the second statement is the true one, we get: 2. 3. Math 61 Section 3.1 Indirect Proof A series of lessons in a subject that contradicted each other would make that subject very confusing. Yet, in reasoning deductively in geometry, it is sometimes helpful

More information

Proofs. Joe Patten August 10, 2018

Proofs. 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

Math Real Analysis

Math 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 information

Geometry Unit 2 Notes Logic, Reasoning and Proof

Geometry 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 information

Proof Terminology. Technique #1: Direct Proof. Learning objectives. Proof Techniques (Rosen, Sections ) Direct Proof:

Proof Terminology. Technique #1: Direct Proof. Learning objectives. Proof Techniques (Rosen, Sections ) Direct Proof: Proof Terminology Proof Techniques (Rosen, Sections 1.7 1.8) TOPICS Direct Proofs Proof by Contrapositive Proof by Contradiction Proof by Cases Theorem: statement that can be shown to be true Proof: a

More information

Logic CHAPTER. 3.1 A Little Dash of Logic Two Methods of Logical Reasoning p. 101

Logic CHAPTER. 3.1 A Little Dash of Logic Two Methods of Logical Reasoning p. 101 CHAPTER Logic Riding a bicycle is a skill which, once learned, is rarely forgotten. What s more, bicycles are enough alike that if you can ride one bike, you can pretty much ride them all. This is an example

More information

2 Truth Tables, Equivalences and the Contrapositive

2 Truth Tables, Equivalences and the Contrapositive 2 Truth Tables, Equivalences and the Contrapositive 12 2 Truth Tables, Equivalences and the Contrapositive 2.1 Truth Tables In a mathematical system, true and false statements are the statements of the

More information

Warm Up Lesson Presentation Lesson Quiz. Holt McDougal Geometry

Warm Up Lesson Presentation Lesson Quiz. Holt McDougal Geometry 2-4 Warm Up Lesson Presentation Lesson Quiz Geometry Warm Up Write a conditional statement from each of the following. 1. The intersection of two lines is a point. If two lines intersect, then they intersect

More information

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. (x 1) 2 > 0.

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. (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 information

Steinhardt School of Culture, Education, and Human Development Department of Teaching and Learning. Mathematical Proof and Proving (MPP)

Steinhardt School of Culture, Education, and Human Development Department of Teaching and Learning. Mathematical Proof and Proving (MPP) Steinhardt School of Culture, Education, and Human Development Department of Teaching and Learning Terminology, Notations, Definitions, & Principles: Mathematical Proof and Proving (MPP) 1. A statement

More information

2-4. Holt McDougal Geometry

2-4. Holt McDougal Geometry Warm Up Write a conditional statement from each of the following. 1. The intersection of two lines is a point. If two lines intersect, then they intersect in a point. 2. An odd number is one more than

More information

1. Grab board/marker for your group 2. Do WarmUp below

1. Grab board/marker for your group 2. Do WarmUp below 1. Grab board/marker for your group 2. Do WarmUp below TP bisects VS and MR. VM is congruent to SR. MP = 9, VT = 6 Perimeter of MRSV = 62 V T S Find VM. M P R Paragraph Proof D (2x) x 60 A B C Given: Diagram

More information

ELEMENTARY NUMBER THEORY AND METHODS OF PROOF

ELEMENTARY NUMBER THEORY AND METHODS OF PROOF CHAPTER 4 ELEMENTARY NUMBER THEORY AND METHODS OF PROOF Copyright Cengage Learning. All rights reserved. SECTION 4.6 Indirect Argument: Contradiction and Contraposition Copyright Cengage Learning. All

More information

2. The Logic of Compound Statements Summary. Aaron Tan August 2017

2. The Logic of Compound Statements Summary. Aaron Tan August 2017 2. The Logic of Compound Statements Summary Aaron Tan 21 25 August 2017 1 2. The Logic of Compound Statements 2.1 Logical Form and Logical Equivalence Statements; Compound Statements; Statement Form (Propositional

More information

AMTH140 Lecture 8. Symbolic Logic

AMTH140 Lecture 8. Symbolic Logic AMTH140 Lecture 8 Slide 1 Symbolic Logic March 10, 2006 Reading: Lecture Notes 6.2, 6.3; Epp 1.1, 1.2 Logical Connectives Let p and q denote propositions, then: 1. p q is conjunction of p and q, meaning

More information

Unit 2: Logic and Reasoning. start of unit

Unit 2: Logic and Reasoning. start of unit Unit 2: Logic and Reasoning Prior Unit: Introduction to Geometry Next Unit: Transversals By the end of this unit I will be able to: Skill Self-Rating start of unit Date(s) covered Self-Rating end of unit

More information

Geometry Study Guide. Name: Class: Date: Matching

Geometry 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 information

COMP 182 Algorithmic Thinking. Proofs. Luay Nakhleh Computer Science Rice University

COMP 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 information

Proof by Contradiction

Proof 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 information

Chapter 1, Logic and Proofs (3) 1.6. Rules of Inference

Chapter 1, Logic and Proofs (3) 1.6. Rules of Inference CSI 2350, Discrete Structures Chapter 1, Logic and Proofs (3) Young-Rae Cho Associate Professor Department of Computer Science Baylor University 1.6. Rules of Inference Basic Terminology Axiom: a statement

More information

2.2: Logical Equivalence: The Laws of Logic

2.2: Logical Equivalence: The Laws of Logic Example (2.7) For primitive statement p and q, construct a truth table for each of the following compound statements. a) p q b) p q Here we see that the corresponding truth tables for two statement p q

More information

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

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 Midterm: Sample 3 ECS20 (Fall 2017) Part I: logic 1) Using truth tables, establish for each of the two propositions below if it is a tautology, a contradiction or neither. 1) [p (q r)] [((r p) q) q] Let

More information

Geometry Unit 2 Notes Logic, Reasoning and Proof

Geometry 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 information

Geometry. Unit 2- Reasoning and Proof. Name:

Geometry. 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 information

Ready 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 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 information

Deduction by Daniel Bonevac. Chapter 3 Truth Trees

Deduction by Daniel Bonevac. Chapter 3 Truth Trees Deduction by Daniel Bonevac Chapter 3 Truth Trees Truth trees Truth trees provide an alternate decision procedure for assessing validity, logical equivalence, satisfiability and other logical properties

More information

CSE 20 DISCRETE MATH. Winter

CSE 20 DISCRETE MATH. Winter CSE 20 DISCRETE MATH Winter 2017 http://cseweb.ucsd.edu/classes/wi17/cse20-ab/ Today's learning goals Evaluate which proof technique(s) is appropriate for a given proposition Direct proof Proofs by contraposition

More information

Contradiction MATH Contradiction. Benjamin V.C. Collins, James A. Swenson MATH 2730

Contradiction MATH Contradiction. Benjamin V.C. Collins, James A. Swenson MATH 2730 MATH 2730 Contradiction Benjamin V.C. Collins James A. Swenson Contrapositive The contrapositive of the statement If A, then B is the statement If not B, then not A. A statement and its contrapositive

More information

The proposition p is called the hypothesis or antecedent. The proposition q is called the conclusion or consequence.

The proposition p is called the hypothesis or antecedent. The proposition q is called the conclusion or consequence. The Conditional (IMPLIES) Operator The conditional operation is written p q. The proposition p is called the hypothesis or antecedent. The proposition q is called the conclusion or consequence. The Conditional

More information

COT 2104 Homework Assignment 1 (Answers)

COT 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

Basic Proof Examples

Basic 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 information

PROBLEM SET 3: PROOF TECHNIQUES

PROBLEM 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 information

CN#4 Biconditional Statements and Definitions

CN#4 Biconditional Statements and Definitions CN#4 s and Definitions OBJECTIVES: STUDENTS WILL BE ABLE TO WRITE AND ANALYZE BICONDITIONAL STATEMENTS. Vocabulary biconditional statement definition polygon triangle quadrilateral When you combine a conditional

More information

Some Review Problems for Exam 1: Solutions

Some Review Problems for Exam 1: Solutions 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

More information

More examples of mathematical. Lecture 4 ICOM 4075

More 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 information

Lecture 2. Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits. Reading (Epp s textbook)

Lecture 2. Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits. Reading (Epp s textbook) Lecture 2 Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits Reading (Epp s textbook) 2.1-2.4 1 Logic Logic is a system based on statements. A statement (or

More information

Solutions to Sample Problems for Midterm

Solutions to Sample Problems for Midterm Solutions to Sample Problems for Midterm Problem 1. The dual of a proposition is defined for which contains only,,. It is For a compound proposition that only uses,, as operators, we obtained the dual

More information

Find the next item in the pattern below. The red square moves in the counterclockwise direction. The next figure is.

Find 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 information

Geometry: Notes

Geometry: 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 information

Math 300 Introduction to Mathematical Reasoning Autumn 2017 Proof Templates 1

Math 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 information

For all For every For each For any There exists at least one There exists There is Some

For 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 information

PS10.3 Logical implications

PS10.3 Logical implications Warmup: Construct truth tables for these compound statements: 1) p (q r) p q r p q r p (q r) PS10.3 Logical implications Lets check it out: We will be covering Implications, logical equivalence, converse,

More information

Proofs. Introduction II. Notes. Notes. Notes. Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry. Fall 2007

Proofs. Introduction II. Notes. Notes. Notes. Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry. Fall 2007 Proofs Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry Fall 2007 Computer Science & Engineering 235 Introduction to Discrete Mathematics Sections 1.5, 1.6, and 1.7 of Rosen cse235@cse.unl.edu

More information

Meaning of Proof Methods of Proof

Meaning 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 information

Reasoning and Proof Unit

Reasoning 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 information

The following statements are conditional: Underline each hypothesis and circle each conclusion.

The 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 information

Lecture 2: Proof Techniques Lecturer: Lale Özkahya

Lecture 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 information

2.1 Practice A. Name Date. In Exercises 1 and 2, copy the conditional statement. Underline the hypothesis and circle the conclusion.

2.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 information

What is Logic? Introduction to Logic. Simple Statements. Which one is statement?

What is Logic? Introduction to Logic. Simple Statements. Which one is statement? What is Logic? Introduction to Logic Peter Lo Logic is the study of reasoning It is specifically concerned with whether reasoning is correct Logic is also known as Propositional Calculus CS218 Peter Lo

More information

CSE 20 DISCRETE MATH. Winter

CSE 20 DISCRETE MATH. Winter CSE 20 DISCRETE MATH Winter 2017 http://cseweb.ucsd.edu/classes/wi17/cse20-ab/ Today's learning goals Distinguish between a theorem, an axiom, lemma, a corollary, and a conjecture. Recognize direct proofs

More information

2-1. Inductive Reasoning and Conjecture. Lesson 2-1. What You ll Learn. Active Vocabulary

2-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 information

Assignment Assignment for Lesson 6.1

Assignment Assignment for Lesson 6.1 Assignment Assignment for Lesson.1 Name Date Constructing Congruent Triangles or Not Constructing Triangles In each exercise, do the following. a. Use the given information to construct a triangle. b.

More information

1.1 Language and Logic

1.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 information

Chapter 2. Reasoning and Proof

Chapter 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 information

Conditional Statements

Conditional Statements 2-2 Conditional Statements Common Core State Standards Prepares for G-CO.C.9 Prove theorems about lines and angles. Also Prepares for G-CO.C.10, G-CO.C.11 MP 3, MP 6, MP 7 Objectives To recognize conditional

More information

Chapter 6 Summary 6.1. Using the Hypotenuse-Leg (HL) Congruence Theorem. Example

Chapter 6 Summary 6.1. Using the Hypotenuse-Leg (HL) Congruence Theorem. Example Chapter Summary Key Terms corresponding parts of congruent triangles are congruent (CPCTC) (.2) vertex angle of an isosceles triangle (.3) inverse (.4) contrapositive (.4) direct proof (.4) indirect proof

More information

Section 1.2 Propositional Equivalences. A tautology is a proposition which is always true. A contradiction is a proposition which is always false.

Section 1.2 Propositional Equivalences. A tautology is a proposition which is always true. A contradiction is a proposition which is always false. Section 1.2 Propositional Equivalences A tautology is a proposition which is always true. Classic Example: P P A contradiction is a proposition which is always false. Classic Example: P P A contingency

More information

Mathematical Reasoning Rules of Inference & Mathematical Induction. 1. Assign propositional variables to the component propositional argument.

Mathematical Reasoning Rules of Inference & Mathematical Induction. 1. Assign propositional variables to the component propositional argument. Mathematical Reasoning Rules of Inference & Mathematical Induction Example. If I take the day off it either rains or snows 2. When It rains, my basement floods 3. When the basement floods or it snows,

More information

Logic Practice 2018 [95 marks]

Logic Practice 2018 [95 marks] Logic Practice 2018 [95 marks] Consider the following logic propositions. p: Sandi gets up before eight o clock q: Sandi goes for a run r: Sandi goes for a swim 1a. Write down in words the compound proposition

More information

Proofs: A General How To II. Rules of Inference. Rules of Inference Modus Ponens. Rules of Inference Addition. Rules of Inference Conjunction

Proofs: A General How To II. Rules of Inference. Rules of Inference Modus Ponens. Rules of Inference Addition. Rules of Inference Conjunction Introduction I Proofs Computer Science & Engineering 235 Discrete Mathematics Christopher M. Bourke cbourke@cse.unl.edu A proof is a proof. What kind of a proof? It s a proof. A proof is a proof. And when

More information

MATH 135 Fall 2006 Proofs, Part IV

MATH 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 information

Compound Propositions

Compound Propositions Discrete Structures Compound Propositions Producing new propositions from existing propositions. Logical Operators or Connectives 1. Not 2. And 3. Or 4. Exclusive or 5. Implication 6. Biconditional Truth

More information

Mat 243 Exam 1 Review

Mat 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 information

3.6. Disproving Quantified Statements Disproving Existential Statements

3.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 information

Strategies for Proofs

Strategies 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 information

ADVICE. Since we will need to negate sentences, it is important to review seccons 7 and 11 before proceeding.

ADVICE. Since we will need to negate sentences, it is important to review seccons 7 and 11 before proceeding. 20.CONTRADICTION AND CONTRAPOSITIVE We address, once again, the ques2on of how to prove a mathema2cal statement of the form if A, then B. We have used so far the template for a direct proof: unravel A,

More information

Methods of Proof and Logic

Methods of Proof and Logic UNIT 2 Methods of Proof and Logic Logic and reasoning will help you in many parts of your life. In talking with friends, listening to political speeches, and learning math, science, and even English literature

More information

Basic Logic and Proof Techniques

Basic 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 information

ANALYSIS EXERCISE 1 SOLUTIONS

ANALYSIS EXERCISE 1 SOLUTIONS ANALYSIS EXERCISE 1 SOLUTIONS 1. (a) Let B The main course will be beef. F The main course will be fish. P The vegetable will be peas. C The vegetable will be corn. The logical form of the argument is

More information

Supplementary exercises in propositional logic

Supplementary exercises in propositional logic Supplementary exercises in propositional logic The purpose of these exercises is to train your ability to manipulate and analyze logical formulas. Familiarize yourself with chapter 7.3-7.5 in the course

More information

Exercise Set 1 Solutions Math 2020 Due: January 30, Find the truth tables of each of the following compound statements.

Exercise Set 1 Solutions Math 2020 Due: January 30, Find the truth tables of each of the following compound statements. 1. Find the truth tables of each of the following compound statements. (a) ( (p q)) (p q), p q p q (p q) q p q ( (p q)) (p q) 0 0 0 1 1 1 1 0 1 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 0 0 1 0 (b) [p ( p q)] [( (p

More information

CSE 20 DISCRETE MATH WINTER

CSE 20 DISCRETE MATH WINTER CSE 20 DISCRETE MATH WINTER 2016 http://cseweb.ucsd.edu/classes/wi16/cse20-ab/ Today's learning goals Evaluate which proof technique(s) is appropriate for a given proposition Direct proof Proofs by contraposition

More information

CSE 20 DISCRETE MATH SPRING

CSE 20 DISCRETE MATH SPRING CSE 20 DISCRETE MATH SPRING 2016 http://cseweb.ucsd.edu/classes/sp16/cse20-ac/ Today's learning goals Evaluate which proof technique(s) is appropriate for a given proposition Direct proof Proofs by contraposition

More information

Elementary Linear Algebra, Second Edition, by Spence, Insel, and Friedberg. ISBN Pearson Education, Inc., Upper Saddle River, NJ.

Elementary Linear Algebra, Second Edition, by Spence, Insel, and Friedberg. ISBN Pearson Education, Inc., Upper Saddle River, NJ. 2008 Pearson Education, Inc., Upper Saddle River, NJ. All rights reserved. APPENDIX: Mathematical Proof There are many mathematical statements whose truth is not obvious. For example, the French mathematician

More information

Propositional Logic: Equivalence

Propositional Logic: Equivalence Propositional Logic: Equivalence Alice Gao Lecture 5 Based on work by J. Buss, L. Kari, A. Lubiw, B. Bonakdarpour, D. Maftuleac, C. Roberts, R. Trefler, and P. Van Beek 1/42 Outline Propositional Logic:

More information

2 Conditional and Biconditional Propositions

2 Conditional and Biconditional Propositions 18 FUNDAMENTALS OF MATHEMATICAL LOGIC 2 Conditional and Biconditional Propositions Let p and q be propositions. The implication p! q is the proposition that is false only when p is true and q is false;

More information

Propositional Equivalence

Propositional Equivalence Propositional Equivalence Tautologies and contradictions A compound proposition that is always true, regardless of the truth values of the individual propositions involved, is called a tautology. Example:

More information

Study Guide and Review

Study 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 information

Logic and Proofs. (A brief summary)

Logic and Proofs. (A brief summary) Logic and Proofs (A brief summary) Why Study Logic: To learn to prove claims/statements rigorously To be able to judge better the soundness and consistency of (others ) arguments To gain the foundations

More information

Discrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 1

Discrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 1 EECS 70 Discrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 1 Getting Started In order to be fluent in mathematical statements, you need to understand the basic framework of the language

More information

Math 10850, fall 2017, University of Notre Dame

Math 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 information

JANE LONG ACADEMY HIGH SCHOOL MATH SUMMER PREVIEW PACKET SCHOOL YEAR. Geometry

JANE 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 information

Notes #35: Inequalities and Reasoning (Sections 6.1 and 6.2)

Notes #35: Inequalities and Reasoning (Sections 6.1 and 6.2) Geometry Rules! Chapter 6 Notes - 1 - Notes #35: Inequalities and Reasoning (Sections 6.1 and 6.) lgebraic Inequalities in if/then form: (Hint: given that the if statement is true, can we say that the

More information

HONORS GEOMETRY CHAPTER 2 WORKBOOK

HONORS 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 information

Unit 2: Geometric Reasoning Section 1: Inductive Reasoning

Unit 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 information

CSE 20 DISCRETE MATH. Fall

CSE 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

HW1 graded review form? HW2 released CSE 20 DISCRETE MATH. Fall

HW1 graded review form? HW2 released CSE 20 DISCRETE MATH. Fall CSE 20 HW1 graded review form? HW2 released DISCRETE MATH Fall 2017 http://cseweb.ucsd.edu/classes/fa17/cse20-ab/ Today's learning goals Translate sentences from English to propositional logic using appropriate

More information

2.2 Definitions and Biconditional Statements. Geometry Mr. Peebles 03/20/13

2.2 Definitions and Biconditional Statements. Geometry Mr. Peebles 03/20/13 2.2 Definitions and Biconditional Statements Geometry Mr. Peebles 03/20/13 Geometry Bell Ringer Write the Contrapositive of the following conditional statement: If the polygon has three sides, then it

More information

CS 340: Discrete Structures for Engineers

CS 340: Discrete Structures for Engineers CS 340: Discrete Structures for Engineers Instructor: Prof. Harry Porter Office: FAB 115-06 harry@cs.pdx.edu Hours: Mon 3-4, Wed 3-4, or by appointment Website: web.cecs.pdx.edu/~harry/discrete Class Mailing

More information

MATHEMATICAL REASONING

MATHEMATICAL REASONING J-Mathematics MATHMATICAL RASONING 1. STATMNT : A sentence which is either true or false but cannot be both are called a statement. A sentence which is an exclamatory or a wish or an imperative or an interrogative

More information

2-1 Using Inductive Reasoning to Make Conjectures

2-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 information

CHAPTER 1 - LOGIC OF COMPOUND STATEMENTS

CHAPTER 1 - LOGIC OF COMPOUND STATEMENTS CHAPTER 1 - LOGIC OF COMPOUND STATEMENTS 1.1 - Logical Form and Logical Equivalence Definition. A statement or proposition is a sentence that is either true or false, but not both. ex. 1 + 2 = 3 IS a statement

More information