logic of predicates and quantifiers 2994967