1. 

2. 

3. 

4. 

11. Литература

1. Игошин В.И. Математическая логика и теория алгоритмов. – Саратов : Издательство Саратовского университета, 1991.

2. Игошин В.И. Задачник-практикум по математической логике. – М. : Просвещение, 1986.

3. Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов. – 5-е изд. – М. : Физматлит, 2004, 256 с.

4. Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике. – М. : Физматлит, 2005, 416 с.

5. Яблонский С.В. Введение в дискретную математику. – М. : Физматлит, 2004, 384 с.

6. Лихтарников Л. М., Сукачева Т. Г. Математическая логика: курс лекций : задачник-практикум и решения. – СПб. : Лань, 2009, 288 с.

203. Содержание

§ 1. Основные понятия 3

§ 2. Классификация предикатов 3

§ 3. Множество истинности предиката 5

§ 4. Равносильность предикатов 6

§ 5. Логические операции над предикатами 8

§ 6. Кванторные операции над предикатами 13

§ 7. Численные кванторы 19

§ 8. Формулы логики предикатов 21

§ 9. Классификация формул логики предикатов 23

§ 10. Тавтологии (равносильности) логики предикатов 25

§ 11. Равносильные преобразования формул 27

§ 12. Общезначимость и выполнимость 29

§ 13. Примеры и задачи 34

31)§ 14. Решение примеров 42

Учебное издание

Курочкина Ирина Алексеевна

ЛОГИКА ПРЕДИКАТОВ

Учебное пособие

Компьютерный набор М. А. Первухин

Подписано в печать 25.03.2013

Формат 6084 /16. Усл. печ. л. 2,56. Уч.-изд. Л. 2,76

Тираж 100 экз.

Издательский дом Дальневосточного федерального университета

690950, г. Владивосток, ул. Октябрьская, 27, к. 345.

Отпечатано в Школе естественных наук

ДВФУ

690950, г. Владивосток, ул. Октябрьская, 27