Схема 1. «Если x то y»
Доказательство теорем типа “если x, то y”.
Схема доказательства основана на следующем логическом следствии:
.
Действительно, по теореме 5 из следует
Схема 2. «доказательство от противного»или метод косвенного доказательства.
Схема доказательства основана на следующем логическом следствии:
Действительно, по теореме 6 из следует, что
Схема 3 «доказательство построением цепочки импликаций»
Схема доказательства основана на следующем логическом следствии:
Действительно, по теореме 6 из следует, что
Схема 4. «Доказательство разбором случаев»
Схема доказательства основана на следующем логическом следствии:
.
Действительно, по теореме 6 из следует, что