SlideShare ist ein Scribd-Unternehmen logo
1 von 31
Logic The Conditional and Related Statements Resources:  HRW Geometry, Lesson 12.3
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? Introduction Instruction Examples Practice
Please  go back  or choose a topic from above. Introduction Instruction Examples Practice
List of Instructional Pages ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],8.  The Inverse 9.  The Contrapositive 10.  Conditional/ Converse – Truth Tables 11. Conditional/ Inverse – Truth Tables 12. Conditional/ Contrapositive – Truth Tables 13.  Summary
We are ready to add the  conditional  and  biconditional  to our list of connectives. This is page  1 of 13 Page list Last Next The Symbols: The Connectives - Conditional and Biconditional Introduction Instruction Examples Practice Negation: NOT Conjunction: AND Disjunction: OR Conditional: if…then Biconditional: if and only if NOT ~ AND  OR  If…then  If and only if 
This is page  2 of 13 Page list Last Next The Connectives: The Conditional A  conditional   expresses  the notion of  if . . . then .  We use an arrow,   ,  to represent a conditional. p  :  You will study hard. s  :  You will get a good score in the exam. p    s  :  If  you will study hard,  then   you will get a good score in the exam. “ If  you will  not  study hard,  then   you will  not  get a good score in the exam.”   would be written as   ~p    ~s. Introduction Instruction Examples Practice
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 Last Next Not exactly the same thing in Geometry! If..then statements related to conditionals Do they all mean the same thing? Introduction Instruction Examples Practice
Give the converse, inverse and contrapositive of the given conditional.  ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Give the converse, inverse and contrapositive of the given conditional.  ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Give the converse, inverse and contrapositive of the given conditional.  ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Give the converse, inverse and contrapositive of the given conditional.  ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Give the converse, inverse and contrapositive of the given conditionals.  ,[object Object],[object Object],[object Object],[object Object]
2. The car is washed but the  ₱ 10 was not paid.  The promise is not kept so the conditional is false. ,[object Object],[object Object],[object Object],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 wash my car, then I will pay you  ₱ 10.”  (p    q)  There are four situations possible. This is page  3 of 13 Exercise Last Next The Conditional Introduction Instruction Examples Practice p q p    q T T T T F F F T T F F T
Let’s say  p  represents the statement  “Marge lives in Cebu,”  and  q  represents the statement  “Marge lives in the Philippines.” This is page  7 of 13 Page list Last Next p      q   is “If   Marge lives in Cebu , then  she lives in the Philippines .” The Converse q      p   “ If Marge lives in the Philippines , then  she lives in Cebu .” Just because the conditional is true does not mean the converse is true. TRUE Converse FALSE Introduction Instruction Examples Practice
Let’s look at the inverse. This is page  8 of 13 Page list Last Next p     q   is “ If Marge lives in Cebu , then  she lives in the Philippines .” The Inverse ~p      ~q   “ If Marge does not live in Cebu ,  then   Marge does not live in the Philippines Marge could still live in the Philippines and not be in Cebu. Just because the conditional is true does not mean the inverse is true. Inverse TRUE FALSE Introduction Instruction Examples Practice
Let’s look at the contrapositive. This is page  9 of 13 Page list Last Next p      q   is “If   Marge lives in Cebu , then  she lives in the Philippines .” The Contrapositive ~q      ~p   “If   Marge does not live in the Philippines , then   she does not live in Cebu .” If Marge isn’t in the Philippines, she can’t be in Cebu. If the conditional is true then the contrapositive is also true. Contrapositive TRUE TRUE Introduction Instruction Examples Practice
[object Object]
A  biconditional   expresses  the notion of  if and only if .   Its symbol is a double arrow,   . p  :  If a polygon has three sides then it is a triangle . t  :  If a figure is a triangle then it is a polygon with three sides. p      t  :  “A polygon has three sides  if and only if   it is a triangle.” This is page  4 of 13 Page list Last Next The Connectives – the Biconditional Introduction Instruction Examples Practice
This is page  5 of 13 Page list Last Next The Biconditional 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 ”  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 Introduction Instruction Examples Practice p q p    q q    p (p   q)     ( q    p) (or  p    q) T T T T T T F F T F F T T F F F F T T T
Let’s compare the truth tables for the conditional and the converse. This is page  10 of 13 Page list Last Next Comparing Truth Tables Confirms Our Conjectures The Converse The Conditional These two truth tables are   not  the same  so the statements are  not  logically equivalent. Introduction Instruction Examples Practice p q p    q T T T T F F F T T F F T p q q    p T T T T F T F T F F F T
Let’s compare the truth tables for the conditional and the inverse. This is page  11 of 13 Page list Last Next Comparing Truth Tables Confirms Our Conjectures The Inverse The Conditional These two truth tables are  not  the same so  the statements are not logically equivalent. Introduction Instruction Examples Practice p q p    q T T T T F F F T T F F T p q ~p ~q ~p    ~q T T F F T T F F T T F T T F F F F T T T
Let’s compare the truth tables for the conditional and the contrapositive. This is page  12 of 13 Page list Last Next Comparing Truth Tables Confirms Our Conjectures The Contrapositive These two truth tables  are  the same so  the statements are logically equivalent. The Conditional Introduction Instruction Examples Practice p q ~q ~p ~q    ~p T T F F T T F T F F F T F T T F F T T T p q p    q T T T T F F F T T F F T
Let’s summarize the relationships: Conditional and Contrapositive always has the same truth value. Converse and Inverse always has the same truth value. This is page  13 of 13 Page list Last Next Summary p    q     q    p p    q     ~p    ~q p    q     ~q    ~p Converse Inverse Contrapositive q    p     ~p    ~q Introduction Instruction Examples Practice
Please  go back  or choose a topic from above. Introduction Instruction Examples Practice
Example 1 Example 2 Example 3 Examples ,[object Object],[object Object],[object Object],IF THEN Introduction Instruction Examples Practice
Please  go back  or choose a topic from above. Introduction Instruction Examples Practice
[object Object],[object Object],[object Object],[object Object],How can we tell if a conditional statement is true or false? Introduction Instruction Examples Practice
Please  go back  or choose a topic from above. Introduction Instruction Examples Practice
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 :  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 : 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 : 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 Class attendance will be down  if  the surf is up. If class attendance is down, then the surf is up.  Converse, NAT

