" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ИМПЛИКАТИВНАЯ НОРМАЛЬНАЯ ФОРМА

Значение ИМПЛИКАТИВНАЯ НОРМАЛЬНАЯ ФОРМА в математической энциклопедии:

пропозициональная форма вида

где все С _i, i=1, . . . , п, имеют вид

каждое С _ij, i=1, . . ., п; j=1, . . ., т _i, есть либо переменная, либо отрицание переменной, и есть логич. символ, обозначающий ложь. Для всякой пропозициональной формулы Аможно построить классически эквивалентную ей И. н. ф. В, содержащую те же переменные, что и А. Такая формула Вназ. И. н. ф. формулы А.

Лит.:[1] Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960.

С. И. Соболев.