Логические символы предикатов: основы и примеры