Weitere ähnliche Inhalte

Was ist angesagt?

1st Test - If then, converse, inverse and contrapositive
1st Test - If then, converse, inverse and contrapositive1st Test - If then, converse, inverse and contrapositive
1st Test - If then, converse, inverse and contrapositive
Brandeis High School
 
discrete mathematics precedence of logical operators
discrete mathematics precedence of logical operatorsdiscrete mathematics precedence of logical operators
discrete mathematics precedence of logical operators
Tukaram Gundoor
 
5.4 mathematical induction
5.4 mathematical induction5.4 mathematical induction
5.4 mathematical induction
math260
 
Conditional Statements
Conditional StatementsConditional Statements
Conditional Statements
micdsram
 

Was ist angesagt? (20)

1st Test - If then, converse, inverse and contrapositive
1st Test - If then, converse, inverse and contrapositive1st Test - If then, converse, inverse and contrapositive
1st Test - If then, converse, inverse and contrapositive
 
Permutations & Combinations
Permutations & CombinationsPermutations & Combinations
Permutations & Combinations
 
CMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and StrategyCMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and Strategy
 
discrete mathematics precedence of logical operators
discrete mathematics precedence of logical operatorsdiscrete mathematics precedence of logical operators
discrete mathematics precedence of logical operators
 
Truth table
Truth tableTruth table
Truth table
 
1.3.1 Inductive and Deductive Reasoning
1.3.1 Inductive and Deductive Reasoning1.3.1 Inductive and Deductive Reasoning
1.3.1 Inductive and Deductive Reasoning
 
