We are using cookies This website uses cookies in order to offer you the most relevant information. By browsing this website, you accept these cookies.
Общезна́чимость — свойство логической формулы, состоящее в том, что эта формула истинна при любой интерпретации входящих в неё нелогических символов, то есть предикатных и пропозициональных переменных.