Построение модели множества формул

Рассмотрено решение двух задач на построение модели множества формул логики первого порядка (т.е. алгебраической системы, в которой истинны все формулы данного множества). Предварительно проводится проверка непротиворечивости данного множества формул методом резолюций для логики первого порядка.