SlideShare a Scribd company logo
CONVERSE, CONTRAPOSITIVE, INVERSE
oThe proposition q → p is called the converse of p → q.
o A conditional statement and its converse are NOT logically equivalent.
oThe proposition ¬p →¬q is called the inverse of p → q.
o A conditional statement and its inverse are NOT logically equivalent.
oIf a conditional statement is true, then its converse and inverse
must also be true. This is not correct!
CONVERSE, CONTRAPOSITIVE, INVERSE
oIf Howard can swim across the lake, then Howard can swim to the island.
o Converse:
o If Howard can swim to the island, then Howard can swim across the lake.
o Inverse:
o If Howard cannot swim across the lake, then Howard cannot swim to the island.
oIf today is Easter, then tomorrow is Monday.
o Converse: If tomorrow is Monday, then today is Easter.
o Inverse: If today is not Easter, then tomorrow is not Monday.
CONVERSE, CONTRAPOSITIVE, INVERSE
oThe contrapositive of p → q is the proposition ¬q →¬p.
o A conditional statement is logically equivalent to its contrapositive!
o If Howard can swim across the lake, then Howard can swim to the
island.
o If today is Easter, then tomorrow is Monday.
o If Howard cannot swim to the island, then Howard cannot swim across the lake.
o If tomorrow is not Monday, then today is not Easter.
CONVERSE, CONTRAPOSITIVE, INVERSE
Negations of If-Then Statements
If my car is in the repair shop, then I cannot get to class.
If Sara lives in Athens, then she lives in Greece.
oNegation
My car is in the repair shop and I can get to class.
Sara lives in Athens and she does not live in Greece.
oThe negation of an if-then statement does not start with the word if.
Simplifying Statement
“you are hardworking and the sun shines, or you are hardworking and it rains.”
p=“ you are hardworking “.
q=“the sun shines”
r= “it rains”
(p  q)  (p  r)  p (q r) using distributive law
“you are hardworking and the sun shines or it rains”
Translating English Sentences
“If the moon is out and it is not snowing, then Sam goes out for a walk.”
p=“Phyllis goes out for a walk”.
q=“The moon is out”
r= “It is snowing”
 If the moon is out and it is not snowing, then Sam goes out
