Sec. 7, 5.4-5.5 Due February 3

For the most part I was able to understand existence proofs.  The one example that was slightly confusing to me was the one that stated, "The exists irrational numbers a and b such that a^b is rational."  Disproving statements seems easy enough.  It essentially seems as if we're doing normal proofs with the intent of showing something is not true rather than true.