Chapter-3: DIRECT PROOF AND PROOF BY CONTRAPOSITIVE
Chapter-3: DIRECT PROOF AND PROOF BY CONTRAPOSITIVEChapter-3: DIRECT PROOF AND PROOF BY CONTRAPOSITIVE
Chapter-3: DIRECT PROOF AND PROOF BY CONTRAPOSITIVE
 
If and then statements
If and then statementsIf and then statements
If and then statements
 
Introduction of Probability
Introduction of ProbabilityIntroduction of Probability
Introduction of Probability
 
1.3.2 Conditional Statements
1.3.2 Conditional Statements1.3.2 Conditional Statements
1.3.2 Conditional Statements
 
Logic (PROPOSITIONS)
Logic (PROPOSITIONS)Logic (PROPOSITIONS)
Logic (PROPOSITIONS)
 
permutations power point
permutations power pointpermutations power point
permutations power point
 
Converse, contrapositive, inverse
Converse, contrapositive, inverseConverse, contrapositive, inverse
Converse, contrapositive, inverse
 
Conditional Statements | If-then Statements
Conditional Statements | If-then StatementsConditional Statements | If-then Statements
Conditional Statements | If-then Statements
 
CMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional LogicCMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional Logic
 
5.4 mathematical induction
5.4 mathematical induction5.4 mathematical induction
5.4 mathematical induction
 
Conditional Statements
Conditional StatementsConditional Statements
Conditional Statements
 
Logic
LogicLogic
Logic
 
Mathematical Logic
Mathematical LogicMathematical Logic
Mathematical Logic
 
Discrete mathematics
Discrete mathematicsDiscrete mathematics
Discrete mathematics
 

Andere mochten auch

8 3similar Triangles
8 3similar Triangles8 3similar Triangles
8 3similar Triangles
taco40
 
Geometry conditional statements and their converse
Geometry   conditional statements and their converseGeometry   conditional statements and their converse
Geometry conditional statements and their converse
mathriot
 
Exam view geotrig final s1 2011
Exam view   geotrig final s1 2011Exam view   geotrig final s1 2011
Exam view geotrig final s1 2011
teresahall
 
Quadrilaterals project
Quadrilaterals projectQuadrilaterals project
Quadrilaterals project
Brady Rose
 
Using triangle congruence.
Using triangle congruence.Using triangle congruence.
Using triangle congruence.
Jabe Macalinao
 
Lsn 11-8: Proving a Rhombus/Rectangle
Lsn 11-8: Proving a Rhombus/RectangleLsn 11-8: Proving a Rhombus/Rectangle
Lsn 11-8: Proving a Rhombus/Rectangle
Kate Nowak
 
Reasoning In Geometry
Reasoning In GeometryReasoning In Geometry
Reasoning In Geometry
guestf6d1c8
 
Geom 6point3 97
Geom 6point3 97Geom 6point3 97
Geom 6point3 97
herbison
 
Deductivereasoning and bicond and algebraic proofs
Deductivereasoning and bicond and algebraic proofsDeductivereasoning and bicond and algebraic proofs
Deductivereasoning and bicond and algebraic proofs
jbianco9910
 
Quadrilaterals
QuadrilateralsQuadrilaterals
Quadrilaterals
isabelri
 

Andere mochten auch (20)

2.2 definitions and biconditionals
2.2 definitions and biconditionals2.2 definitions and biconditionals
2.2 definitions and biconditionals
 
8 3similar Triangles
8 3similar Triangles8 3similar Triangles
8 3similar Triangles
 
Geometry conditional statements and their converse
Geometry   conditional statements and their converseGeometry   conditional statements and their converse
Geometry conditional statements and their converse
 
Elizabeth& Valarie - Linear Function
Elizabeth& Valarie - Linear FunctionElizabeth& Valarie - Linear Function
Elizabeth& Valarie - Linear Function
 
Intruduction conditional statement
Intruduction conditional statementIntruduction conditional statement
Intruduction conditional statement
 
