Раздел «Естествознание, Математика»

• Словарь естествознания
  В закладки

  

  В закладки будет добавлено толкование к данному слову в данном словаре. Закладки сохраняются на Вашем компьютере в cookie. Если Ваш браузер не поддерживает cookie или такая возможность отключена, то сохранение закладок будет не возможно.

  Обратная Теорема

  теорема, условием к-рой служит заключение исходной (прямой) теоремы, а заключением - условие.

• Математический словарь
  В закладки

  

  В закладки будет добавлено толкование к данному слову в данном словаре. Закладки сохраняются на Вашем компьютере в cookie. Если Ваш браузер не поддерживает cookie или такая возможность отключена, то сохранение закладок будет не возможно.

  Обратная Теорема

  - теорема, условием к-рой служит заключение теоремы исходной (прямой), а заключением - условие. Обратной к О. т. будет исходная (прямая) теорема, так что прямая и О. т. взаимно обратны.

  О. т. равносильна теореме, противоположной к прямой, т. е. теореме, в к-рой условие и заключение прямой теоремы заменены их отрицаниями. Поэтому прямая теорема равносильна противоположной к обратной, т. е. теореме, утверждающей, что если неверно заключение прямой теоремы, то неверно и ее условие. Известный способ "доказательства от противного" как раз и представляет собой замену доказательства прямой теоремы доказательством теоремы, противоположной к обратной. Справедливость обеих взаимно обратных теорем озн

  …
  Далее

  - теорема, условием к-рой служит заключение теоремы исходной (прямой), а заключением - условие. Обратной к О. т. будет исходная (прямая) теорема, так что прямая и О. т. взаимно обратны.

  О. т. равносильна теореме, противоположной к прямой, т. е. теореме, в к-рой условие и заключение прямой теоремы заменены их отрицаниями. Поэтому прямая теорема равносильна противоположной к обратной, т. е. теореме, утверждающей, что если неверно заключение прямой теоремы, то неверно и ее условие. Известный способ "доказательства от противного" как раз и представляет собой замену доказательства прямой теоремы доказательством теоремы, противоположной к обратной. Справедливость обеих взаимно обратных теорем означает, что выполнение условия любой из них не только достаточно, но и необходимо для справедливости заключения. См. также Теорема, Необходимые и достаточные условия.

  БСЭ-3.

  
  Свернуть