Базис индукции ( когда А - переменная) обеспечивается определением истинности переменных. Для шага индукции используется ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Верещагин Н.К. Лекции по математической логике и теории алгоритмов Часть 2


Базис индукции ( когда А - переменная) обеспечивается определением истинности переменных. Для шага индукции используется та же лемма, что и при доказательстве полноты с помощью разбора случаев. Тогда есть четыре возможности для истинности В и С. В одном из них ( когда В и С истинны на v) по предположению индукции мы имеем Г h В и Г h С, откуда Г h ( В Л С), то есть Г h А.

(cкачать страницу)

Смотреть книгу на libgen

Базис индукции ( когда А - переменная) обеспечивается определением истинности переменных. Для шага индукции используется та же лемма, что и при доказательстве полноты с помощью разбора случаев. Тогда есть четыре возможности для истинности В и С. В одном из них ( когда В и С истинны на v) по предположению индукции мы имеем Г h В и Г h С, откуда Г h ( В Л С), то есть Г h А.