ИМПЛИКАТИВНАЯ НОРМАЛЬНАЯ ФОРМА это:

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

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

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

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

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

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


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "ИМПЛИКАТИВНАЯ НОРМАЛЬНАЯ ФОРМА" в других словарях:

  • ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»