3.8.4 Triangle Similarity
3.8.4 Triangle Similarity3.8.4 Triangle Similarity
3.8.4 Triangle Similarity
 
Exam view geotrig final s1 2011
Exam view   geotrig final s1 2011Exam view   geotrig final s1 2011
Exam view geotrig final s1 2011
 
Quadrilaterals project
Quadrilaterals projectQuadrilaterals project
Quadrilaterals project
 
Using triangle congruence.
Using triangle congruence.Using triangle congruence.
Using triangle congruence.
 
Lsn 11-8: Proving a Rhombus/Rectangle
Lsn 11-8: Proving a Rhombus/RectangleLsn 11-8: Proving a Rhombus/Rectangle
Lsn 11-8: Proving a Rhombus/Rectangle
 
Reasoning In Geometry
Reasoning In GeometryReasoning In Geometry
Reasoning In Geometry
 
Geom 6point3 97
Geom 6point3 97Geom 6point3 97
Geom 6point3 97
 
6 3 Proving Parallelograms
6 3 Proving Parallelograms6 3 Proving Parallelograms
6 3 Proving Parallelograms
 
Deductivereasoning and bicond and algebraic proofs
Deductivereasoning and bicond and algebraic proofsDeductivereasoning and bicond and algebraic proofs
Deductivereasoning and bicond and algebraic proofs
 
Quadrilaterals
QuadrilateralsQuadrilaterals
Quadrilaterals
 
Mathsproject quadrilaterals
Mathsproject quadrilateralsMathsproject quadrilaterals
Mathsproject quadrilaterals
 
Communicating The Message Telstra & The Environmentpdf
Communicating The Message  Telstra & The EnvironmentpdfCommunicating The Message  Telstra & The Environmentpdf
Communicating The Message Telstra & The Environmentpdf
 
Presentation workshop
Presentation workshopPresentation workshop
Presentation workshop
 
Five Important Things
Five Important ThingsFive Important Things
Five Important Things
 
6 acalificado
6 acalificado6 acalificado
6 acalificado
 

Ähnlich wie Conditionals

Inductive reasoning & logic
Inductive reasoning & logicInductive reasoning & logic
Inductive reasoning & logic
tommy34g
 
Geometry journal 2
Geometry journal 2Geometry journal 2
Geometry journal 2
Katina1196
 
G8 Math Q2- Week 6- Conditional Statement.pptx
G8 Math Q2- Week 6- Conditional Statement.pptxG8 Math Q2- Week 6- Conditional Statement.pptx
G8 Math Q2- Week 6- Conditional Statement.pptx
2z9s6rsqpn
 

Ähnlich wie Conditionals (20)

1. Logic.pptx
1. Logic.pptx1. Logic.pptx
1. Logic.pptx
 
Propositional Logic.pdf
Propositional Logic.pdfPropositional Logic.pdf
Propositional Logic.pdf
 
1 intro to logic
1 intro to logic1 intro to logic
1 intro to logic
 
Hypothetical%20proposition classpresentation[1]
Hypothetical%20proposition classpresentation[1]Hypothetical%20proposition classpresentation[1]
Hypothetical%20proposition classpresentation[1]
 
Inductive reasoning & logic
Inductive reasoning & logicInductive reasoning & logic
Inductive reasoning & logic
 
Chapter1p1
Chapter1p1Chapter1p1
Chapter1p1
 
Geometry journal 2
Geometry journal 2Geometry journal 2
Geometry journal 2
 
Chapter1p1 2.pptx
Chapter1p1 2.pptxChapter1p1 2.pptx
Chapter1p1 2.pptx
 
Drinkfromme.pptx
Drinkfromme.pptxDrinkfromme.pptx
Drinkfromme.pptx
 
Chapter1p1.pdf
Chapter1p1.pdfChapter1p1.pdf
Chapter1p1.pdf
 
pdf_20220921_182850_0000.pdf
pdf_20220921_182850_0000.pdfpdf_20220921_182850_0000.pdf
pdf_20220921_182850_0000.pdf
 
