Предикаты и кванторы. Действия над предикатами и их свойства презентация, докл