for a walk.
“If it is snowing and the moon is not out, then Sam will not go out for a walk.”
prq  )(
pqr  )(
Translating English Sentences
“You can access the Internet from campus only if you are a computer
science major or you are not a freshman.”
a=“You can access the Internet from campus“.
c=“You are a computer science major”
f= “You are a freshman”
a → (c ∨¬f ).
Translating Propositions
oLet p, q, and r be the propositions:
p = “you have the flu”
q = “you miss the final exam”
r = “you pass the course”
oExpress the following propositions as an English sentence.
op → q
If you have flu, then you will miss the final exam.
o~q → r
If you don’t miss the final exam, you will pass the course.
o~p → ~q → r
If you neither have flu nor miss the final exam, then you will pass the course.
BICONDITIONALSoIf it is hot outside you buy an ice cream cone, and if you buy an ice cream cone it is
hot outside.
You buy an ice cream cone if and only if it is hot outside.
o For you to win the contest it is necessary and sufficient that you have the only
winning ticket.
You win the contest if and only if you hold the only winning ticket.
oIf you read the news paper every day, you will be informed and conversely.
You will be informed if and only if you read the news paper every day.
oIt rains if it is a weekend day, and it is a weekend day if it rains.
It rains if and only if it is a weekend day.
oThe train runs late on exactly those days when I take it.
The train runs late if and only if it is a day I take the train.
oThis number is divisible by 6 precisely when it is divisible by both 2 and 3.
This number is divisible by 6 if and only if it is divisible by both 2 and 3.
Predicate
op=“is a student at Bedford College”
oq =“is a student at.”
• p & q are predicate symbols
• p(x)=“x is a student at Bedford College.
• q(x,y) =“x is a student at y.”
 x and y are predicate variables that take values in appropriate sets.
• When concrete values are substituted in place of predicate variables, a
statement results.
oA predicate is a predicate symbol together with suitable predicate
variables.
Predicate
oA predicate is a sentence that contains a finite number of
variables and becomes a statement when specific values are
substituted for the variables.
o The domain of a predicate variable is the set of all values that
may be substituted in place of the variable.
oAlso referred as propositional functions or open sentences
Predicate(Example)
oPerson(x), which is true if x is a person
oPerson(Socrates) = T
oPerson(dolly-the-sheep) = F
oLet U = Z, the integers = {. . . -2, -1, 0 , 1, 2, 3, . . .}
P(x): x > 0 is the predicate. It has no truth value until the variable x is
bound.
oExamples of propositions where x is assigned a value:
P(-3) is false,
P(0) is false,
P(3) is true.
Truth Values of a Predicate
oP(x)=“x2 > x”
oDomain = set R of all real numbers
oFind truth values of P(2), P( 1/2 ), and P(−1/2 )
• P(2): 22 > 2, or 4 > 2. True
• P(1/2):(1/2)2<1/2 or (1/4) <1/2 False
• P(-1/2):(-1/2)2>-1/2 or (1/4) >-1/2 True
Truth Values of a Predicate
oIf P(x) is a predicate and x has domain D, the truth set of P(x) is
the set of all elements of D that make P(x) true when they are
substituted for x. The truth set of P(x) is denoted
{x ∈ D | P(x)}
“the set of all x in D such that P(x).”
Truth Values of a Predicate
oLet R be the three-variable predicate R(x, y z): x + y= z
oFind the truth value of
R(2, -1, 5), R(3, 4, 7), R(x, 3, z)

More Related Content

What's hot

Finding Slope Given A Graph And Two Points
Finding Slope Given A Graph And Two PointsFinding Slope Given A Graph And Two Points
Finding Slope Given A Graph And Two Points
Gillian Guiang
 
Grade 8 Mathematics Q2 w1
Grade 8 Mathematics Q2 w1Grade 8 Mathematics Q2 w1
Grade 8 Mathematics Q2 w1
Jubeth Lising-Lugtu
 
Equations of a Line
Equations of a LineEquations of a Line
Equations of a Line
sheisirenebkm
 
Parallel and perpendicular lines
Parallel and perpendicular linesParallel and perpendicular lines
Parallel and perpendicular lines
jennyelsoury
 
Similar Triangles
Similar TrianglesSimilar Triangles
Similar Triangles
Passy World
 
Conditional Probability
Conditional ProbabilityConditional Probability
Conditional Probability
Joey Valdriz
 
General Mathematics - Rational Functions
General Mathematics - Rational FunctionsGeneral Mathematics - Rational Functions
General Mathematics - Rational Functions
Juan Miguel Palero
 
Inverse Variation (Mathematics 9)
Inverse Variation (Mathematics 9)Inverse Variation (Mathematics 9)
Inverse Variation (Mathematics 9)
BevBeverlyGelbolingo
 
Radical expressions
Radical expressionsRadical expressions
Radical expressions
Albert Go
 
Graphing Linear Inequalities
Graphing Linear InequalitiesGraphing Linear Inequalities
Graphing Linear Inequalities
inderjyot
 
The remainder theorem powerpoint
The remainder theorem powerpointThe remainder theorem powerpoint
The remainder theorem powerpoint
Juwileene Soriano
 
Limits
LimitsLimits
Limits
admercano101
 
Solving systems of Linear Equations
Solving systems of Linear EquationsSolving systems of Linear Equations
Solving systems of Linear Equationsswartzje
 
Linear Equations
Linear EquationsLinear Equations
Linear Equations
rfant
 
Trigonometric Ratios
Trigonometric RatiosTrigonometric Ratios
Trigonometric Ratiosliliana1993
 
Grade 8-if-then-statement
Grade 8-if-then-statementGrade 8-if-then-statement
Grade 8-if-then-statement
AnnalizaTenioso
 
Mathematics 8 Reasoning
Mathematics 8 ReasoningMathematics 8 Reasoning
Mathematics 8 Reasoning
Juan Miguel Palero
 
Slope of a line
Slope of a lineSlope of a line
Slope of a line
Rhea Rose Almoguez
 

What's hot (20)

Finding Slope Given A Graph And Two Points
Finding Slope Given A Graph And Two PointsFinding Slope Given A Graph And Two Points
Finding Slope Given A Graph And Two Points
 
Grade 8 Mathematics Q2 w1
Grade 8 Mathematics Q2 w1Grade 8 Mathematics Q2 w1
Grade 8 Mathematics Q2 w1
 
Equations of a Line
Equations of a LineEquations of a Line
Equations of a Line
 
Parallel and perpendicular lines
Parallel and perpendicular linesParallel and perpendicular lines
Parallel and perpendicular lines
 
Conditionals
ConditionalsConditionals
Conditionals
 
Similar Triangles
Similar TrianglesSimilar Triangles
Similar Triangles
 
Conditional Probability
Conditional ProbabilityConditional Probability
Conditional Probability
 
General Mathematics - Rational Functions
General Mathematics - Rational FunctionsGeneral Mathematics - Rational Functions
General Mathematics - Rational Functions
 
Inverse Variation (Mathematics 9)
Inverse Variation (Mathematics 9)Inverse Variation (Mathematics 9)
Inverse Variation (Mathematics 9)
 
Radical expressions
Radical expressionsRadical expressions
Radical expressions
 
Graphing Linear Inequalities
Graphing Linear InequalitiesGraphing Linear Inequalities
Graphing Linear Inequalities
 
The remainder theorem powerpoint
The remainder theorem powerpointThe remainder theorem powerpoint
The remainder theorem powerpoint
 
Limits
LimitsLimits
Limits
 
Solving systems of Linear Equations
Solving systems of Linear EquationsSolving systems of Linear Equations
Solving systems of Linear Equations
 
Linear Equations
Linear EquationsLinear Equations
Linear Equations
 
Trigonometric Ratios
Trigonometric RatiosTrigonometric Ratios
Trigonometric Ratios
 
Analytical geometry
Analytical geometryAnalytical geometry
Analytical geometry
 
Grade 8-if-then-statement
Grade 8-if-then-statementGrade 8-if-then-statement
Grade 8-if-then-statement
 
Mathematics 8 Reasoning
Mathematics 8 ReasoningMathematics 8 Reasoning
Mathematics 8 Reasoning
 
Slope of a line
Slope of a lineSlope of a line
Slope of a line
 

Similar to Converse, contrapositive, inverse

logic, preposition etc
logic, preposition etclogic, preposition etc
logic, preposition etc
Abdur Rehman
 
Valid &amp; invalid arguments
Valid &amp; invalid argumentsValid &amp; invalid arguments
Valid &amp; invalid arguments
Abdur Rehman
 
Valid and Invalid Arguments.pptx
Valid and Invalid Arguments.pptxValid and Invalid Arguments.pptx
Valid and Invalid Arguments.pptx
LuisSalenga1
 
Artificial Intelligence - Propositional Logic
Artificial Intelligence - Propositional LogicArtificial Intelligence - Propositional Logic
Artificial Intelligence - Propositional Logic
Saravanan T.M
 
Discrete Mathematics Lecture
Discrete Mathematics LectureDiscrete Mathematics Lecture
Discrete Mathematics LectureGenie Rose Santos
 
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
ZenLooper
 
Dscrete structure
Dscrete  structureDscrete  structure
Dscrete structure
Abdur Rehman
 
Drinkfromme.pptx
Drinkfromme.pptxDrinkfromme.pptx
Drinkfromme.pptx
Ravind8
 
1. Logic.pptx
1. Logic.pptx1. Logic.pptx
1. Logic.pptx
DaniloOppusJacobe
 
Chapter1p1
Chapter1p1Chapter1p1
Chapter1p1
Angel Martinez
 
Chapter1p1 2.pptx
Chapter1p1 2.pptxChapter1p1 2.pptx
Chapter1p1 2.pptx
ASMAALWADEE2
 
Mathematical prepositions implications
Mathematical prepositions  implicationsMathematical prepositions  implications
Mathematical prepositions implications
varshachhajera
 
Propositional Logic.pdf
Propositional Logic.pdfPropositional Logic.pdf
Propositional Logic.pdf
ZLEMORHAN3
 
Chapter1p1.pdf
Chapter1p1.pdfChapter1p1.pdf
Chapter1p1.pdf
IqraAli875037
 
Logic, contrapositive, converse, Discrete Mathematics, conjunction, negation
Logic, contrapositive, converse, Discrete Mathematics, conjunction, negationLogic, contrapositive, converse, Discrete Mathematics, conjunction, negation
Logic, contrapositive, converse, Discrete Mathematics, conjunction, negation
ZaidAly1
 
Discrete Mathematics Details tree pt.pptx
Discrete Mathematics Details tree pt.pptxDiscrete Mathematics Details tree pt.pptx
Discrete Mathematics Details tree pt.pptx
FariaHassan4
 
CSE-203 Lec_1.pptx
CSE-203 Lec_1.pptxCSE-203 Lec_1.pptx
CSE-203 Lec_1.pptx
MahdiHasan86
 
logicj-160412050513.pptx
logicj-160412050513.pptxlogicj-160412050513.pptx
logicj-160412050513.pptx
NathanielRapanut2
 
Discrete Structure vs Discrete Mathematics
Discrete Structure vs Discrete MathematicsDiscrete Structure vs Discrete Mathematics
Discrete Structure vs Discrete Mathematics
AbdulRehman378540
 

Similar to Converse, contrapositive, inverse (20)

logic, preposition etc
logic, preposition etclogic, preposition etc
logic, preposition etc
 
Valid &amp; invalid arguments
Valid &amp; invalid argumentsValid &amp; invalid arguments
Valid &amp; invalid arguments
 
Valid and Invalid Arguments.pptx
Valid and Invalid Arguments.pptxValid and Invalid Arguments.pptx
Valid and Invalid Arguments.pptx
 
Artificial Intelligence - Propositional Logic
Artificial Intelligence - Propositional LogicArtificial Intelligence - Propositional Logic
Artificial Intelligence - Propositional Logic
 
Discrete Mathematics Lecture
Discrete Mathematics LectureDiscrete Mathematics Lecture
Discrete Mathematics Lecture
 
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
 
Dscrete structure
Dscrete  structureDscrete  structure
Dscrete structure
 
Drinkfromme.pptx
Drinkfromme.pptxDrinkfromme.pptx
Drinkfromme.pptx
 
1. Logic.pptx
1. Logic.pptx1. Logic.pptx
1. Logic.pptx
 
Chapter1p1
Chapter1p1Chapter1p1
Chapter1p1
 
Logic
LogicLogic
Logic
 
Chapter1p1 2.pptx
Chapter1p1 2.pptxChapter1p1 2.pptx
Chapter1p1 2.pptx
 
Mathematical prepositions implications
Mathematical prepositions  implicationsMathematical prepositions  implications
Mathematical prepositions implications
 
Propositional Logic.pdf
Propositional Logic.pdfPropositional Logic.pdf
Propositional Logic.pdf
 
Chapter1p1.pdf
Chapter1p1.pdfChapter1p1.pdf
Chapter1p1.pdf
 
Logic, contrapositive, converse, Discrete Mathematics, conjunction, negation
Logic, contrapositive, converse, Discrete Mathematics, conjunction, negationLogic, contrapositive, converse, Discrete Mathematics, conjunction, negation
Logic, contrapositive, converse, Discrete Mathematics, conjunction, negation
 
Discrete Mathematics Details tree pt.pptx
Discrete Mathematics Details tree pt.pptxDiscrete Mathematics Details tree pt.pptx
Discrete Mathematics Details tree pt.pptx
 
CSE-203 Lec_1.pptx
CSE-203 Lec_1.pptxCSE-203 Lec_1.pptx
CSE-203 Lec_1.pptx
 
logicj-160412050513.pptx
logicj-160412050513.pptxlogicj-160412050513.pptx
logicj-160412050513.pptx
 
Discrete Structure vs Discrete Mathematics
Discrete Structure vs Discrete MathematicsDiscrete Structure vs Discrete Mathematics
Discrete Structure vs Discrete Mathematics
 

More from Abdur Rehman

Financial accounting
Financial accountingFinancial accounting
Financial accounting
Abdur Rehman
 
Sequences
SequencesSequences
Sequences
Abdur Rehman
 
Recursion
RecursionRecursion
Recursion
Abdur Rehman
 
Queue
QueueQueue
Quantification
QuantificationQuantification
Quantification
Abdur Rehman
 
Proving existential statements
Proving existential statementsProving existential statements
Proving existential statements
Abdur Rehman
 
Method of direct proof
Method of direct proofMethod of direct proof
Method of direct proof
Abdur Rehman
 
Proofs by contraposition
Proofs by contrapositionProofs by contraposition
Proofs by contraposition
Abdur Rehman
 
Laws in disceret
Laws in disceretLaws in disceret
Laws in disceret
Abdur Rehman
 
Constructing circuits for boolean expressions(gate)
Constructing circuits for boolean expressions(gate)Constructing circuits for boolean expressions(gate)
Constructing circuits for boolean expressions(gate)
Abdur Rehman
 
Application of bases
Application of basesApplication of bases
Application of bases
Abdur Rehman
 
Truth table
Truth tableTruth table
Truth table
Abdur Rehman
 
Intro to disceret structure
Intro to disceret structureIntro to disceret structure
Intro to disceret structure
Abdur Rehman
 
Dst lec3
Dst lec3Dst lec3
Dst lec3
Abdur Rehman
 

More from Abdur Rehman (15)

Financial accounting
Financial accountingFinancial accounting
Financial accounting
 
Sets
SetsSets
Sets
 
Sequences
SequencesSequences
Sequences
 
Recursion
RecursionRecursion
Recursion
 
Queue
QueueQueue
Queue
 
Quantification
QuantificationQuantification
Quantification
 
Proving existential statements
Proving existential statementsProving existential statements
Proving existential statements
 
Method of direct proof
Method of direct proofMethod of direct proof
Method of direct proof
 
Proofs by contraposition
Proofs by contrapositionProofs by contraposition
Proofs by contraposition
 
Laws in disceret
Laws in disceretLaws in disceret
Laws in disceret
 
Constructing circuits for boolean expressions(gate)
Constructing circuits for boolean expressions(gate)Constructing circuits for boolean expressions(gate)
Constructing circuits for boolean expressions(gate)
 
Application of bases
Application of basesApplication of bases
Application of bases
 
Truth table
Truth tableTruth table
Truth table
 
Intro to disceret structure
Intro to disceret structureIntro to disceret structure
Intro to disceret structure
 
Dst lec3
Dst lec3Dst lec3
Dst lec3
 

Recently uploaded

Digital Artifact 2 - Investigating Pavilion Designs
Digital Artifact 2 - Investigating Pavilion DesignsDigital Artifact 2 - Investigating Pavilion Designs
Digital Artifact 2 - Investigating Pavilion Designs
chanes7
 
Chapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptxChapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptx
Mohd Adib Abd Muin, Senior Lecturer at Universiti Utara Malaysia
 
2024.06.01 Introducing a competency framework for languag learning materials ...
2024.06.01 Introducing a competency framework for languag learning materials ...2024.06.01 Introducing a competency framework for languag learning materials ...
2024.06.01 Introducing a competency framework for languag learning materials ...
Sandy Millin
 
The Accursed House by Émile Gaboriau.pptx
The Accursed House by Émile Gaboriau.pptxThe Accursed House by Émile Gaboriau.pptx
The Accursed House by Émile Gaboriau.pptx
DhatriParmar
 
Digital Artifact 1 - 10VCD Environments Unit
Digital Artifact 1 - 10VCD Environments UnitDigital Artifact 1 - 10VCD Environments Unit
Digital Artifact 1 - 10VCD Environments Unit
chanes7
 
Normal Labour/ Stages of Labour/ Mechanism of Labour
Normal Labour/ Stages of Labour/ Mechanism of LabourNormal Labour/ Stages of Labour/ Mechanism of Labour
Normal Labour/ Stages of Labour/ Mechanism of Labour
Wasim Ak
 
STRAND 3 HYGIENIC PRACTICES.pptx GRADE 7 CBC
STRAND 3 HYGIENIC PRACTICES.pptx GRADE 7 CBCSTRAND 3 HYGIENIC PRACTICES.pptx GRADE 7 CBC
STRAND 3 HYGIENIC PRACTICES.pptx GRADE 7 CBC
kimdan468
 
The Diamond Necklace by Guy De Maupassant.pptx
The Diamond Necklace by Guy De Maupassant.pptxThe Diamond Necklace by Guy De Maupassant.pptx
The Diamond Necklace by Guy De Maupassant.pptx
DhatriParmar
 
Best Digital Marketing Institute In NOIDA
Best Digital Marketing Institute In NOIDABest Digital Marketing Institute In NOIDA
Best Digital Marketing Institute In NOIDA
deeptiverma2406
 
The approach at University of Liverpool.pptx
The approach at University of Liverpool.pptxThe approach at University of Liverpool.pptx
The approach at University of Liverpool.pptx
Jisc
 
Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...
Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...
Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...
Dr. Vinod Kumar Kanvaria
 
Advantages and Disadvantages of CMS from an SEO Perspective
Advantages and Disadvantages of CMS from an SEO PerspectiveAdvantages and Disadvantages of CMS from an SEO Perspective
Advantages and Disadvantages of CMS from an SEO Perspective
Krisztián Száraz
 
Synthetic Fiber Construction in lab .pptx
Synthetic Fiber Construction in lab .pptxSynthetic Fiber Construction in lab .pptx
Synthetic Fiber Construction in lab .pptx
Pavel ( NSTU)
 
Supporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptxSupporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptx
Jisc
 
Model Attribute Check Company Auto Property
Model Attribute  Check Company Auto PropertyModel Attribute  Check Company Auto Property
Model Attribute Check Company Auto Property
Celine George
 
Pride Month Slides 2024 David Douglas School District
Pride Month Slides 2024 David Douglas School DistrictPride Month Slides 2024 David Douglas School District
Pride Month Slides 2024 David Douglas School District
David Douglas School District
 
Francesca Gottschalk - How can education support child empowerment.pptx
Francesca Gottschalk - How can education support child empowerment.pptxFrancesca Gottschalk - How can education support child empowerment.pptx
Francesca Gottschalk - How can education support child empowerment.pptx
EduSkills OECD
 
Multithreading_in_C++ - std::thread, race condition
Multithreading_in_C++ - std::thread, race conditionMultithreading_in_C++ - std::thread, race condition
Multithreading_in_C++ - std::thread, race condition
Mohammed Sikander
 
Thesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.pptThesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.ppt
EverAndrsGuerraGuerr
 
CACJapan - GROUP Presentation 1- Wk 4.pdf
CACJapan - GROUP Presentation 1- Wk 4.pdfCACJapan - GROUP Presentation 1- Wk 4.pdf
CACJapan - GROUP Presentation 1- Wk 4.pdf
camakaiclarkmusic
 

Recently uploaded (20)

Digital Artifact 2 - Investigating Pavilion Designs
Digital Artifact 2 - Investigating Pavilion DesignsDigital Artifact 2 - Investigating Pavilion Designs
Digital Artifact 2 - Investigating Pavilion Designs
 
Chapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptxChapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptx
 
2024.06.01 Introducing a competency framework for languag learning materials ...
2024.06.01 Introducing a competency framework for languag learning materials ...2024.06.01 Introducing a competency framework for languag learning materials ...
2024.06.01 Introducing a competency framework for languag learning materials ...
 
The Accursed House by Émile Gaboriau.pptx
The Accursed House by Émile Gaboriau.pptxThe Accursed House by Émile Gaboriau.pptx
The Accursed House by Émile Gaboriau.pptx
 
Digital Artifact 1 - 10VCD Environments Unit
Digital Artifact 1 - 10VCD Environments UnitDigital Artifact 1 - 10VCD Environments Unit
Digital Artifact 1 - 10VCD Environments Unit
 
Normal Labour/ Stages of Labour/ Mechanism of Labour
Normal Labour/ Stages of Labour/ Mechanism of LabourNormal Labour/ Stages of Labour/ Mechanism of Labour
Normal Labour/ Stages of Labour/ Mechanism of Labour
 
STRAND 3 HYGIENIC PRACTICES.pptx GRADE 7 CBC
STRAND 3 HYGIENIC PRACTICES.pptx GRADE 7 CBCSTRAND 3 HYGIENIC PRACTICES.pptx GRADE 7 CBC
STRAND 3 HYGIENIC PRACTICES.pptx GRADE 7 CBC
 
The Diamond Necklace by Guy De Maupassant.pptx
The Diamond Necklace by Guy De Maupassant.pptxThe Diamond Necklace by Guy De Maupassant.pptx
The Diamond Necklace by Guy De Maupassant.pptx
 
Best Digital Marketing Institute In NOIDA
Best Digital Marketing Institute In NOIDABest Digital Marketing Institute In NOIDA
Best Digital Marketing Institute In NOIDA
 
The approach at University of Liverpool.pptx
The approach at University of Liverpool.pptxThe approach at University of Liverpool.pptx
The approach at University of Liverpool.pptx
 
Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...
Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...
Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...
 
Advantages and Disadvantages of CMS from an SEO Perspective
Advantages and Disadvantages of CMS from an SEO PerspectiveAdvantages and Disadvantages of CMS from an SEO Perspective
Advantages and Disadvantages of CMS from an SEO Perspective
 
Synthetic Fiber Construction in lab .pptx
Synthetic Fiber Construction in lab .pptxSynthetic Fiber Construction in lab .pptx
Synthetic Fiber Construction in lab .pptx
 
Supporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptxSupporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptx
 
Model Attribute Check Company Auto Property
Model Attribute  Check Company Auto PropertyModel Attribute  Check Company Auto Property
Model Attribute Check Company Auto Property
 
Pride Month Slides 2024 David Douglas School District
Pride Month Slides 2024 David Douglas School DistrictPride Month Slides 2024 David Douglas School District
Pride Month Slides 2024 David Douglas School District
 
Francesca Gottschalk - How can education support child empowerment.pptx
Francesca Gottschalk - How can education support child empowerment.pptxFrancesca Gottschalk - How can education support child empowerment.pptx
Francesca Gottschalk - How can education support child empowerment.pptx
 
Multithreading_in_C++ - std::thread, race condition
Multithreading_in_C++ - std::thread, race conditionMultithreading_in_C++ - std::thread, race condition
Multithreading_in_C++ - std::thread, race condition
 
Thesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.pptThesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.ppt
 
CACJapan - GROUP Presentation 1- Wk 4.pdf
CACJapan - GROUP Presentation 1- Wk 4.pdfCACJapan - GROUP Presentation 1- Wk 4.pdf
CACJapan - GROUP Presentation 1- Wk 4.pdf
 

Converse, contrapositive, inverse

  • 1.
  • 2. CONVERSE, CONTRAPOSITIVE, INVERSE oThe proposition q → p is called the converse of p → q. o A conditional statement and its converse are NOT logically equivalent. oThe proposition ¬p →¬q is called the inverse of p → q. o A conditional statement and its inverse are NOT logically equivalent. oIf a conditional statement is true, then its converse and inverse must also be true. This is not correct!
  • 3. CONVERSE, CONTRAPOSITIVE, INVERSE oIf Howard can swim across the lake, then Howard can swim to the island. o Converse: o If Howard can swim to the island, then Howard can swim across the lake. o Inverse: o If Howard cannot swim across the lake, then Howard cannot swim to the island. oIf today is Easter, then tomorrow is Monday. o Converse: If tomorrow is Monday, then today is Easter. o Inverse: If today is not Easter, then tomorrow is not Monday.
  • 4. CONVERSE, CONTRAPOSITIVE, INVERSE oThe contrapositive of p → q is the proposition ¬q →¬p. o A conditional statement is logically equivalent to its contrapositive! o If Howard can swim across the lake, then Howard can swim to the island. o If today is Easter, then tomorrow is Monday. o If Howard cannot swim to the island, then Howard cannot swim across the lake. o If tomorrow is not Monday, then today is not Easter.
  • 5. CONVERSE, CONTRAPOSITIVE, INVERSE Negations of If-Then Statements If my car is in the repair shop, then I cannot get to class. If Sara lives in Athens, then she lives in Greece. oNegation My car is in the repair shop and I can get to class. Sara lives in Athens and she does not live in Greece. oThe negation of an if-then statement does not start with the word if.
  • 6.
  • 7. Simplifying Statement “you are hardworking and the sun shines, or you are hardworking and it rains.” p=“ you are hardworking “. q=“the sun shines” r= “it rains” (p  q)  (p  r)  p (q r) using distributive law “you are hardworking and the sun shines or it rains”
  • 8. Translating English Sentences “If the moon is out and it is not snowing, then Sam goes out for a walk.” p=“Phyllis goes out for a walk”. q=“The moon is out” r= “It is snowing”  If the moon is out and it is not snowing, then Sam goes out for a walk. “If it is snowing and the moon is not out, then Sam will not go out for a walk.” prq  )( pqr  )(
  • 9. Translating English Sentences “You can access the Internet from campus only if you are a computer science major or you are not a freshman.” a=“You can access the Internet from campus“. c=“You are a computer science major” f= “You are a freshman” a → (c ∨¬f ).
  • 10. Translating Propositions oLet p, q, and r be the propositions: p = “you have the flu” q = “you miss the final exam” r = “you pass the course” oExpress the following propositions as an English sentence. op → q If you have flu, then you will miss the final exam. o~q → r If you don’t miss the final exam, you will pass the course. o~p → ~q → r If you neither have flu nor miss the final exam, then you will pass the course.
  • 11. BICONDITIONALSoIf it is hot outside you buy an ice cream cone, and if you buy an ice cream cone it is hot outside. You buy an ice cream cone if and only if it is hot outside. o For you to win the contest it is necessary and sufficient that you have the only winning ticket. You win the contest if and only if you hold the only winning ticket. oIf you read the news paper every day, you will be informed and conversely. You will be informed if and only if you read the news paper every day. oIt rains if it is a weekend day, and it is a weekend day if it rains. It rains if and only if it is a weekend day. oThe train runs late on exactly those days when I take it. The train runs late if and only if it is a day I take the train. oThis number is divisible by 6 precisely when it is divisible by both 2 and 3. This number is divisible by 6 if and only if it is divisible by both 2 and 3.
  • 12. Predicate op=“is a student at Bedford College” oq =“is a student at.” • p & q are predicate symbols • p(x)=“x is a student at Bedford College. • q(x,y) =“x is a student at y.”  x and y are predicate variables that take values in appropriate sets. • When concrete values are substituted in place of predicate variables, a statement results. oA predicate is a predicate symbol together with suitable predicate variables.
  • 13. Predicate oA predicate is a sentence that contains a finite number of variables and becomes a statement when specific values are substituted for the variables. o The domain of a predicate variable is the set of all values that may be substituted in place of the variable. oAlso referred as propositional functions or open sentences
  • 14. Predicate(Example) oPerson(x), which is true if x is a person oPerson(Socrates) = T oPerson(dolly-the-sheep) = F oLet U = Z, the integers = {. . . -2, -1, 0 , 1, 2, 3, . . .} P(x): x > 0 is the predicate. It has no truth value until the variable x is bound. oExamples of propositions where x is assigned a value: P(-3) is false, P(0) is false, P(3) is true.
  • 15. Truth Values of a Predicate oP(x)=“x2 > x” oDomain = set R of all real numbers oFind truth values of P(2), P( 1/2 ), and P(−1/2 ) • P(2): 22 > 2, or 4 > 2. True • P(1/2):(1/2)2<1/2 or (1/4) <1/2 False • P(-1/2):(-1/2)2>-1/2 or (1/4) >-1/2 True
  • 16. Truth Values of a Predicate oIf P(x) is a predicate and x has domain D, the truth set of P(x) is the set of all elements of D that make P(x) true when they are substituted for x. The truth set of P(x) is denoted {x ∈ D | P(x)} “the set of all x in D such that P(x).”
  • 17. Truth Values of a Predicate oLet R be the three-variable predicate R(x, y z): x + y= z oFind the truth value of R(2, -1, 5), R(3, 4, 7), R(x, 3, z)