Initial commit
fixed title for renamed repo
adding in theorems for exponents and logarithms
adding in laws and theorems of real numbers
adding in propositional calculus laws and theorems
adding in laws for predicate calculus