Logic The Conditional and Related Statements Resources: HRW Geometry, Lesson 12.3.

Slides:



Advertisements
Similar presentations
Inverses, Contrapositives, and Indirect Reasoning
Advertisements

Logic Day Two.
Geometry Chapter 2 Terms.
The Conditional & Biconditional MATH 102 Contemporary Math S. Rook.
Conditional Statements Geometry Chapter 2, Section 1.
John Rosson Thursday February 15, 2007 Survey of Mathematical Ideas Math 100 Chapter 3, Logic.
Part 2 Module 2 The Conditional Statement. The Conditional Statement A conditional statement is a statement of the form "If p, then q," denoted pqpq.
EXAMPLE 2 Write four related conditional statements Write the if-then form, the converse, the inverse, and the contrapositive of the conditional statement.
Notes on Logic Continued
Conditional Statements
Logic Chapter 2. Proposition "Proposition" can be defined as a declarative statement having a specific truth-value, true or false. Examples: 2 is a odd.
1 Math 306 Foundations of Mathematics I Math 306 Foundations of Mathematics I Goals of this class Introduction to important mathematical concepts Development.
Conditional Statements
Propositional Logic Lecture 2: Sep 9. Conditional Statement If p then q p is called the hypothesis; q is called the conclusion “If your GPA is 4.0, then.
TRUTH TABLES. Introduction Statements have truth values They are either true or false but not both Statements may be simple or compound Compound statements.
Logic ChAPTER 3.
Propositional Logic.
2 pt 3 pt 4 pt 5 pt 1 pt 2 pt 3 pt 4 pt 5 pt 1 pt 2 pt 3 pt 4 pt 5 pt 1 pt 2 pt 3 pt 4 pt 5 pt 1 pt 2 pt 3 pt 4 pt 5 pt 1 pt Truth Value Conjunction and.
Welcome to Interactive Chalkboard 2.3 Conditional Statements.
Chapter 1 Section 1.4 More on Conditionals. There are three statements that are related to a conditional statement. They are called the converse, inverse.
Conditional Statements M Deductive Reasoning Proceeds from a hypothesis to a conclusion. If p then q. p  q hypothesis  conclusion.
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.3, Slide Logic The Study of What’s True or False or Somewhere in Between.
Section 1.5 Implications. Implication Statements If Cara has a piano lesson, then it is Friday. If it is raining, then I need to remember my umbrella.
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.3, Slide Logic The Study of What’s True or False or Somewhere in Between.
Section 1-4 Logic Katelyn Donovan MAT 202 Dr. Marinas January 19, 2006.
BY: MISS FARAH ADIBAH ADNAN IMK. CHAPTER OUTLINE: PART III 1.3 ELEMENTARY LOGIC INTRODUCTION PROPOSITION COMPOUND STATEMENTS LOGICAL.
2.3 Analyze Conditional Statements. Objectives Analyze statements in if-then form. Analyze statements in if-then form. Write the converse, inverse, and.
(CSC 102) Lecture 3 Discrete Structures. Previous Lecture Summary Logical Equivalences. De Morgan’s laws. Tautologies and Contradictions. Laws of Logic.
Fall 2002CMSC Discrete Structures1 Let’s get started with... Logic !
Ch.2 Reasoning and Proof Pages Inductive Reasoning and Conjecture (p.62) - A conjecture is an educated guess based on known information.
Conditional. Conditional Statements Vocabulary Conditional: A compound sentence formed by using the words if….then. Given the simple sentences p and q,
Lesson 2-3 Conditional Statements. 5-Minute Check on Lesson 2-2 Transparency 2-3 Use the following statements to write a compound statement for each conjunction.
Chapter 3 section 3. Conditional pqpqpq TTT TFF FTT FFT The p is called the hypothesis and the q is called the conclusion.
Students will analyze statements, write definitions as conditional statements and verify validity. Why? So you can verify statements, as seen in Ex 2.
2.2 – Analyze Conditional Statements
Lecture 4. CONDITIONAL STATEMENTS: Consider the statement: "If you earn an A in Math, then I'll buy you a computer." This statement is made up of two.
Conditional Statements
CONDITIONALS. Conditional Statement: Any statement that is or can be written in if- then form. That is, If p then q.
2.2 – Analyze Conditional Statements. Conditional Statement Hypothesis Conclusion Logical statement written in if-then form. If p, then q. pqpq Statement.
LOGIC Lesson 2.1. What is an on-the-spot Quiz  This quiz is defined by me.  While I’m having my lectures, you have to be alert.  Because there are.
CSE 20: Discrete Mathematics for Computer Science Prof. Shachar Lovett.
Conditional Statements
Chapter 3: Introduction to Logic. Logic Main goal: use logic to analyze arguments (claims) to see if they are valid or invalid. This is useful for math.
MADAM SITI AISYAH ZAKARIA. CHAPTER OUTLINE: PART III 1.3 ELEMENTARY LOGIC LOGICAL CONNECTIVES CONDITIONAL STATEMENT.
Unit 01 – Lesson 07 – Conditional Statements
Lecture 9 Conditional Statements CSCI – 1900 Mathematics for Computer Science Fall 2014 Bill Pine.
How do I show that two compound propositions are logically equivalent?
LOGIC.
Lesson 20 INTERPRETING TRUTH TABLES. Review Conditional Statements (Less. 17) Original If p, then q. Converse If q, then p. Inverse If ~p, then ~q. Contrapositive.
Conditional Statements – Page 1CSCI 1900 – Discrete Structures CSCI 1900 Discrete Structures Conditional Statements Reading: Kolman, Section 2.2.
Joan Ridgway. If a proposition is not indeterminate then it is either true (T) or false (F). True and False are complementary events. For two propositions,
Section 2.3: Deductive Reasoning
Conditional Statements Lecture 2 Section 1.2 Fri, Jan 20, 2006.
Mathematics for Computing Lecture 2: Computer Logic and Truth Tables Dr Andrew Purkiss-Trew Cancer Research UK
TRUTH TABLES Edited from the original by: Mimi Opkins CECS 100 Fall 2011 Thanks for the ppt.
Conditional statement or implication IF p then q is denoted p ⇒ q p is the antecedent or hypothesis q is the consequent or conclusion ⇒ means IF…THEN.
Section 1.3 Implications. Vocabulary Words conditional operation ( ⇒ or →) conditional proposition conditional statement (implication statement) hypothesis.
Reasoning and Proof Chapter Use Inductive Reasoning Conjecture- an unproven statement based on an observation Inductive reasoning- finding a pattern.
2.1 Inductive Reasoning and Conjecture 2.2 Logic 2.3 Conditional Statements 2.8 Angle Relationships Chapter 2: Reasoning & Proof.
Aim 1.4: To work with conditionals and biconditionals Do Now: Determine the truth value of the following sentences: 1.9 is a prime number and New York.
Deductive and Inductive reasoning
Chapter 1 Logic and proofs
2.2 – Analyze Conditional Statements
Conditional Statements
Pearson Unit 1 Topic 2: Reasoning and Proof 2-3: Biconditionals and Definitions Pearson Texas Geometry ©2016 Holt Geometry Texas ©2007.
Logic and Reasoning.
TODAY’S OBJECTIVE: Standard: MM1G2
Conditional Statements
TODAY’S OBJECTIVE: Standard: MM1G2
Interpreting Truth tables (biconditional statements)
Presentation transcript:

