Предикат и квантор: что это, определение, свойства и обозначение