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

Схема 1. « Если x то y»

Доказательство теорем типа “если x, то y”.

Схема доказательства основана на следующем логическом следствии:

.

Действительно, по теореме 5 из следует

Схема 2. « доказательство от противного » или метод косвенного доказательства.

Схема доказательства основана на следующем логическом следствии:

Действительно, по теореме 6 из следует, что

Схема 3 « доказательство построением цепочки импликаций»

Схема доказательства основана на следующем логическом следствии:

Действительно, по теореме 6 из следует, что

Схема 4. « Доказательство разбором случаев»

Схема доказательства основана на следующем логическом следствии:

.

Действительно, по теореме 6 из следует, что