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