Нека Е е множество от термове, а кси1 и кси2 са най общи унификатори за Е. Да се докаже, че съществуват
субституции сигма1 и сигма2 такива че Екси1сигма1 = Екси2= Екси1 и сигма1 сигма2 са преименуващи
съответно за Есигма1 и Есигма2

Нека делта е мнжество от затворени безкванторни формули от предикатен език без равенство. Да се док
че ако делта е булево изпълнимо то има ербранова структура която е модел за делта

Кога казваме че формулата Същ у фи[x/y] e вариант на същ х фи ? Да се докаже че ако първата е вариант 
на 2рата то извежда 2рата => първата

Нека S е изпълнимо множество от съждителни хорнови дизюнкти. Докажете че съществува такава булева интепретация
I че I e модел за S и всеки път когато е модел за S , за никоя съждителна променлива р не са изпълнени едновременно
I(p) = istina I(p) = lyja

Нека L e език на пред. смятане без формално равенство и без функц символи имащ краен брой индивидни 
константи и предикатни символи. Да се опише алгоритъм който по дадена затворена ф-ла от L имаща вида
всяко х1 всяко х2 същ у1 същ у2 фи, където фи е безкванторна, разпознава дали тя е предикатна тавтология