CONDITIONAL-STATEMENTS_-CONVERSE-INVERSE-CONTRAPOSITIVE-new.pptx
CONDITIONAL-STATEMENTS_-CONVERSE-INVERSE-CONTRAPOSITIVE-new.pptxCONDITIONAL-STATEMENTS_-CONVERSE-INVERSE-CONTRAPOSITIVE-new.pptx
CONDITIONAL-STATEMENTS_-CONVERSE-INVERSE-CONTRAPOSITIVE-new.pptx
 
Chapter 01 - p1.pdf
Chapter 01 - p1.pdfChapter 01 - p1.pdf
Chapter 01 - p1.pdf
 
Discrete Structure vs Discrete Mathematics
Discrete Structure vs Discrete MathematicsDiscrete Structure vs Discrete Mathematics
Discrete Structure vs Discrete Mathematics
 
Inductive and Deductive Reasoning
Inductive and Deductive ReasoningInductive and Deductive Reasoning
Inductive and Deductive Reasoning
 
Laws of Logic in Discrete Structures and their applications
Laws of Logic in Discrete Structures and their applicationsLaws of Logic in Discrete Structures and their applications
Laws of Logic in Discrete Structures and their applications
 
Geometry unit 2.2
Geometry unit 2.2Geometry unit 2.2
Geometry unit 2.2
 
G8 Math Q2- Week 6- Conditional Statement.pptx
G8 Math Q2- Week 6- Conditional Statement.pptxG8 Math Q2- Week 6- Conditional Statement.pptx
G8 Math Q2- Week 6- Conditional Statement.pptx
 
BICONDITIONAL STATEMENTS.pptx
BICONDITIONAL STATEMENTS.pptxBICONDITIONAL STATEMENTS.pptx
BICONDITIONAL STATEMENTS.pptx
 
Geometry Section 2-2
Geometry Section 2-2Geometry Section 2-2
Geometry Section 2-2
 

Mehr von Fidelfo Moral (20)

23 effects of heat
23 effects of heat23 effects of heat
23 effects of heat
 
22 thermodynamics cont.
22 thermodynamics cont.22 thermodynamics cont.
22 thermodynamics cont.
 
21 thermodynamics
21 thermodynamics21 thermodynamics
21 thermodynamics
 
20 magnetism
20 magnetism20 magnetism
20 magnetism
 
19 ohm's law
19 ohm's law19 ohm's law
19 ohm's law
 
18 electrostatics
18 electrostatics18 electrostatics
18 electrostatics
 
16 the doppler effect
16 the doppler effect16 the doppler effect
16 the doppler effect
 
15 sound
15 sound15 sound
15 sound
 
13 lenses
13 lenses13 lenses
13 lenses
 
12 mirrors
12 mirrors12 mirrors
12 mirrors
 
10 properties of light
10 properties of light10 properties of light
10 properties of light
 
09 light in focus
09 light in focus09 light in focus
09 light in focus
 
07 waves
07 waves07 waves
07 waves
 
06 significant figures
06 significant figures06 significant figures
06 significant figures
 
05 measurement
05 measurement05 measurement
05 measurement
 
04 scientific method
04 scientific method04 scientific method
04 scientific method
 
03 what is physics
03 what is physics03 what is physics
03 what is physics
 
02 what is science
02 what is science02 what is science
02 what is science
 
01 physics class orientation
01 physics class orientation01 physics class orientation
01 physics class orientation
 
00 check up tests
00 check up tests00 check up tests
00 check up tests
 

Kürzlich hochgeladen

MuleSoft Integration with AWS Textract | Calling AWS Textract API |AWS - Clou...
MuleSoft Integration with AWS Textract | Calling AWS Textract API |AWS - Clou...MuleSoft Integration with AWS Textract | Calling AWS Textract API |AWS - Clou...
MuleSoft Integration with AWS Textract | Calling AWS Textract API |AWS - Clou...
MysoreMuleSoftMeetup
 
