Вы находитесь на странице: 1из 529

Н. Н. Непейвода

Прикладная логика

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

Рекомендовано Государственным комитетом Российской Федерации по высшему образованию в качестве учебного пособия для студентов выс- ших учебных заведений, обучающихся по специальностям Математи- ка”, “Прикладная математика”, “Лингвистика”, “Философияи Психо- логия”.

ISBN 5-7029-0074-X

c Непейвода Н.Н., 1997–2002. Все права защищены

Оглавление

Введение

ix

0.1. Что такое современная логика? .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

ix

0.2. Методологические принципы, на которых основано .

данное изложение

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

xviii

0.3. Как работать с данной книгой? .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

xxv

0.4. Введение ко второму изданию

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

xxix

ЧастьI.

Язык математики

 

1

1. Необходимость точного языка в математике

 

3

1.1. Как и почему появился язык математической логики?

 

3

1.2. Зачем изучать формальный язык математики?

 

9

2. Простейшие высказывания

 

15

2.1. Что такое высказывание?

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

15

2.2. Математическая интерпретация высказываний

 

21

2.3. Предметы и универс. Термы

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

22

2.4. Предикаты и элементарные формулы

.

.

.

.

.

.

.

.

.

.

.

25

2.5. Некоторые обозначения

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

27

3. Запись высказываний. Логические формулы

 

31

3.1. Связка и.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

32

3.2. Связка или

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

33

3.3. Связка следует

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

33

3.4. Связка тогда и только тогда

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

35

3.5. Связка не

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

35

3.6. Таблицы истинности

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

35

3.7. ‘Для всех.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

36

iii

iv

ОГЛАВЛЕНИЕ

3.8. ‘Существует.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

37

3.9. Ограниченные кванторы

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

38

4. Методы перевода с естественного языка на математический и обратно

45

4.1. Кванторы. Области действия. Свободные и связанные .

переменные .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

45

4.2. “Многоэтажныекванторы. Дополнительные .

.

ограничения

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

46

4.3. «Если на клетке слона увидишь надпись буйвол”, не верь глазам своим» (Козьма Прутков)

56

4.4. Равенство. Единственность и неединственность

.

.

.

.

.

60

4.5. Таблицы истинности и формулировка отрицаний

66

4.6. Простейшие преобразования классических формул

.

.

.

68

5. Базовые математические понятия

73

5.1. Множества. Диаграммы Эйлера и Венна

.

.

.

.

.

.

.

.

.

73

5.2. Кортежи, n -ки, наборы, прямые произведения, прямые .

.

суммы .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

84

5.3. Отношения

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

90

5.4. Функции

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

100

5.5. Фактор-множества .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

117

5.6. Графы .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

122

5.7. Диаграммы

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

128

5.8. Слова

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

136

ЧастьII.

Классическая логика

139

6.

Индукция и определения

141

6.1. О разных видах индукции .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

141

6.2. Об индуктивных определениях .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

148

6.3. Трансфинитная индукция и ординалы

.

.

.

.

.

.

.

.

.

.

.

153

6.3.1. Построение начального отрезка ординалов

153

6.3.2. Свойства вполне упорядоченных множеств

156

6.3.3. Представления ординалов. Действия над .

.

ординалами

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

159

6.3.4. Построение функций рекурсией по определению

 

либо параметру

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

166

ОГЛАВЛЕНИЕ

v

7. Введение в синтаксис

170

7.1. Синтаксис логического языка .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

170

7.2. Корректность синтаксических определений

 

179

7.3. Свободные и связанные переменные. Подстановка

 

187

8. Семантика классической логики

 

193

8.1. Интерпретация языка конечных типов .

.

.

.

.

.

.

.

.

.

.

194

8.2. Теория, модель, логическое следствие .

.

.

.

.

.

.

.

.

.

.

198

8.3. Теорема о замене эквивалентных .

.

.

.

.

.

.

.

.

.

.

.

.

.

204

8.4. Булевы алгебры и алгебраическая семантика

.

.

.

.

.

.

.

205

8.5. Языки высших порядков

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

208

9. Семантические таблицы для классической логики

 

213

9.1. От таблиц истинностик семантическим таблицам

 

.

.

.

.

213

9.2. Правила разбиения формул в семантических таблицах

.

215

9.3. Семантические таблицы с кванторами .

.

.

.

.

.

.

.

.

.

.

218

9.4. Сокращенные семантические таблицы

 

.

.

.

.

.

.

.

.

.

.

223

9.5. Исчисления традиционного типа .

.

.

.

.

.

.

.

.

.

.

.

.

.

230

9.6. Секвенции и формализация семантических таблиц

 

237

9.7. Семантические таблицы с равенствоми для теорий

243

9.8. Теорема полноты

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

247

9.9. Сечения

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

254

10. Элементы нестандартного анализа

 

265

10.1. Историческое введение

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

265

10.2. Нестандартная модель

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

271

10.3. Нестандартная действительная ось

.

.

.

.

.

.

.

.

.

.

.

.

274

10.4. Нестандартные переформулировки

