|
|||||
Схемы доказательствДата добавления: 2014-11-24 | Просмотров: 1566
Любую теорему можно представить в виде А ® В или А « В, последнее есть по существу краткая запись двух теорем: А ® В, В ® А. Как известно, формулы А ® В и В ® А не равносильны. Но А ® В º , В ® А º . Если А ® В – теорема, то высказывание В ® А принято называть обратной теоремой, – противоположной теоремой, – теоремой обратной противоположной (или противоположной обратной). Логичная связь между этими теоремами раскрывается уже упомянутыми равносильностями: . Если А ® В – теорема, то А называется достаточным условием для В, В – необходимым условием для А. Таким образом, вместо формулировки : "если А, то В" можно теорему сформулировать так "А достаточно, чтобы имело место В", "для того, чтобы имело место А необходимо выполнение В".
|
При использовании материала ссылка на сайт Конспекта.Нет обязательна! (0.028 сек.) |