degree of cut

Лог. степень сечения (число пропозициональных связок и кванторов в секущей формуле правила)

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