Схемы доказательств


Дата добавления: 2014-11-24 | Просмотров: 1566


<== предыдущая страница | Следующая страница ==>

 

Любую теорему можно представить в виде А ® В или А « В, последнее есть по существу краткая запись двух теорем: А ® В, В ® А.

Как известно, формулы А ® В и В ® А не равносильны. Но А ® В º , В ® А º .

Если А ® В – теорема, то высказывание В ® А принято называть обратной теоремой, – противоположной теоремой, – теоремой обратной противоположной (или противоположной обратной).

Логичная связь между этими теоремами раскрывается уже упомянутыми равносильностями: .

Если А ® В – теорема, то А называется достаточным условием для В, В – необходимым условием для А.

Таким образом, вместо формулировки : "если А, то В" можно теорему сформулировать так "А достаточно, чтобы имело место В", "для того, чтобы имело место А необходимо выполнение В".

 


1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 |

При использовании материала ссылка на сайт Конспекта.Нет обязательна! (0.028 сек.)