three documents added, solution for hw 7 phil50, homework 8 new, and
derivation guide for predicate logic