Logic The Conditional and Related Statements Resources: HRW Geometry, Lesson 12.3

IntroductionInstructionExamplesPractice Logic and Geometry are both about developing good arguments or proofs that something is true or false. The other two connectives that create compound statements in logic, the conditional statement, and the biconditional statement are often involved in arguments and proofs. How can we tell if a conditional statement is true or false?

IntroductionInstructionExamplesPractice Please go back or choose a topic from above.go back

List of Instructional Pages 1.Two New ConnectivesTwo New Connectives 2.The ConditionalThe Conditional 3.The Conditional – Truth TableThe Conditional – Truth Table 4.The BiconditionalThe Biconditional 5.The Biconditional – Truth TableThe Biconditional – Truth Table 6.Other If…then StatementsOther If…then Statements 7.The ConverseThe Converse 8. The InverseThe Inverse 9. The ContrapositiveThe Contrapositive 10. Conditional/ Converse – Truth TablesConditional/ Converse – Truth Tables 11.Conditional/ Inverse – Truth TablesConditional/ Inverse – Truth Tables 12.Conditional/ Contrapositive – Truth TablesConditional/ Contrapositive – Truth Tables 13. SummarySummary

IntroductionInstructionExamplesPractice We are ready to add the conditional and biconditional to our list of connectives. This is page 1 of 13 Page list LastNext Negation:NOTConjunction:AND Disjunction:OR Conditional:if…then Biconditional: if and only if The Symbols: NOT~ AND  OR  If…then  If and only if  The Connectives - Conditional and Biconditional

