Основные методы доказательств

Метод цепочек импликаций состоит в том, что из посылки А выстраивается цепочка из n импликаций, последним высказыванием в которой является заключение теоремы В, т.е.

Основные методы доказательств - №1 - открытая онлайн библиотека .

В основе этого метода лежит закон цепного высказывания, или закон силлогизма:

Основные методы доказательств - №2 - открытая онлайн библиотека .

Символ Основные методы доказательств - №3 - открытая онлайн библиотека означает логический союз «и», а выражение Основные методы доказательств - №4 - открытая онлайн библиотека читается, как «А и В».

Метод от противного.

Этот метод основан на законе контрапозиций, который имеет вид:

Основные методы доказательств - №5 - открытая онлайн библиотека .

Символ ( Основные методы доказательств - №6 - открытая онлайн библиотека ) соответствует логическому союзу «не»,

выражение Основные методы доказательств - №7 - открытая онлайн библиотека читается, как: «не А», или «не верно, что А».

Символ ( Основные методы доказательств - №8 - открытая онлайн библиотека ) соответствует любому из трёх логических высказываний:

1) «необходимо и достаточно»,

2) «тогда и только тогда»

3) «эквивалентно»

Метод необходимого и достаточного.

Например, теорема формулируется так: «Чтобы имело место А, необходимо и достаточно выполнение В».

Доказательство такого вида теоремы распадается на две части: сначала доказывается, что если имеет место А, то справедливо В (В необходимо для А), затем доказывается, что если имеет место В, то имеет место и А (В достаточно для А).

Доказательство таким методом базируется на законе тавтологии:

Основные методы доказательств - №9 - открытая онлайн библиотека .

Упражнения для самостоятельного анализа к Разделу 1: