Conditional statements
Conditional statements
If an angle is a right angle, then it has a measure of 90º.
Conditional statements
If an angle is a right angle, then it has a measure of 90º.
~p ("not p") is the negation of p.
Conditional statements
If an angle is a right angle, then it has a measure of 90º.
~p ("not p") is the negation of p.~p is "An angle is not a right
angle."
Conditional statements
If an angle is a right angle, then it has a measure of 90º.
~p ("not p") is the negation of p.~p is "An angle is not a right
angle."~q is "An angle does not have a
measure of 90º."
Statement: qp
Statement:
Converse:
qp
q p
Statement:
Converse:
Inverse: ~p ~q
qp
q p
Statement:
Converse:
Inverse: ~p ~q
qp
q p
Contrapositive: ~p~q
Statement:
Converse:
Inverse: ~p ~q
qp
q p
Contrapositive: ~p~q
If an angle is a right angle,then it has a measure of 90º.
Statement:
Converse:
Inverse: ~p ~q
qp
q p
Contrapositive: ~p~q
If an angle has a measure of 90º,then it is a right angle.
If an angle is a right angle,then it has a measure of 90º.
Statement:
Converse:
Inverse: ~p ~q
qp
q p
Contrapositive: ~p~q
If an angle has a measure of 90º,then it is a right angle.
If an angle is a right angle,then it has a measure of 90º.
If an angle is a not right angle,then it does not have a measure of 90º.
Statement:
Converse:
Inverse: ~p ~q
qp
q p
Contrapositive: ~p~q
If an angle has a measure of 90º,then it is a right angle.
If an angle is a right angle,then it has a measure of 90º.
If an angle is a not right angle,then it does not have a measure of 90º.
If an angle does not have a measure of 90º,then it is not a right angle.
Statement:
Converse:
Inverse: ~p ~q
qp
q p
Contrapositive: ~p~q
If an angle has a measure of 90º,then it is a right angle.
If an angle is a right angle,then it has a measure of 90º.
If an angle is a not right angle,then it does not have a measure of 90º.
If an angle does not have a measure of 90º,then it is not a right angle.
true
Statement:
Converse:
Inverse: ~p ~q
qp
q p
Contrapositive: ~p~q
If an angle has a measure of 90º,then it is a right angle.
If an angle is a right angle,then it has a measure of 90º.
If an angle is a not right angle,then it does not have a measure of 90º.
If an angle does not have a measure of 90º,then it is not a right angle.
true
true
Statement:
Converse:
Inverse: ~p ~q
qp
q p
Contrapositive: ~p~q
If an angle has a measure of 90º,then it is a right angle.
If an angle is a right angle,then it has a measure of 90º.
If an angle is a not right angle,then it does not have a measure of 90º.
If an angle does not have a measure of 90º,then it is not a right angle.
true
true
true
Statement:
Converse:
Inverse: ~p ~q
qp
q p
Contrapositive: ~p~q
If an angle has a measure of 90º,then it is a right angle.
If an angle is a right angle,then it has a measure of 90º.
If an angle is a not right angle,then it does not have a measure of 90º.
If an angle does not have a measure of 90º,then it is not a right angle.
true
true
true
true
Statement:
Converse:
Inverse: ~p ~q
qp
q p
Contrapositive: ~p~q
If two angles are right angles,then they are congruent.
true
Statement:
Converse:
Inverse: ~p ~q
qp
q p
Contrapositive: ~p~q
If two angles are right angles,then they are congruent.
true
falseIf two angles are congurent,then they are right angles.
Statement:
Converse:
Inverse: ~p ~q
qp
q p
Contrapositive: ~p~q
If two angles are right angles,then they are congruent.
true
false
false
If two angles are congurent,then they are right angles.
If two angles are not right angles,then they are not congruent.
Statement:
Converse:
Inverse: ~p ~q
qp
q p
Contrapositive: ~p~q
If two angles are right angles,then they are congruent.
true
false
false
true
If two angles are congurent,then they are right angles.
If two angles are not congurent,then they are not (both) right angles.
If two angles are not right angles,then they are not congruent.
Statement:
Converse:
Inverse: ~p ~q
qp
q p
Contrapositive: ~p~q
If you live in Chicago,then you live in Illinois.
true
Statement:
Converse:
Inverse: ~p ~q
qp
q p
Contrapositive: ~p~q
If you live in Chicago,then you live in Illinois.
true
falseIf you live in Illinois,
then you live in Chicago.
Statement:
Converse:
Inverse: ~p ~q
qp
q p
Contrapositive: ~p~q
If you live in Chicago,then you live in Illinois.
true
false
false
If you live in Illinois,then you live in Chicago.
If you do not live in Chicago,then you do not live in Illinois.
Statement:
Converse:
Inverse: ~p ~q
qp
q p
Contrapositive: ~p~q
If you live in Chicago,then you live in Illinois.
true
false
false
true
If you live in Illinois,then you live in Chicago.
If you do not live in Illinois,then you do not live in Chicago.
If you do not live in Chicago,then you do not live in Illinois.
Statement:
Converse:
Inverse: ~p ~q
qp
q p
Contrapositive: ~p~q
falseIf you live in Illinois,
then you live in Chicago.
Statement:
Converse:
Inverse: ~p ~q
qp
q p
Contrapositive: ~p~q
If you live in Chicago,then you live in Illinois.
true
falseIf you live in Illinois,
then you live in Chicago.
Statement:
Converse:
Inverse: ~p ~q
qp
q p
Contrapositive: ~p~q
If you live in Chicago,then you live in Illinois.
true
false
true
If you live in Illinois,then you live in Chicago.
If you do not live in Illinois,then you do not live in Chicago.
Statement:
Converse:
Inverse: ~p ~q
qp
q p
Contrapositive: ~p~q
If you live in Chicago,then you live in Illinois.
true
false
false
true
If you live in Illinois,then you live in Chicago.
If you do not live in Illinois,then you do not live in Chicago.
If you do not live in Chicago,then you do not live in Illinois.
Statement:
Converse:
Inverse: ~p ~q
qp
q p
Contrapositive: ~p~q
falseIf you live in Indiana
then you live in Chicago.
Statement:
Converse:
Inverse: ~p ~q
qp
q p
Contrapositive: ~p~q
If you live in Chicago,then you live in Indiana.
falseIf you live in Indiana
then you live in Chicago.false
Statement:
Converse:
Inverse: ~p ~q
qp
q p
Contrapositive: ~p~q
If you live in Chicago,then you live in Indiana.
falseIf you live in Indiana
then you live in Chicago.
If you do not live in Indianathen you do not live in Chicago.
false
false
Statement:
Converse:
Inverse: ~p ~q
qp
q p
Contrapositive: ~p~q
If you live in Chicago,then you live in Indiana.
false
false
If you live in Indianathen you live in Chicago.
If you do not live in Indianathen you do not live in Chicago.
If you do not live in Chicago,then you do not live in Indiana.
false
false
Theorem 3: If a conditional statement is true, then the
contrapositive of the statement is also true.
(If p, then q If ~p, then ~q)
Theorem 3: If a conditional statement is true, then the
contrapositive of the statement is also true.
(If p, then q If ~p, then ~q)
means "if and only if"
Theorem 3: If a conditional statement is true, then the
contrapositive of the statement is also true.
(If p, then q If ~p, then ~q)
means "if and only if"
"iff" means "if and only if"
Circle diagramsVenn diagramsEuler diagrams
Circle diagramsVenn diagramsEuler diagrams
Circle A representspeople who live inChicago.A
Circle diagramsVenn diagramsEuler diagrams
Circle A representspeople who live inChicago.
Circle B representspeople who live inIllinois.
AB
Circle diagramsVenn diagramsEuler diagrams
Circle A representspeople who live inChicago.
Circle B representspeople who live inIllinois.
AB
Mayor of Chicago
Circle diagramsVenn diagramsEuler diagrams
Circle A representspeople who live inChicago.
Circle B representspeople who live inIllinois.
AB
Mayor of Chicago
Narrator
Circle A representspeople who live inChicago.
A
Circle A representspeople who live inChicago.
Circle B representspeople who live inIllinois.
A
B
Circle A representspeople who live inChicago.
Circle B representspeople who live inIllinois.
A
BCircle C representspeople who live inthe USA.
C
Circle A representspeople who live inChicago.
Circle B representspeople who live inIllinois.
A
BCircle C representspeople who live inthe USA.
CCircle D representspeople who live inNorth America.
D
Chains of Reasoning
Chains of Reasoning
If p q, and q r,then p r.
Chains of Reasoning
If p q, and q r,then p r.
If you live in Chicago, then you live in Illinois.
Chains of Reasoning
If p q, and q r,then p r.
If you live in Chicago, then you live in Illinois.If you live in Illinois, then you live in the USA.
Chains of Reasoning
If p q, and q r,then p r.
If you live in Chicago, then you live in Illinois.If you live in Illinois, then you live in the USA.
Conclusion: If you live in Chicago, then you live in the USA.
Chains of Reasoning
If p q, q r, and r s,then p s.
Chains of Reasoning
If p q, q r, and r s,then p s.
If you live in Chicago, then you live in Illinois.
Chains of Reasoning
If p q, q r, and r s,then p s.
If you live in Chicago, then you live in Illinois.If you live in Illinois, then you live in the USA.
Chains of Reasoning
If p q, q r, and r s,then p s.
If you live in Chicago, then you live in Illinois.If you live in Illinois, then you live in the USA.If you live in the USA then you live in North
America.
Chains of Reasoning
If p q, q r, and r s,then p s.
If you live in Chicago, then you live in Illinois.If you live in Illinois, then you live in the USA.If you live in the USA then you live in North
America.
Conclusion: If you live in Chicago, then you live in North America.
If I study for many hours, I will do well in geometry.
If I study for many hours, I will do well in geometry.
If I do well in geometry, I will get into a good college.
If I study for many hours, I will do well in geometry.
If I do well in geometry, I will get into a good college.
If I get into a good college, I will be able get a high paying job.
If I study for many hours, I will do well in geometry.
If I do well in geometry, I will get into a good college.
If I get into a good college, I will be able get a high paying job.
If I get a high paying job, I will become wealthy.
If I study for many hours, I will do well in geometry.
If I do well in geometry, I will get into a good college.
If I get into a good college, I will be able get a high paying job.
If I get a high paying job, I will become wealthy.
Conclusion: If I study for many hours, I will become wealthy.
Conditional statement: qp
Conditional statement: qpConverse: q p
Conditional statement: qpConverse:
Inverse: ~p ~qq p
Conditional statement: qpConverse:
Inverse: ~p ~qq p
Contrapositive: ~p~q
Conditional statement: qpConverse:
Inverse: ~p ~qq p
Contrapositive: ~p~qCircle diagrams (also know as Venn
or Euler diagrams) help us depict conditional statements.
Conditional statement: qpConverse:
Inverse: ~p ~qq p
Contrapositive: ~p~qCircle diagrams (also know as Venn
or Euler diagrams) help us depict conditional statements.means "if and only if."
Theorem 3: If a conditional statement is true, then the
contrapositive of the statement is also true.
(If p, then q If ~p, then ~q)