Введение в логику, урок 4: Предикаты и кванторы