Personalisation of Education by AI and Big Data - Lourdes Guàrdia
Personalisation of Education by AI and Big Data - Lourdes GuàrdiaPersonalisation of Education by AI and Big Data - Lourdes Guàrdia
Personalisation of Education by AI and Big Data - Lourdes Guàrdia
EADTU
 
PS-Policies-on-Enrolment-Transfer-of-Docs-Checking-of-School-Forms-and-SF10-a...
PS-Policies-on-Enrolment-Transfer-of-Docs-Checking-of-School-Forms-and-SF10-a...PS-Policies-on-Enrolment-Transfer-of-Docs-Checking-of-School-Forms-and-SF10-a...
PS-Policies-on-Enrolment-Transfer-of-Docs-Checking-of-School-Forms-and-SF10-a...
nhezmainit1
 

Kürzlich hochgeladen (20)

How to Manage Website in Odoo 17 Studio App.pptx
How to Manage Website in Odoo 17 Studio App.pptxHow to Manage Website in Odoo 17 Studio App.pptx
How to Manage Website in Odoo 17 Studio App.pptx
 
ESSENTIAL of (CS/IT/IS) class 07 (Networks)
ESSENTIAL of (CS/IT/IS) class 07 (Networks)ESSENTIAL of (CS/IT/IS) class 07 (Networks)
ESSENTIAL of (CS/IT/IS) class 07 (Networks)
 
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptxHMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
 
OSCM Unit 2_Operations Processes & Systems
OSCM Unit 2_Operations Processes & SystemsOSCM Unit 2_Operations Processes & Systems
OSCM Unit 2_Operations Processes & Systems
 
Details on CBSE Compartment Exam.pptx1111
Details on CBSE Compartment Exam.pptx1111Details on CBSE Compartment Exam.pptx1111
Details on CBSE Compartment Exam.pptx1111
 
How to Send Pro Forma Invoice to Your Customers in Odoo 17
How to Send Pro Forma Invoice to Your Customers in Odoo 17How to Send Pro Forma Invoice to Your Customers in Odoo 17
How to Send Pro Forma Invoice to Your Customers in Odoo 17
 
What is 3 Way Matching Process in Odoo 17.pptx
What is 3 Way Matching Process in Odoo 17.pptxWhat is 3 Way Matching Process in Odoo 17.pptx
What is 3 Way Matching Process in Odoo 17.pptx
 
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptx
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptxCOMMUNICATING NEGATIVE NEWS - APPROACHES .pptx
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptx
 
MuleSoft Integration with AWS Textract | Calling AWS Textract API |AWS - Clou...
MuleSoft Integration with AWS Textract | Calling AWS Textract API |AWS - Clou...MuleSoft Integration with AWS Textract | Calling AWS Textract API |AWS - Clou...
MuleSoft Integration with AWS Textract | Calling AWS Textract API |AWS - Clou...
 
Michaelis Menten Equation and Estimation Of Vmax and Tmax.pptx
Michaelis Menten Equation and Estimation Of Vmax and Tmax.pptxMichaelis Menten Equation and Estimation Of Vmax and Tmax.pptx
Michaelis Menten Equation and Estimation Of Vmax and Tmax.pptx
 
UChicago CMSC 23320 - The Best Commit Messages of 2024
UChicago CMSC 23320 - The Best Commit Messages of 2024UChicago CMSC 23320 - The Best Commit Messages of 2024
UChicago CMSC 23320 - The Best Commit Messages of 2024
 
Graduate Outcomes Presentation Slides - English (v3).pptx
Graduate Outcomes Presentation Slides - English (v3).pptxGraduate Outcomes Presentation Slides - English (v3).pptx
Graduate Outcomes Presentation Slides - English (v3).pptx
 
