adding in propositional calculus laws and theorems