Обчислення предикатів