Базис - индукция
Cтраница 1
Базис индукции ( когда А - переменная) обеспечивается определением истинности переменных. Для шага индукции используется та же лемма, что и при доказательстве полноты с помощью разбора случаев. Тогда есть четыре возможности для истинности В и С. В одном из них ( когда В и С истинны на v) по предположению индукции мы имеем Г h В и Г h С, откуда Г h ( В Л С), то есть Г h А. [1]
Базис индукции при й ( Ф) 2 легко проверяется. Действительно, в / ( 1, х2) - ( Т1 Х22) Т остаточная / г будет иметь фиктивную переменную и множество xi x будет выделимым. [2]
Базис индукции при п 1 тривиален. [3]
Базис индукции установлен выше. Переход от подформул Ф ] Ф2 к подформуле Ф1 & Ф2 не вызывает затруднений. [4]
Базис индукции получается непосредственно. [5]
 |
Дерево разбора логической формулы. [6] |
Базис индукции: терминальным символам - переменны. [7]
Базис индукции установлен, так как никакое простое число не делит единицу и никакое натуральное число не является меньшим, чем нуль. [8]
Базис индукции при fel очевиден. [9]
Базис индукции при х ( Ф) 2 очевидно выполняется. [10]
Следовательно, базис индукции справедлив. Очевидно, что индуктивный шаг также справедлив. [11]
Следовательно, базис индукции по п доказан. [12]
Эти три формулы представляют соответственно базис индукции, индукционный шаг и общее утверждение. Этот результат перестает быть верным в более общем контексте. [13]
Утверждение ( 4) называется базисом индукции. [14]
При построении конфигурации основываемся на некотором базисе индукции, от которого осуществляются последующие шаги индукции. [15]
Страницы: 1 2 3