Математическая энциклопедия

ОБЩЕЗНАЧИМОСТЬ

- свойствологической формулы,состоящее в том, что эта формула истинна при любой интерпретации входящих в нее нелогич. символов, т. е. предикатных и пропозициональных переменных. Логич. формулы, обладающие этим свойством, наз. общезначимыми, или тождественно истинными, или тавтологиями. Всякая общезначимая формула выражаетлогический закон.Вместо слов "формула Аобщезначима" часто пишут: Важнейшими видами логич. формул являются пропозициональные и предикатные формулы. При классич. пониманиилогических операцийО. пропозициональных формул проверяется путем построенияистинностных таблиц:формула общезначима тогда и только тогда, когда при любых истинностных значениях пропозициональных переменных она принимает значение И ("истина"). О. предикатной формулы означает истинность в любоймодели.Множество общезначимых предикатных формул неразрешимо, т. е. не существует алгоритма, позволяющего для произвольной предикатной формулы выяснить, общезначима ли она. ИзГёделя теоремы о полнотеследует, что все общезначимые предикатные формулы и только они выводимы в классич. исчислении предикатов.

Лит.:[1] Клини С. К., Математическая логика, пер. с англ., М., 1973.

В. Е. Плиско.


Синонимы:
универсальность


  1. общезначимость—Начальная форма Общезначимость винительный падеж слово обычно не имеет множественного числа единственное число женский род неодушевленное...Морфологический разбор существительных
  2. общезначимость—общезначимость ж. Отвлеч. сущ. по знач. прил. общезначимый....Новый толково-словообразовательный словарь русского языка
  3. общезначимость—общезначимость общезначимость и...Орфографический словарь
  4. общезначимость—Орфографическая запись слова общезначимость Ударение в слове общезначимость Деление слова на слоги перенос слова общезначимость Фонетическая транскрипция слова общезначим...Полный фонетический разбор слов
  5. общезначимость—общезначимость иСинонимы универсальность...Русский орфографический словарь
  6. общезначимость—general meaning...Русско-английский морской словарь
  7. общезначимость—ж. лог....Русско-английский психологический словарь
  8. общезначимость—f.general meaning general validityСинонимы универсальность...Русско-английский словарь математических терминов
  9. общезначимость—general meaning general ampLTcomput.ampGT validityСинонимы универсальность...Русско-английский технический словарь
  10. общезначимость—Агульназначнасць...Русско-белорусский словарь
  11. общезначимость—агульназначнасць жен.i...Русско-белорусский словарь II
  12. общезначимость—матем. загальнозначущсть щост Синонимы универсальность...Русско-украинский политехнический словарь
  13. общезначимость—общезначимость универсальность...Слитно или раздельно? Орфографический словарь-справочник
  14. общезначимость—общезначимость универсальность Словарь русских синонимов. общезначимость сущ. колво синонимов универсальность Словарь синонимов ASIS.В.Н. Тришин. . Синонимы универсаль...Словарь синонимов II
  15. общезначимость—общезначимость универсальность...Словарь синонимов
  16. общезначимость—ОБЩЕЗНАЧИМОСТЬ ж. см. общезначимый....Толковый словарь русского языка
  17. общезначимость—Ударение в слове общезначимостьУдарение падает на букву аБезударные гласные в слове общезначимость...Ударение и правописание
  18. общезначимость—в субъективноидеалистической философии считается определителем достоверности человеческого знания. В действительности же положения об О. о социальноорганизованном опыте и...Философский энциклопедический словарь
  19. общезначимость—Зомби Зоман Зоеа Зоб Знобить Значимость Знать Знатие Змеисто Зина Зима Зет Зенит Земщина Земно Защечин Зачин Зачет Зачесть Зачес Затон Затечь Затес Затемно Затем Засим За...Электронный словарь анаграмм русского языка