Зарипова, Э.Р. Дискретная математика Часть II. Математическая логика

113 замкнутости. 23. Класс функций T1. Определение и доказательство замкнутости. 24. Класс функций S. Определение и лемма о несамодвойственной функции. 25. Класс функций M. Определение и лемма о немонотонной функции. 26. Класс функций L. Определение и лемма о нелинейной функции. 27. Понятие предиката, квантора, алфавита и формулы. 28. Интерпретация формул при исчислении предикатов. 29. Понятие скулемовской стандартной формы. 30. Предваренная нормальная форма. 31. Метод резолюций для исчисления высказываний. 32. Сравнительный анализ предикатов и высказываний. Примеры. 33. Понятие унификатора, склейки и резольвенты в исчислении предикатов. 34. Теоремы о логическом следствии. 35. Алгоритм преобразования формул в предваренную нормальную форму. 36. Теорема о функциональной полноте.