.

.

.

.

.

.

.

.

.

.

.

.

279

10.5. Суперструктуры и теорема Лося

.

.

.

.

.

.

.

.

.

.

.

.

.

.

283

10.5.1. Аксиома выбора, некоторые ее следствия .

и альтернативы

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

284

10.5.2. Ультрафильтры и структуры

 

.

.

.

.

.

.

.

.

.

.

.

.

288

11. Естественный вывод в классической логике

 

293

11.1. О структуре математических доказательств

 

293

11.2. Правила естественного вывода .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

296

11.2.1. Общая структура. Импликация и конъюнкция

.

.

296

11.2.2. Дизъюнкция и разбор случаев

 

.

.

.

.

.

.

.

.

.

.

.

298

vi

ОГЛАВЛЕНИЕ

11.2.3. Отрицание. Приведение к абсурду

и от противного”. A ∨ ¬ A .

.

.

.

.

.

.

.

.

.

.

.

.

300

11.2.4. Некоторые полезные выводимые правила

 

302

11.2.5. Кванторы .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

302

11.3. Естественный вывод как граф

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

306

11.4. Правила формулировки отрицаний и согласованность

 

с классической истинностью

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

309

11.5. Теорема полноты естественного вывода .

.

.

.

.

.

.

.

.

.

314

11.6. Логика с равенством и ее полнота

 

.

.

.

.

.

.

.

.

.

.

.

.

.

320

11.7. Метод резолюций и его сравнение с методом .

.

естественного вывода

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

321

11.8. Окольные пути как средство сокращения вывода

 

328

11.9. Несколько слов о языке Пролог .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

331

12. Основы теории определений

 

335

12.1. Определения в математике

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

335

12.2. Сокращающие определения .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

336

12.3. Теорема Крейга об интерполяции

.

.

.

.

.

.

.

.

.

.

.

.

.

338

12.4. Теорема Бета об определимости

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

341

13. Неполнота и неформализуемость

 

344

13.1. Теорема Тарского о невыразимости истины .

.

.

.

.

.

.

.

344

13.2. Аксиоматическое описание вычислимости

 

.

.

.

.

.

.

.

.

347

13.3. Представимость через доказуемость .

.

.

.

.

.

.

.

.

.

.

.

359

13.4. Неполнота

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

366

13.5. Вокруг теоремы Гёделя

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

369

13.6. Формализация неформализуемых понятий

.

.

.

.

.

.

.

.

375

ЧастьIII.

Введение в неклассические логики

 

385

14.

Основы λ -исчисления

387

14.1. Основы λ -языка

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

387

14.2. λ -конверсии

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

390

14.3. Теорема Черча-Россера

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

397

14.4. λ -исчисление .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

399

ОГЛАВЛЕНИЕ

vii

15. Корни неклассических логик

 

401

15.1. Корни неклассических логик в традиционной логике

.

.

401

15.1.1. Закон тождества .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

401

15.1.2. Закон непротиворечия

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

403

15.1.3. Закон исключенного третьего

.

.

.

.

.

.

.

.

.

.

.

406

15.1.4. Закон достаточного основания .

.

.

.

.

.

.

.

.

.

.

406

15.1.5. Алгебраические законы логики

 

.

.

.

.

.

.

.

.

.

.

407

15.2. Сила и недостатки классической логики .

.

.

.

.

.

.

.

.

.

410

15.3. Использование доказательств .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

411

15.3.1. Сведение новой задачи к уже решенным

.

.

.

.

.

413

15.3.2. Выявление условий, при которых можно пользоваться данным утверждением

 

414

15.3.3. Получение построения,дающего

 

некоторый результат

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

416

15.3.4. Произнесение заклинания, дабы освятить свое либо предложенное заказчиком решение

.

.

417

16. Интуиционистская логика

 

418

16.1. Создание интуиционистской логики

.

.

.

.

.

.

.

.

.

.

.

.

418

16.1.1. Брауэр: идея конструктивности

.

.

.

.

.

.

.

.

.

.

418

16.1.2. Интуиционизм и программа Гильберта

.

.

.

.

.

.

421

16.1.3. Формализация и первые интерпретации

.

.

.

.

.

424

16.1.4. Разногласия и новые идеи

 

.

.

.

.

.

.

.

.

.

.

.

.

.

425

16.1.5. Период после Брауэра .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

427

16.1.6. Вторая героическая эпоха: математические результаты и попытки приложений

 

429

16.2. Интерпретация Колмогорова

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

429

16.3. Формализация Гейтинга .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

436

16.4. Первые математические модели

 

интуиционистской логики .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

438

16.5. Модели Крипке

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

440

16.6. Семантические таблицы для интуиционистской логики .

444

16.7. Полнота семантических таблиц

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

448

16.8. Фундаментальные результаты теории доказательств

 

449

16.9. Реализуемости и вариации интуиционистских принципов 450

16.10.Интуиционистская логика и категории

 

.

.

.

.

.

.

.

.

.

.

453

16.11.О формализации незнания

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

455

viii