Roses don’t smell good
If things don’t smell good, then people won’t like smelling them
Contrapositive of Given (1)
Therefore, people won’t like smelling roses
Statements (1) and(2)This
the fact that people enjoy stopping to smell roses. Given (2)
So since “Roses don’t smell good” is a false statement, then its negation“Roses do smell good” must be a true statement.
Definition of negation.
Steps in an indirect proof.
While driving her 1954 Chevy to the market, Miss Piggy suddenly worries that she may havelocked her keys in her apartment. Use one or more of the following statements to prove that
she couldn’t have forgotten her keys.
Miss Piggy never leaves her apartment unlocked
She keeps every key she owns on one large key ring.
She couldn’t have forgotten her keys.
Statement ReasonMiss piggy forgot her keys Assume negation
If miss piggy forgot her keys, then it’s on her
one large key ring Given 1
If it’s on her one large key ring, then her car key is also on the key
ringGivenThis contradicts the fact that she is driving Rule of driving: keysare requiredTherefore the fact that miss piggy forgot her keys is false, meaning itsnegation: that miss piggy did not forget her keys is true.Definition of negation(2)
Use the household rules from the “do now” to prove the following.
the theorem we proved before the mom always does the cooking.
Johnny is wrong if
he believes that Dad won’t be home for dinner. Prove that Dad has to
be home for dinner.Statement Reason
Dad won’t be home for dinner.
AssumenegationMom is the person closest to Dad in age, but younger than him. Given
If Dad doesn’t come to
dinner, then the person closest to his age but youngerthan him has to do the dishes.Rule 4If the person closest to his age but younger than him has to do the dishes, thenmom has to do the dishes.Statements1 and 2This contradicts the fact that mom always is the cook Given
Therefore the fact that Dad won’t be home for dinner is False, meaning the
negation that Dad will be home for dinner is true.Definition of negation
Postulates vs. Theorems:Indirect Proof Step 1:
Negate the statement we want to prove.
Use this negation in a direct proof until you come to a conclusion.
Show that the conclusion contradicts something we know
is definitely true