IntroductionInstructionExamplesPractice This is page 2 of 13 Graphic Page list LastNext The Connectives: The Conditional conditional , A conditional expresses the notion of if... then. We use an arrow, , to represent a conditional. p : The Braves will win the World Series. s : Susan will win an Emmy.  p  s : If the Braves win the World Series, then Susan will win an Emmy.  “If the Braves do not win the World Series, then Susan will not win an Emmy” would be written symbolically as ~p  ~s

2.The lawn is mowed and the $10 is not paid. The promise is not kept so the conditional is false. 4.The lawn is not mowed and the $10 is not paid. The promise is not broken since the lawn was not mowed, so the conditional is still true. 3.The lawn is not mowed and the $10 is paid. The promise is kept, so the conditional is true. 1.The lawn is mowed and the $10 is paid. The promise is kept so the conditional is true. IntroductionInstructionExamplesPractice A conditional statement uses the words if…then. It is like making a promise. In logic, if the “promise” is broken, and not kept, the conditional is said to be false. Otherwise, it is true. Consider the statement: “If you mow my lawn, then I will pay you $10.” (p  q) There are four situations possible. This is page 3 of 13 Page list LastNext The Conditional pq p  q TTT TFF FTT FFT

IntroductionInstructionExamplesPractice biconditional . A biconditional expresses the notion of if and only if. Its symbol is a double arrow, . p : A polygon has three sides. t : The polygon is a triangle.  p  t : “A polygon has three sides if and only if it is a triangle” This is page 4 of 13 Page list LastNext The Connectives – the Biconditional

IntroductionInstructionExamplesPractice This is page 5 of 13 Page list LastNext The Biconditional pq p  q q  p (p q)  (q  p) (or p  q) TTTTT TFFTF FTTFF FFTTT  A biconditional (p  t) is a more concise way to say (p  t)  (t  p). If a polygon has three sides then it is a triangle If a figure is a triangle then it is a polygon with three sides “If a polygon has three sides then it is a triangle” and “If a figure is a triangle then it is a polygon with three sides” are both true statements. T A biconditional is true when both p  q and q  p are true. T

IntroductionInstructionExamplesPractice There are three other if…then statements related to a conditional statement, p  q. They are called: Converse: q  p Inverse: ~p  ~q Contrapositive: ~q  ~p This is page 6 of 13 Page list LastNext Not exactly the same thing in Geometry! If..then statements related to conditionals Do they all mean the same thing?

IntroductionInstructionExamplesPractice Let’s say p represents the statement “Marge lives in South Carolina,” and q represents the statement “Marge lives in the United States.” This is page 7 of 13 Page list LastNext p  q is “If Marge lives in South Carolina, then she lives in the United States.” The Converse q  p “If Marge lives in the United States, then she lives in South Carolina.” Just because the conditional is true does not mean the converse is true. TRUE Converse FALSE

IntroductionInstructionExamplesPractice Let’s look at the inverse. This is page 8 of 13 Page list LastNext p  q is “If Marge lives in South Carolina, then she lives in the United States.” The Inverse ~p  ~q “If Marge does not live in South Carolina, then Marge does not live in the United States.” Marge could still live in the US and not be in SC. Just because the conditional is true does not mean the inverse is true. Inverse TRUE FALSE

