дедуктивная оценка

Мат. deductive evaluation