выводимость, дифференцируемость
существительное
- лог. выводимость
- мат. дифференцируемость
Словосочетания
formal derivability —
формальная выводимость
immediate derivability —
непосредственная выводимость
logical derivability —
логическая выводимость
regular derivability —
регулярная выводимость