TỔNG HỢP HƠN 100 ĐỀ THI THỬ TỐT NGHIỆP THPT TOÁN 2024 - TỪ CÁC TRƯỜNG, TRƯỜNG...
TỔNG HỢP HƠN 100 ĐỀ THI THỬ TỐT NGHIỆP THPT TOÁN 2024 - TỪ CÁC TRƯỜNG, TRƯỜNG...TỔNG HỢP HƠN 100 ĐỀ THI THỬ TỐT NGHIỆP THPT TOÁN 2024 - TỪ CÁC TRƯỜNG, TRƯỜNG...
TỔNG HỢP HƠN 100 ĐỀ THI THỬ TỐT NGHIỆP THPT TOÁN 2024 - TỪ CÁC TRƯỜNG, TRƯỜNG...
 
Mattingly "AI and Prompt Design: LLMs with NER"
Mattingly "AI and Prompt Design: LLMs with NER"Mattingly "AI and Prompt Design: LLMs with NER"
Mattingly "AI and Prompt Design: LLMs with NER"
 
Personalisation of Education by AI and Big Data - Lourdes Guàrdia
Personalisation of Education by AI and Big Data - Lourdes GuàrdiaPersonalisation of Education by AI and Big Data - Lourdes Guàrdia
Personalisation of Education by AI and Big Data - Lourdes Guàrdia
 
FICTIONAL SALESMAN/SALESMAN SNSW 2024.pdf
FICTIONAL SALESMAN/SALESMAN SNSW 2024.pdfFICTIONAL SALESMAN/SALESMAN SNSW 2024.pdf
FICTIONAL SALESMAN/SALESMAN SNSW 2024.pdf
 
Andreas Schleicher presents at the launch of What does child empowerment mean...
Andreas Schleicher presents at the launch of What does child empowerment mean...Andreas Schleicher presents at the launch of What does child empowerment mean...
Andreas Schleicher presents at the launch of What does child empowerment mean...
 
Trauma-Informed Leadership - Five Practical Principles
Trauma-Informed Leadership - Five Practical PrinciplesTrauma-Informed Leadership - Five Practical Principles
Trauma-Informed Leadership - Five Practical Principles
 
PS-Policies-on-Enrolment-Transfer-of-Docs-Checking-of-School-Forms-and-SF10-a...
PS-Policies-on-Enrolment-Transfer-of-Docs-Checking-of-School-Forms-and-SF10-a...PS-Policies-on-Enrolment-Transfer-of-Docs-Checking-of-School-Forms-and-SF10-a...
PS-Policies-on-Enrolment-Transfer-of-Docs-Checking-of-School-Forms-and-SF10-a...
 
When Quality Assurance Meets Innovation in Higher Education - Report launch w...
When Quality Assurance Meets Innovation in Higher Education - Report launch w...When Quality Assurance Meets Innovation in Higher Education - Report launch w...
When Quality Assurance Meets Innovation in Higher Education - Report launch w...
 

