Английская лексика: Математика · Доказательства и математический текст

Что значит it follows that?

Значение и примеры · Математика

словосочетаниеРаспространённый термин

it follows that: отсюда следует, что; следовательно

Связующая фраза в доказательствах и решениях, показывающая, что следующее утверждение логически вытекает из уже установленного.

Где и как употребляется

Более формальный аналог so («так что»). Близкие связки в математическом тексте — hence, therefore, thus и consequently («следовательно», «поэтому»). Если нужно назвать основание вывода, используют конструкцию it follows from A that B («из A следует B»).

Примеры предложений

  1. Since x² = 9 and x is positive, it follows that x = 3.

    Поскольку x² = 9 и x положительно, отсюда следует, что x = 3.

    Из уравнения возможны x = ±3, а условие положительности оставляет только x = 3.

  2. It follows from Lemma 2 that the function is increasing.

    Из леммы 2 следует, что функция возрастает.

    Свойство возрастания выводится из результата, установленного леммой 2.

Распространённые словосочетания

  • it follows that
  • it follows from
  • it then follows that
  • hence
  • therefore