canonical derivation

Канонический вывод (предложения или сентенциальной формы)

Источник: Полный англо-русский словарь на Gufo.me