ИМПЛИКАТИВНАЯ НОРМАЛЬНАЯ ФОРМА
пропозициональная формавида
где все Сi, i=1, . . . ,п,имеют вид
каждое Сij, i=1, . . ., п;j=1, . . .,тi,есть либо переменная, либо отрицание переменной, и есть логич. символ, обозначающий ложь. Для всякой пропозициональной формулы Аможно построить классически эквивалентную ей И. н. ф.В,содержащую те же переменные, что иА.Такая формула Вназ. И. н. ф. формулыА.
Лит.:[1] Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960.
С. И. Соболев.