canonical derivation

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