Conditionals

  • 1. Logic The Conditional and Related Statements Resources: HRW Geometry, Lesson 12.3
  • 2. 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? Introduction Instruction Examples Practice
  • 3. Please go back or choose a topic from above. Introduction Instruction Examples Practice
  • 4.
  • 5. We are ready to add the conditional and biconditional to our list of connectives. This is page 1 of 13 Page list Last Next The Symbols: The Connectives - Conditional and Biconditional Introduction Instruction Examples Practice Negation: NOT Conjunction: AND Disjunction: OR Conditional: if…then Biconditional: if and only if NOT ~ AND  OR  If…then  If and only if 
  • 6. This is page 2 of 13 Page list Last Next The Connectives: The Conditional A conditional expresses the notion of if . . . then . We use an arrow,  , to represent a conditional. p : You will study hard. s : You will get a good score in the exam. p  s : If you will study hard, then you will get a good score in the exam. “ If you will not study hard, then you will not get a good score in the exam.” would be written as ~p  ~s. Introduction Instruction Examples Practice
  • 7. 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 Last Next Not exactly the same thing in Geometry! If..then statements related to conditionals Do they all mean the same thing? Introduction Instruction Examples Practice
  • 8.
  • 9.
  • 10.
  • 11.
  • 12.
  • 13.
  • 14. Let’s say p represents the statement “Marge lives in Cebu,” and q represents the statement “Marge lives in the Philippines.” This is page 7 of 13 Page list Last Next p  q is “If Marge lives in Cebu , then she lives in the Philippines .” The Converse q  p “ If Marge lives in the Philippines , then she lives in Cebu .” Just because the conditional is true does not mean the converse is true. TRUE Converse FALSE Introduction Instruction Examples Practice
  • 15. Let’s look at the inverse. This is page 8 of 13 Page list Last Next p  q is “ If Marge lives in Cebu , then she lives in the Philippines .” The Inverse ~p  ~q “ If Marge does not live in Cebu , then Marge does not live in the Philippines Marge could still live in the Philippines and not be in Cebu. Just because the conditional is true does not mean the inverse is true. Inverse TRUE FALSE Introduction Instruction Examples Practice
  • 16. Let’s look at the contrapositive. This is page 9 of 13 Page list Last Next p  q is “If Marge lives in Cebu , then she lives in the Philippines .” The Contrapositive ~q  ~p “If Marge does not live in the Philippines , then she does not live in Cebu .” If Marge isn’t in the Philippines, she can’t be in Cebu. If the conditional is true then the contrapositive is also true. Contrapositive TRUE TRUE Introduction Instruction Examples Practice
  • 17.
  • 18. A biconditional expresses the notion of if and only if . Its symbol is a double arrow,  . p : If a polygon has three sides then it is a triangle . t : If a figure is a triangle then it is a polygon with three sides. p  t : “A polygon has three sides if and only if it is a triangle.” This is page 4 of 13 Page list Last Next The Connectives – the Biconditional Introduction Instruction Examples Practice
  • 19. This is page 5 of 13 Page list Last Next The Biconditional 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 ” 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 Introduction Instruction Examples Practice p q p  q q  p (p  q)  ( q  p) (or p  q) T T T T T T F F T F F T T F F F F T T T
  • 20. Let’s compare the truth tables for the conditional and the converse. This is page 10 of 13 Page list Last Next Comparing Truth Tables Confirms Our Conjectures The Converse The Conditional These two truth tables are not the same so the statements are not logically equivalent. Introduction Instruction Examples Practice p q p  q T T T T F F F T T F F T p q q  p T T T T F T F T F F F T
  • 21. Let’s compare the truth tables for the conditional and the inverse. This is page 11 of 13 Page list Last Next Comparing Truth Tables Confirms Our Conjectures The Inverse The Conditional These two truth tables are not the same so the statements are not logically equivalent. Introduction Instruction Examples Practice p q p  q T T T T F F F T T F F T p q ~p ~q ~p  ~q T T F F T T F F T T F T T F F F F T T T
  • 22. Let’s compare the truth tables for the conditional and the contrapositive. This is page 12 of 13 Page list Last Next Comparing Truth Tables Confirms Our Conjectures The Contrapositive These two truth tables are the same so the statements are logically equivalent. The Conditional Introduction Instruction Examples Practice p q ~q ~p ~q  ~p T T F F T T F T F F F T F T T F F T T T p q p  q T T T T F F F T T F F T
  • 23. Let’s summarize the relationships: Conditional and Contrapositive always has the same truth value. Converse and Inverse always has the same truth value. This is page 13 of 13 Page list Last Next Summary p  q  q  p p  q  ~p  ~q p  q  ~q  ~p Converse Inverse Contrapositive q  p  ~p  ~q Introduction Instruction Examples Practice
  • 24. Please go back or choose a topic from above. Introduction Instruction Examples Practice
  • 25.
  • 26. Please go back or choose a topic from above. Introduction Instruction Examples Practice
  • 27.
  • 28. Please go back or choose a topic from above. Introduction Instruction Examples Practice
  • 29. 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.
  • 30. Example 2 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 : 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 : If the football game was not cancelled, then it did not rain all day Friday. True .
  • 31. 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 Class attendance will be down if the surf is up. If class attendance is down, then the surf is up. Converse, NAT