Как общезначимость связана с выполнимостью и невыполнимостью формул в логике?

Общезначимость, выполнимость и невыполнимость формул в логике связаны следующим образом:

• Общезначимая формула (тождественно истинная) истинна в любой интерпретации. logic.pdmi.ras.ru mk.cs.msu.ru Отрицание общезначимой формулы — невыполнимая формула или противоречие. study.urfu.ru
• Выполнимая формула истинна хотя бы при одной интерпретации. study.urfu.ru Формула выполнима в данной интерпретации, если соответствующее ей отношение выполняется хотя бы для одного набора значений переменных. logic.pdmi.ras.ru
• Невыполнимая формула (противоречие) ложна при всех интерпретациях. study.urfu.ru Формула невыполнима, если при любых значениях переменных принимает значение 0. logic.pdmi.ras.ru

Таким образом, общезначимость связана с выполнимостью и невыполнимостью через определения этих понятий: общезначимая формула — это результат выполнения определённых условий, невыполнимая формула — это отсутствие выполнимости, а выполнимая формула — это возможность интерпретации с истинным значением. study.urfu.ru logic.pdmi.ras.ru