Студопедия  
Главная страница | Контакты | Случайная страница

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатика
ИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханика
ОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторика
СоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансы
ХимияЧерчениеЭкологияЭкономикаЭлектроника

Тема 32. Непротиворечивость и (синтаксическая) полнота CL.

 

Вывод из множества формул (теории) . Теорема дедукции. Лемма о доказательстве «от противного». Лемма о «разборе случаев». Теорема о непротиворечивости и синтаксической полноте пропозициональной теории. Свойства полных теорий.

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 | Поможем написать вашу работу | Нарушение авторских прав

Конструирование машин Тьюринга. | Тема 39. Рекурсивные и вычислимые функции и предикаты. | Тема 1. Числа. Пределы и непрерывность функции. | Тема 8. Степенные ряды. | Тема 10. Дифференциальные уравнения второго порядка. | Понятие случайного события. Классическое определение вероятности события. | Тема 16. Случайные величины и их числовые характеристики | Тема 17. Случайные векторы и совместные распределения случайных величин. | Тема 20. Проверка статистических гипотез по критериям Стьюдента, Фишера, Пирсона. | РАЗДЕЛ 8. Теория графов. |


lektsii.net - Лекции.Нет - 2014-2024 год. (0.006 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав