Elements of Analysis
MATH 302
-
direct proof
Assume is true, then show that must also be true.
-
proof of contrapositive
Assume is false, then show that must also be false.
-
proof by contradiction
Assume is true and is false. Then show that this leads to a contradiction.
a statement is a sentence that is either true or false.
[see the comp182 logic section]
- Converse:
- Contrapositive:
Disjoined conclusions §
[see the comp182 logic section]
Sets §
[see the comp182 sets section]
Indexed families of sets §