quantifiers and predicate logic csce 235 5287540