логическая выводимость

Мат. logical deducibility, logical derivability

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