Предикаты и кванторы. Действия над предикатами и их свойства online presentati