общезначимость

Часть речисущ.Значений1
  1. филос. (в логике) свойство логической формулы, состоящее в том, что эта формула истинна при любой интерпретации входящих в нее нелогических символов, то есть предикатных и пропозициональных переменных

Источник: статья «общезначимость» в Викисловаре, лицензия CC BY-SA 4.0. Текст сокращён.