Основы и примеры выполнимости формул логики предикатов