Английская лексика: Математика · Множества и логика

Что значит converse?

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

/ˈkɑːnvɜːrs/существительноеРаспространённый термин

converse: обратное утверждение; обратная теорема

Утверждение, полученное перестановкой частей «если» и «то» в условном утверждении; обратное к «если p, то q» — «если q, то p».

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

Теорема может быть верной, а обратное к ней утверждение — ложным, поэтому обратное нужно доказывать отдельно. Не следует путать его с inverse («обратное отрицание»: если не p, то не q) и contrapositive («контрапозиция»: если не q, то не p), которое логически равносильно исходному утверждению.

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

  1. The converse of the Pythagorean theorem is also true.

    Обратная теорема Пифагора также верна.

    Утверждение, что треугольник с квадратом гипотенузы, равным сумме квадратов катетов, прямоугольный, тоже является истинным.

  2. 'If a number is divisible by 4, it is even' is true, but its converse is false.

    Утверждение «если число делится на 4, то оно чётное» верно, а обратное ему — нет.

    Обратное утверждало бы, что любое чётное число делится на 4; например, 2 опровергает это.

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

  • the converse of
  • the converse is false
  • prove the converse
  • converse and contrapositive