1. – Phillip J. Davis and Reuben Hersh
Discrete Structures
Chapter 6: Set Theory
6.3 Disproofs, Algebraic Proofs, and Boolean Algebras
If a fact goes against common sense, and we are nevertheless compelled to accept and deal with this fact, we learn to alter our notion of common sense.
– Phillip J. Davis and Reuben Hersh
The Mathematical Experience, 1981
6.3 Disproofs, Algebraic Proofs, and Boolean Algebras

2. 6.3 Disproofs, Algebraic Proofs, and Boolean Algebras
Example – pg. 372
For the example below, find a counterexample to show that the statement is false. Assume all sets are subsets of a universal set U.
6.3 Disproofs, Algebraic Proofs, and Boolean Algebras

3. 6.3 Disproofs, Algebraic Proofs, and Boolean Algebras
Examples – pg. 372
For the examples below, prove each statements that is true and find a counterexample for each statement that is false. Assume all sets are subsets of a universal set U.
6.3 Disproofs, Algebraic Proofs, and Boolean Algebras

4. 6.3 Disproofs, Algebraic Proofs, and Boolean Algebras
Examples – pg. 373
For the examples below, construct an algebraic proof for the given statement. Cite a property from Theorem for every step.
6.3 Disproofs, Algebraic Proofs, and Boolean Algebras

5. 6.3 Disproofs, Algebraic Proofs, and Boolean Algebras
Example – pg. 373
For the example below, simplify the given expression. Cite a property from Theorem for every step.
6.3 Disproofs, Algebraic Proofs, and Boolean Algebras