Теорема за компактност за множества от затворени дизюнкти. Ако всяко крайно подмножество на едно множество от затворени дизюнкти е изпълнимо, то и цялото множество е изпълнимо.

      Доказателство. Нека Δ е множество от затворени дизюнкти, всяко крайно подмножество на което е изпълнимо. Дизюнктите от Δ могат да бъдат подредени в редица – крайна или безкрайна. Случаят, когато тази редица е крайна, е ясен, затова да предположим, че тя е безкрайна. Нека нейните членове са δ₁, δ₂, δ₃, …  Една крайна редица от затворени литерали (λ₁,…,λ_n) ще наричаме допустима, ако λ_i принадлежи на δ_i при i=1,…,n и никой член на тази редица не е отрицание на друг неин член. Ясно е, че всяка редица, която е начало на допустима крайна редица от литерали, също е допустима, и че всяка n-членна допустима редица от литерали има най-много краен брой n+1-членни допустими продължения (не повече от броя на елементите на дизюнкта δ_n+1). Освен това поради изпълнимостта на всяко крайно подмножество на Δ съществуват допустими редици с произволно голям брой членове. Тези свойства на множеството на допустимите редици позволяват да приложим едно твърдение (вж. накрая), известно като лема на Кьониг, и да заключим, че съществува безкрайна редица от затворени литерали, на която всяка крайна начална част е допустима. Понеже никой член на тази безкрайна редица не е отрицание на друг, съществува структура S, в която всички членове на редицата са верни. И наистина, достатъчно е да изберем структурата S така, че в нея да бъдат верни точно онези затворени атомарни формули, които са членове на споменатата безкрайна редица, а такъв избор на S е възможен благодарение на втората основна лема за ербрановите структури и на забележката след нея (вж. въпроса „Ербранови структури“). В такава структура ще бъдат валидни всички дизюнкти, принадлежащи на Δ.  _□

      Следствие Всяко неизпълнимо множество от затворени дизюнкти има неизпълнимо крайно подмножество.

      Когато е дадена такава безкрайна редица (δ₁,δ₂,δ₃,…) от затворени дизюнкти, че да разполагаме с алгоритъм за намиране на последователните нейни членове, може да се посочи алгоритъм, който в случай, че множеството на членовете й е неизпълнимо, дава нейна крайна начална част с неизпълнимо множество на членовете. Един такъв алгоритъм може да бъде описан по следния начин: последователно изброяваме всичките едночленни, всичките двучленни, всичките тричленни и т.н. допустими редици от литерали и действаме по този начин, докато евентуално намерим естествено число n, за което няма нито една n-членна допустима редица. Намерим ли такова n, можем да сме сигурни, че множеството {δ₁,…,δ_n} не е изпълнимо. В случай, че безкрайното множество {δ₁,δ₂,δ₃,…} е неизпълнимо, съществуването на такова n е гарантирано от изказаното преди малко следствие.

      Лемата на Кьониг най-често се формулира в терминологията на теорията на графите, но може да се изкаже и като следното твърдение, непосредствено приложимо в ситуацията от горното доказателство: ако L е някакво множество, а F е такова множество от крайни редици от елементи на L, че а) всяка редица, която е начало на редица от F, също принадлежи на F, б) всяка n-членна редица от F има най-много краен брой n+1-членни продължения, принадлежащи на F, и в) в множеството F има редици с произволно голям брой членове, то съществува безкрайна редица от елементи на L, на която всяка крайна начална част принадлежи на множеството F. Така изказаното твърдение може да се докаже по следния начин. Нека са дадени множества L и F, удовлетворяващи предположенията на твърдението. Да се условим да наричаме обещаваща такава редица от F, която има в F продължения с произволно голям брой членове. От направените предположения е ясно, че празната редица е обещаваща, а лесно се съобразява още, че всяка n-членна обещаваща редица има поне едно n+1-членно обещаващо продължение (можем да се убедим в това чрез допускане на противното). От тези две свойства следва, че можем да изберем елемент λ₁ на L, за който редицата с единствен член λ₁ е обещаваща, след това да изберем елемент λ₂ на L, за който двучленната редица (λ₁,λ₂) е обещаваща, после да изберем елемент λ₃, за който тричленната редица (λ₁,λ₂,λ₃) е обещаваща, и така нататък до безкрайност. Получаващата се по този начин безкрайна редица (λ₁,λ₂,λ₃,…) от елементи на L има желаното свойство.

Последно изменение: 19.05.2010 г.