ОПРОВЕРЖИМАЯ ФОРМУЛА

ОПРОВЕРЖИМАЯ ФОРМУЛА

формально опровержимая в данной системе формула, - замкнутая формула данной системы, отрицание к-рой выводимо в этой системе.

В. Н. Гришин.


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

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

  • опровержимая формула — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN reputable formula …   Справочник технического переводчика

  • НЕРАЗРЕШИМАЯ ФОРМУЛА — формула к. л. (логико математического) исчисления, одновре менно не доказуемая и не опровержимая средствами этого исчисления. (Соответственно формула, доказуемая или опровержимая в исчислении, наз. разрешимой в нем.) Термин Н. ф. прилагается, как …   Философская энциклопедия


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

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