Задания

1.записать утверждения формулами с предикатами, привести к правилам, преобразовать  к ССФ, проверить общезначимость)

2. Используя М-интерпретацию проверить закон логики предикатов

3.Выполнимые формулы, решение SAT проблемы для формул с предикатами.

3.Интерпретация формул с многоместными  предикатами

3.Интерпретация незамкнутых формул в булевой алгебре множеств.

3Интерпретация одноместных предикатов Правило подстановки.

3.Квантор существования, М-интерпретация формул с квантором на множествах.

3.Коммутативность смешанных кванторов для формул с одноместными предикатами.

3.М-интерпретация формул с одноместными предикатами.

3.Некоммутативность смешанных кванторов для формул с двуместными предикатами.

3.Обобщение законов логики высказываний в логике предикатов.

3.Расширение области действия квантора существования для формул с одноместными предикатами

3.Теория первого порядка. Вывод в исчислении предикатов.

3.Формулы с одноместными предикатами. Интерпретация на множествах

4..Декларативная(логическая) семантика программ в Прологе

4.Задачи анализа программ в логике предикатов

4.Логическое описание семантики программ

4.Обобщение теорем вывода из гипотез в логике предикатов

4.Правило существования

4.Приведенная  нормальная форма с предикатами

4.Правило индивидуализации

4.Применение правил Девиса - Патнема и метода резолюций при выводе из гипотез

4.Применение логики в информационно-справочных системах и базах данных

4..Процедурная семантика программ в Прологе

4.Рекурсивное исполнение программы n! в Прологе

4.Совершенная Сколемовская форма

4.Унификация  предикатов