Большой русско-английский словарь ЛОГИЧЕСКАЯ выводимость мат. logical deducibility, logical derivability