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