added propositional logic and basic set classes

todo: javadoc comments for all .math package classes