Describe the steps in and/or define how to accomplish the following types of proofs:
a. That two sets are equal.
b. That two sets are disjoint.
c. A proof by contra-positive.
d. A proof by contradiction.
e. A proof by Mathematical Induction.

a. Proof that two sets are equal:
I'll call the sets A and B. Here, we want to show that the elements of each set are also in the other set, and that there are no extras in either set. So what we need to do is to show that if something is in set A, it's also in set B, and that if something is in set B, it's also in set A. That is, we want to show that if x is in A, that implies that x is in B, and that if y is in B, that implies that y is in A.

b. Proof that two sets are disjoint:
Here we want to show that none of the elements of either set are in the other set (remember that this is what "disjoint" means: the sets have nothing in common). So similarly to above, we want to show that if x is in A, that implies that x is NOT in B, and that if y is in B, that implies that y is NOT in A.

c. Proof by contrapositive:
Now I'll let A be my set of assumptions (the given information) and B be the thing I want to prove. The proof is then supposed to show that A => B (A implies B, our assumptions imply the conclusion).
Recall that the contrapositive of P => Q (P ...

Solution Summary

This solution describes how to compose two types of proofs about sets, as well as proofs by contrapositive, by contradiction, and by induction.

... lecture notes used in connection with teaching Hurley's "A Concise Introduction to Logic ... doesn't meet the criteria of an argument: support/proof/evidence/reason ...

... Why education is a recession-proof industry, with model sample paper to compare: introduction with thesis, body paragraphs with Web-based resource quotes ...

... Any good introduction to the philosophy of religion covers the ... come to believe in God on the basis of a proof. ... and others might say that the proofs simply help ...

... http://forio.com/simulation/pdasim/pdasim.htm. This solution gives you an Introduction and Closing. BUS499. ... And he's sure his overall performance is proof. ...

... A great way to structure this would be I. Introduction II. ... (this can be 1-2 or more paragraphs, depending on how much "proof" you have found in your research). ...

This is an introduction to Project Management ... the awning, lights in the ceiling, electrical outlets, a water faucet for the workers, some sound-proofing, and a ...

...proofs. MUST be removed before printing. Department of the Treasury Internal Revenue Service. Publication 950 (Rev. December 2009) Cat. No. 14447X. Introduction...

... 3 Psalm 34:8 (NRSV) 4 Psalm 119:103 (NRSV). 4 INTRODUCTION. ... One can ﬁnd various lists of the rational proofs of God. ... 1. The Ontological Proof of God. ...

... need to calculate to apply the IFT to the Lagrange multipliers' proof is the ... determinant of the matrix in (1). References [1] W. Trench, Introduction to Real ...