логика предикатов