Homepage › Solution manuals › James Munkres › Topology › Exercise 1.3
Exercise 1.3
- (a)
- Write the contrapositive and converse of the following statement: “If , then ,” and determine which (if any) of the three statements are true.
- (b)
- Do the same for the statement “If , then .”
Answers
(a) First we claim that the original statement is true.
Proof. Since we clearly have that as well. Then, since the product of two negative numbers is positive, we have that as desired. □
The contrapositive of this is, “If , then .” This is of course also true by virtue of the fact that the contrapositive is logically equivalent to the original implication.
Lastly, the converse of this statement is, “If , then .” We claim that this is not generally true.
Proof. A simple counterexample of shows this. We have , but also clearly as well so that is clearly false. □
(b) First we claim that this statement is false.
Proof. As a counterexample, let . Then clearly , but we also have so that is obviously not true. □
The contrapositive is then “If , then ,” which is false since it is logically equivalent to the original statement.
The converse is “If , then ,” which we claim is false.
Proof. As a counterexample, consider so that . However, we also clearly have so that is not true. □