4.5 4.6 5.1

I feel like this section won't be that difficult to do.  I remember talking about the fundamental properties of operations like Commutative Laws, Associative Laws Distributive Laws and De Morgan's Laws.  So I'm excited to learn how to do proofs using them.  I also think the proofs with counterexamples will be a fun section, when reading over the examples I could figure out a bunch of the solutions with out reading them.  The part that I think will be the most difficult is the Cartesian Product part, I understand what they are, but I don't quite understand how to use them in proofs, so I'm excited to learn how to do that.