ИСЧИСЛЕНИЕ ПРЕДИКАТОВ – см. Логика предикатов.