predicates and quantifiers

visit shbcf.ru