логическая выводимость Мат. logical deducibility, logical derivability Полный русско-английский словарь