|
Вывод из множества формул (теории) . Теорема дедукции. Лемма о доказательстве «от противного». Лемма о «разборе случаев». Теорема о непротиворечивости и синтаксической полноте пропозициональной теории. Свойства полных теорий.
1. Выразить операцию дизъюнкция через импликацию.
2. Доказать, что операция отрицания не может быть выражена через ос-
новные операции (бинарные) над высказываниями.
3. Установить эквивалентность формул.
1).
2).
3).
Тема 33. Лемма Линденбаума. Теорема о семантической полноте CL.
1. Разобрать доказательство леммы Линденбаума.
2. Вывести формулу из аксиом.
3. Разобрать доказательство теоремы о семантической полноте CL.
Литература:[2,3,4,7,16,17,19,21,23,24,25]
Учебно-методическая литература:[2]
РАЗДЕЛ 11. Исчисление предикатов.
Тема 34. Сигнатура или язык 1-го порядка. Предикаты и логические
Дата добавления: 2015-09-12; просмотров: 23 | Поможем написать вашу работу | Нарушение авторских прав |