IntroductionInstructionExamplesPractice Let’s look at the contrapositive. This is page 9 of 13 Page list LastNext p  q is “If Marge lives in South Carolina, then she lives in the United States.” The Contrapositive ~q  ~p “If Marge does not live in the United States, then she does not live in South Carolina.” If Marge isn’t in the US she can’t be in SC. If the conditional is true then the contrapositive is also true. Contrapositive TRUE TRUE

IntroductionInstructionExamplesPractice Let’s compare the truth tables for the conditional and the converse. This is page 10 of 13 Page list LastNext Comparing Truth Tables Confirms Our Conjecturespq p  q TTT TFF FTT FFT pq q  p TTT TFT FTF FFT The Converse The Conditional These two truth tables are not the same so the statements are not logically equivalent.

IntroductionInstructionExamplesPractice Let’s compare the truth tables for the conditional and the inverse. This is page 11 of 13 Page list LastNext Comparing Truth Tables Confirms Our Conjecturespq p  q TTT TFF FTT FFT pq~p~q ~p  ~q TTFFT TFFTT FTTFF FFTTT The Inverse The Conditional These two truth tables are not the same so the statements are not logically equivalent.

IntroductionInstructionExamplesPractice Let’s compare the truth tables for the conditional and the contrapositive. This is page 12 of 13 Page list LastNext Comparing Truth Tables Confirms Our Conjectures pq~q~p ~q  ~p TTFFT TFTFF FTFTT FFTTT The Contrapositive These two truth tables are the same so the statements are logically equivalent.pq p  q TTT TFF FTT FFT The Conditional

IntroductionInstructionExamplesPractice Let’s summarize the relationship between a conditional statement and its converse, inverse, and contrapositive. This is page 13 of 13 Page list LastNext Summary p  q  q  p p  q  ~p  ~q p  q  ~q  ~p Converse Inverse Contrapositive

Please go back or choose a topic from above.go back IntroductionInstructionExamplesPractice

IntroductionInstructionExamplesPractice Example 1 Example 2 Example 3 Examples 1.Writing “if…then” statements 2.Writing the converse, inverse, or contrapositive of a conditional statement. 3.Recognizing the converse, inverse, contrapositive given a conditional statement. IF THEN

Please go back or choose a topic from above.go back IntroductionInstructionExamplesPractice

IntroductionInstructionExamplesPractice Gizmos: Conditional Statement Biconditional Statement How can we tell if a conditional statement is true or false?

Please go back or choose a topic from above.go back IntroductionInstructionExamplesPractice

Example 1 All freshmen should report to the cafeteria. Back to main example page Rewrite each statement in if…then form. For example: “Every triangle is a polygon” becomes “If a figure is a triangle, then the figure is a polygon.” If you are a freshman, then you should report to the cafeteria. Reading horror stories at bedtime gives me nightmares. If I read a horror story at bedtime, then I will have nightmares. Driving too fast often results in accidents. If you drive too fast, then you are likely to have an accident.

Example 2 Converse Converse: If the football game was cancelled, then it must have rained all day Friday. Back to main example page Write the converse, inverse, and contrapositive for the given conditional statement. Decide whether each is true or false and explain your reasoning. “If it rains all day Friday, then the football game will be cancelled.” False. The game could have been cancelled because of something else, like a bomb threat. Inverse Inverse: If it did not rain all day Friday, then the football game was not cancelled. False. Just because it didn’t rain doesn’t mean the game couldn’t be cancelled for another reason. Contrapositive Contrapositive: If the football game was not cancelled, then it did not rain all day Friday. True.

Example 3 If I read the book, then I can do the homework. If I cannot do the homework, then I did not read the book. Back to main example page For each statement, name the relationship (converse, inverse, contrapositive) of the second statement to the first. State whether the second is always true (AT) or not always true (NAT) assuming pq is true. Contrapositive, AT If it is Tuesday, I go to geometry. If I go to geometry, it is Tuesday Converse, NAT If it is snowing, then it is cold. If it isn’t snowing, then it isn’t cold. Inverse, NAT if Class attendance will be down if the surf is up. If class attendance is down, then the surf is up. Converse, NAT