deductive derivation

Мат. дедуктивный вывод