Математическая логика
Мыслительная деятельность
λογος (греч.)– слово, смысл
Направления обоснования математики
Аксиоматический метод: 3 стадии развития
Логика высказываний
Высказывание
Простые высказывания
Свободные и связанные вхождения переменной
А – посылка, антецедент импликации, В – заключение, консеквент ⟷ ⟺ ≡ эквиваленция
Таблицы истинности связок 0, Л, f, ⏊ 1, И, t, ⏉
Логические операции
Пропозициональные переменные Алфавит алгебры высказываний
Пропозициональные формулы
Формализация и интерпретация
Классификация формул алгебры высказываний
Логическая равносильность
Проверка общезначимости
Kleene Введение в метаматематику Основные тавтологии
Kleene Введение в метаматематику Основные тавтологии
Kleene Введение в метаматематику Основные тавтологии
Kleene Введение в метаматематику Основные тавтологии
Булевы функции
Нормальные формы для формул алгебры высказываний
Нормальные формы для формул алгебры высказываний
Нормальные формы для формул алгебры высказываний
Совершенные нормальные формы для формул алгебры высказываний
Совершенные нормальные формы для формул алгебры высказываний
Способы приведения формулы алгебры высказываний к СН-форме
Совершенные нормальные формы для формул алгебры высказываний
Способы приведения формулы алгебры высказываний к СН-форме
Булевы функции одного аргумента
Булевы функции двух аргументов
Булевы функции n аргументов
Логическое следствие
Теорема о дедукции
Правила логических умозаключений (примеры структур правильного мышления)
Правила логических умозаключений (примеры структур правильного мышления)
Алгебра высказываний и математические теоремы
Алгебра высказываний и математические теоремы
Алгебра высказываний и математические теоремы
Способы доказательства математических теорем
Дедуктивные и индуктивные умозаключения
Дедуктивные умозаключения
Индуктивные умозаключения
Логика предикатов
Понятие предиката
Понятие одноместного предиката (выражает свойство)
Примеры одноместных предикатов
Понятие многоместного предиката (выражает отношение)
Классификация предикатов
Кванторы
Кванторы
Кванторы: примеры
Равносильность предикатов
Следование предикатов
Равносильные формулы логики предикатов
Равносильные формулы логики предикатов
Логический квадрат
Логический квадрат
Примеры операторов, связывающих переменные
Приведенная форма
Предваренная нормальная форма
Проблема разрешения для общезначимости и выполнимости
Исчисления
Исчисление (формальная теория)
Доказательство
Доказательство: полнота теории
Доказательство: непротиворечивость
Исчисление высказываний
Исчисление высказываний
Исчисление высказываний
Исчисление высказываний
Исчисление высказываний
Исчисление предикатов
Исчисление предикатов
Исчисление предикатов
Исчисление предикатов
Исчисление предикатов
Теорема Гёделя о неполноте
Теорема Гёделя о неполноте
Теорема Гёделя о неполноте
Логика в школьной математике
Определения: строение
Определения: строение
Определения: строение
Определения: строение
Определения: строение
Определения: строение
Определения: строение
Определения: строение
Определения и теоремы: строение
математические предложения
математические предложения
математические предложения
математические предложения
математические предложения
Дедуктивные и индуктивные умозаключения
Дедуктивные и индуктивные умозаключения
Примеры схем правильных умозаключений
Примеры схем правильных умозаключений
Примеры схем правильных умозаключений
Математические рассуждения
Логическое следствие
Дедуктивные и индуктивные умозаключения
Правильные рассуждения
Правильные рассуждения. Пример
Правильные рассуждения. Пример
Правильные рассуждения
Бескванторные правила доказательства
Бескванторные правила доказательства
Кванторные правила доказательства
Кванторные правила доказательства
Формализация доказательств
Методы доказательства
Методы доказательства. Обозначения
Метод доказательства приведением к нелепости (reduction ad absurdum)
Метод доказательства от противного
Способы доказательства матем. теорем
Логические задачи
Логические задачи
Логические задачи. Задача про туриста.
Логические задачи. Задача про туриста.
Логические задачи. Задача про туриста.
7.66M
Категория: МатематикаМатематика

Математическая логика

1. Математическая логика

МАТЕМАТИЧЕСКАЯ
ЛОГИКА
Лекция 1

2. Мыслительная деятельность

МЫСЛИТЕЛЬНАЯ ДЕЯТЕЛЬНОСТЬ
логика
интуиция
интуиция-суждение
интуиция-догадка
«Таким образом, логика и интуиция играют каждая свою
необходимую роль. Обе они неизбежны. Логика, которая одна
может дать достоверность, есть орудие доказательства;
интуиция есть орудие изобретательства» (А. Пуакаре)

3. λογος (греч.)– слово, смысл

Математическая логика:
предмет
– логика
метод – математика
Язык:
предметный
(язык – объект)
язык исследователя

4.

(древнегреч.) Аристотель (384-322 до н.э.):
теория дедукции – логического вывода
Евклид (330–275 до н.э.)
(нем.) Лейбниц (1646–1716): «идеи заменить
вычислениями»
(англ.) Дж. Буль (1815-1864), (шотл.) А. де
Морган (1806-1871), (амер.) Ч. Пирс (1839–
1914), (рус.) П.С. Порецкий (1846–1907)
(рус.) Н.И. Лобачевский (1792–1856), (венг.)
Я.Бояи (1802 - 1860)
парадоксы теории множеств (конец 19 в.)
(англ.) Рассел (1872-1970). Парадокс:
по закону брадобрей должен брить только тех,
кто не бреет себя сам. Кто бреет брадобрея?

5. Направления обоснования математики

НАПРАВЛЕНИЯ ОБОСНОВАНИЯ МАТЕМАТИКИ
логицизм
((нем.) Фреге(1848-1925), Пирс, (ит.) Пеано (18581932), Рассел, (англ.) Уайтхед (1861-1947))
невозможность вывести из логич. аксиом существование
бесконечного множества, создание богатого логич. аппарата
формализм ((нем.) Д.Гильберт (1862-1943),
(австр.) Гёдель (1906-1978))
неполнота формализованной арифметики
интуиционизм ((голланд.) Брауэр (1881-1966))
отказ от рассмотрения бесконечных множеств как
завершенных совокупностей, от закона исключенного
третьего, признание только конструктивных доказательств

6. Аксиоматический метод: 3 стадии развития

АКСИОМАТИЧЕСКИЙ МЕТОД: 3 СТАДИИ
РАЗВИТИЯ

7. Логика высказываний

ЛОГИКА
ВЫСКАЗЫВАНИЙ

8. Высказывание

ВЫСКАЗЫВАНИЕ
Высказывание – исходное понятие (не
определяется через другие)
Форма существования высказывания –
предложение предметного языка, чаще
повествовательное.
Высказывание – смысл, содержание
предложения.
Истинное высказывание соответствует
действительности.
Всякое высказывание либо истинно, либо
ложно и не может быть тем и другим
одновременно.

9. Простые высказывания

ПРОСТЫЕ ВЫСКАЗЫВАНИЯ
Примеры:
Земля – планета солнечной системы
5 7=35
- простые (атомарными, элементарными) истинные
высказывания
3
Рим – столица Франции
- ложные

10.

Всякий важный двигатель работает без бензина
Земля вращается быстро
Который час?
Решить квадратное уравнение
- не высказывания
-
x+7=9
высказывательная форма (при указании
конкретного значения x имеем высказывание)

11. Свободные и связанные вхождения переменной

СВОБОДНЫЕ И СВЯЗАННЫЕ ВХОЖДЕНИЯ
ПЕРЕМЕННОЙ
переменная называется связанной, если
подстановка в нее имен конкретных объектов
недопустима
именная (высказывательная) форма
называется k-местной, если она содержит
ровно k различных параметров
0-местная форма – имена и высказывания

12.

13.

14.

15. А – посылка, антецедент импликации, В – заключение, консеквент ⟷ ⟺ ≡ эквиваленция

16. Таблицы истинности связок 0, Л, f, ⏊ 1, И, t, ⏉

ТАБЛИЦЫ ИСТИННОСТИ СВЯЗОК
0, Л, f, ⏊
1, И, t, ⏉

17. Логические операции

ЛОГИЧЕСКИЕ ОПЕРАЦИИ
инверсия, отрицание (НЕ, NOT)
конъюнкция (И, AND)
дизъюнкция (нестрогая, неисключающая)
(ИЛИ, OR)
импликация (IMP)
эквиваленция (EXV)
дизъюнкция (строгая, исключающая) (XOR)
штрих Шеффера (И-НЕ)
стрелка Пирса (ИЛИ-НЕ)

18. Пропозициональные переменные Алфавит алгебры высказываний

ПРОПОЗИЦИОНАЛЬНЫЕ ПЕРЕМЕННЫЕ
АЛФАВИТ АЛГЕБРЫ ВЫСКАЗЫВАНИЙ
Пропозициональные переменные назовем элементарными
формулами, или атомами.
Алфавит алгебры высказываний:
пропозициональные переменные,
логические константы,
логические операторы (связки),
скобки
Конечные последовательности букв алфавита называются
словами.

19. Пропозициональные формулы

ПРОПОЗИЦИОНАЛЬНЫЕ ФОРМУЛЫ
А, В – метазнаки (произв. формулы)
Формулы в определении:
1) – элементарные (атомы),
2) – сложные (молекулы)

20. Формализация и интерпретация

ФОРМАЛИЗАЦИЯ И ИНТЕРПРЕТАЦИЯ
Метаязык – это язык, служащий для объяснения другого языка.
Формула сама по себе не имеет никакого содержания, не является
ни истинной, ни ложной.
Формализация – переход от высказывания
естественного языка к формуле логики в-ний.
Интерпретация – переход от формулы логики в-ний к
высказыванию естественного языка.
Таблица истинности – таблица значений формулы –
указывает логическое значение формулы при любой
ее интерпретации.
Если в формуле n атомов, то возможных наборов их
значений – 2n

21. Классификация формул алгебры высказываний

КЛАССИФИКАЦИЯ ФОРМУЛ
АЛГЕБРЫ ВЫСКАЗЫВАНИЙ
выполнимые
( = 1 хотя бы для одной конкретизации)
тавтологии (общезначимые,
тождественно истинные)
( = 1 для любой конкретизации)
опровержимые
( = 0 хотя бы для одной конкретизации)
противоречия (тождественно ложные)
( = 0 для любой конкретизации)

22. Логическая равносильность

ЛОГИЧЕСКАЯ РАВНОСИЛЬНОСТЬ
Два высказывания равносильны, если они
одновременно истинны или одновременно ложны.
Две формулы равносильны, если их эквиваленция
является тавтологией:
Формулы равносильны тогда и только тогда, когда
их таблицы истинности совпадают.
Отношение равносильности формул является
отношением эквивалентности. Поэтому множество
всех формул разбивается на классы
эквивалентности – классы равносильных формул.

23. Проверка общезначимости

ПРОВЕРКА ОБЩЕЗНАЧИМОСТИ

24. Kleene Введение в метаматематику Основные тавтологии

KLEENE ВВЕДЕНИЕ В МЕТАМАТЕМАТИКУ
ОСНОВНЫЕ ТАВТОЛОГИИ

25. Kleene Введение в метаматематику Основные тавтологии

KLEENE ВВЕДЕНИЕ В МЕТАМАТЕМАТИКУ
ОСНОВНЫЕ ТАВТОЛОГИИ

26. Kleene Введение в метаматематику Основные тавтологии

KLEENE ВВЕДЕНИЕ В МЕТАМАТЕМАТИКУ
ОСНОВНЫЕ ТАВТОЛОГИИ

27. Kleene Введение в метаматематику Основные тавтологии

KLEENE ВВЕДЕНИЕ В МЕТАМАТЕМАТИКУ
ОСНОВНЫЕ ТАВТОЛОГИИ

28. Булевы функции

БУЛЕВЫ ФУНКЦИИ
Если формула
содержит n переменных, то она
задает некоторую функцию
где
= {0, 1}.
Способы задания:
формулой
истинностной таблицей

29. Нормальные формы для формул алгебры высказываний

НОРМАЛЬНЫЕ ФОРМЫ ДЛЯ ФОРМУЛ
АЛГЕБРЫ ВЫСКАЗЫВАНИЙ
Переход к равносильной формуле, содержащей
только связки:
отрицание
конъюнкция
дизъюнкция
Конъюнктивным одночленом от переменных
называется конъюнкция этих
переменных или их отрицаний.

30. Нормальные формы для формул алгебры высказываний

НОРМАЛЬНЫЕ ФОРМЫ ДЛЯ ФОРМУЛ
АЛГЕБРЫ ВЫСКАЗЫВАНИЙ
Дизъюнктивным одночленом от переменных
называется дизъюнкция этих
переменных или их отрицаний.
Дизъюнктивной нормальной формой
называется дизъюнкция конъюнктивных
одночленов :
где
- кон. одн-ны
(не обязательно различные)

31. Нормальные формы для формул алгебры высказываний

НОРМАЛЬНЫЕ ФОРМЫ ДЛЯ ФОРМУЛ
АЛГЕБРЫ ВЫСКАЗЫВАНИЙ
Конъюнктивной нормальной формой
называется конъюнкция дизъюнктивных
одночленов :
где
- диз. одн-ны
(не обязательно различные)
Для формулы существует неограниченно много как
конъюнктивных, так и дизъюнктивных нормальных форм
СКНФ и СДНФ – единственны.

32. Совершенные нормальные формы для формул алгебры высказываний

СОВЕРШЕННЫЕ НОРМАЛЬНЫЕ ФОРМЫ ДЛЯ
ФОРМУЛ АЛГЕБРЫ ВЫСКАЗЫВАНИЙ
Одночлен от переменных
называется совершенным, если в него от каждой
пары
входит один и только один
представитель.
СКНФ и СДНФ содержат только совершенные
одночлены

33. Совершенные нормальные формы для формул алгебры высказываний

СОВЕРШЕННЫЕ НОРМАЛЬНЫЕ ФОРМЫ ДЛЯ
ФОРМУЛ АЛГЕБРЫ ВЫСКАЗЫВАНИЙ

34. Способы приведения формулы алгебры высказываний к СН-форме

СПОСОБЫ ПРИВЕДЕНИЯ ФОРМУЛЫ
АЛГЕБРЫ ВЫСКАЗЫВАНИЙ К СН-ФОРМЕ
СДН-форма:
СКН-форма:

35. Совершенные нормальные формы для формул алгебры высказываний

СОВЕРШЕННЫЕ НОРМАЛЬНЫЕ ФОРМЫ ДЛЯ
ФОРМУЛ АЛГЕБРЫ ВЫСКАЗЫВАНИЙ
Теорема (о представлении формул алгебры
высказываний совершенными импликативными
нормальными формулами). Каждая не
тождественно ложная формула алгебры
высказываний от n аргументов имеет
единственную (с точностью до перестановки
импликативных членов) СИНФ.

36. Способы приведения формулы алгебры высказываний к СН-форме

СПОСОБЫ ПРИВЕДЕНИЯ ФОРМУЛЫ
АЛГЕБРЫ ВЫСКАЗЫВАНИЙ К СН-ФОРМЕ
СИН-форма:

37. Булевы функции одного аргумента

БУЛЕВЫ ФУНКЦИИ ОДНОГО АРГУМЕНТА

38. Булевы функции двух аргументов

БУЛЕВЫ ФУНКЦИИ ДВУХ АРГУМЕНТОВ

39. Булевы функции n аргументов

БУЛЕВЫ ФУНКЦИИ n АРГУМЕНТОВ

40. Логическое следствие

ЛОГИЧЕСКОЕ СЛЕДСТВИЕ

41. Теорема о дедукции

ТЕОРЕМА О ДЕДУКЦИИ

42. Правила логических умозаключений (примеры структур правильного мышления)

ПРАВИЛА ЛОГИЧЕСКИХ УМОЗАКЛЮЧЕНИЙ
(ПРИМЕРЫ СТРУКТУР ПРАВИЛЬНОГО
МЫШЛЕНИЯ)
Правило вывода:

43. Правила логических умозаключений (примеры структур правильного мышления)

ПРАВИЛА ЛОГИЧЕСКИХ УМОЗАКЛЮЧЕНИЙ
(ПРИМЕРЫ СТРУКТУР ПРАВИЛЬНОГО
МЫШЛЕНИЯ)

44. Алгебра высказываний и математические теоремы

АЛГЕБРА ВЫСКАЗЫВАНИЙ И
МАТЕМАТИЧЕСКИЕ ТЕОРЕМЫ
Логическая структура
- условие,
достаточное условие для
(для того, чтобы бб было истинным, достаточно,
чтобы истинным было высказывание ии )
- заключение,
необходимое условие для
(если
истинно, то
с небходимостью должно
быть также истинным)
Логическая структура
- критерий для

45. Алгебра высказываний и математические теоремы

АЛГЕБРА ВЫСКАЗЫВАНИЙ И
МАТЕМАТИЧЕСКИЕ ТЕОРЕМЫ
Пусть теорема имеет форму
Тогда утверждение
называют обратным,
- противоположным
- обратным
противоположному (явл. теоремой)

46. Алгебра высказываний и математические теоремы

АЛГЕБРА ВЫСКАЗЫВАНИЙ И
МАТЕМАТИЧЕСКИЕ ТЕОРЕМЫ
Теорема
Тогда противоположное утверждение

47. Способы доказательства математических теорем

СПОСОБЫ ДОКАЗАТЕЛЬСТВА
МАТЕМАТИЧЕСКИХ ТЕОРЕМ
косвенного доказательства,
доказательства разбором случаев,
от противного (приведения к абсурду),
цепочкой импликаций,
цепочкой эквиваленций.
Энтимема – довод, в котором одна или несколько
посылок или само заключение явно не
формулируются.

48. Дедуктивные и индуктивные умозаключения

ДЕДУКТИВНЫЕ И ИНДУКТИВНЫЕ
УМОЗАКЛЮЧЕНИЯ
Умозаключение – переход от посылок к заключению
(следствию)
(логическая операция, состоящая в получении нового
высказывания из одного или нескольких ранее
известных)
Рассуждение – последовательность умозаключений,
причем посылками последующих умозаключений
служат следствия предыдущих умозаключений
данной последовательности.
Дедуктивное умозаключение, прежде всего,
основано на анализе формальной (логической)
структуры посылок и следствия,
индуктивное – на анализе их содержания.

49. Дедуктивные умозаключения

ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ

50. Индуктивные умозаключения

ИНДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ

51. Логика предикатов

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

52. Понятие предиката

ПОНЯТИЕ ПРЕДИКАТА

53. Понятие одноместного предиката (выражает свойство)

ПОНЯТИЕ ОДНОМЕСТНОГО ПРЕДИКАТА
(ВЫРАЖАЕТ СВОЙСТВО)

54. Примеры одноместных предикатов

ПРИМЕРЫ ОДНОМЕСТНЫХ ПРЕДИКАТОВ

55. Понятие многоместного предиката (выражает отношение)

ПОНЯТИЕ МНОГОМЕСТНОГО ПРЕДИКАТА
(ВЫРАЖАЕТ ОТНОШЕНИЕ)

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

КЛАССИФИКАЦИЯ ПРЕДИКАТОВ

57. Кванторы

КВАНТОРЫ

58. Кванторы

КВАНТОРЫ

59. Кванторы: примеры

КВАНТОРЫ: ПРИМЕРЫ

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

РАВНОСИЛЬНОСТЬ
ПРЕДИКАТОВ

61. Следование предикатов

СЛЕДОВАНИЕ
ПРЕДИКАТОВ

62. Равносильные формулы логики предикатов

РАВНОСИЛЬНЫЕ ФОРМУЛЫ
ЛОГИКИ ПРЕДИКАТОВ

63. Равносильные формулы логики предикатов

РАВНОСИЛЬНЫЕ ФОРМУЛЫ
ЛОГИКИ ПРЕДИКАТОВ

64. Логический квадрат

ЛОГИЧЕСКИЙ КВАДРАТ

65. Логический квадрат

ЛОГИЧЕСКИЙ КВАДРАТ

66. Примеры операторов, связывающих переменные

ПРИМЕРЫ ОПЕРАТОРОВ, СВЯЗЫВАЮЩИХ
ПЕРЕМЕННЫЕ

67. Приведенная форма

ПРИВЕДЕННАЯ ФОРМА

68. Предваренная нормальная форма

ПРЕДВАРЕННАЯ НОРМАЛЬНАЯ ФОРМА

69. Проблема разрешения для общезначимости и выполнимости

ПРОБЛЕМА РАЗРЕШЕНИЯ ДЛЯ
ОБЩЕЗНАЧИМОСТИ И ВЫПОЛНИМОСТИ

70. Исчисления

ИСЧИСЛЕНИЯ

71. Исчисление (формальная теория)

ИСЧИСЛЕНИЕ (ФОРМАЛЬНАЯ ТЕОРИЯ)

72. Доказательство

ДОКАЗАТЕЛЬСТВО

73. Доказательство: полнота теории

ДОКАЗАТЕЛЬСТВО: ПОЛНОТА ТЕОРИИ

74. Доказательство: непротиворечивость

ДОКАЗАТЕЛЬСТВО: НЕПРОТИВОРЕЧИВОСТЬ

75. Исчисление высказываний

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ

76. Исчисление высказываний

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ

77. Исчисление высказываний

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ

78. Исчисление высказываний

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ

79. Исчисление высказываний

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ

80. Исчисление предикатов

ИСЧИСЛЕНИЕ
ПРЕДИКАТОВ

81. Исчисление предикатов

ИСЧИСЛЕНИЕ
ПРЕДИКАТОВ

82. Исчисление предикатов

ИСЧИСЛЕНИЕ
ПРЕДИКАТОВ

83. Исчисление предикатов

ИСЧИСЛЕНИЕ
ПРЕДИКАТОВ

84. Исчисление предикатов

ИСЧИСЛЕНИЕ
ПРЕДИКАТОВ

85. Теорема Гёделя о неполноте

ТЕОРЕМА ГЁДЕЛЯ
О НЕПОЛНОТЕ

86. Теорема Гёделя о неполноте

ТЕОРЕМА ГЁДЕЛЯ
О НЕПОЛНОТЕ

87. Теорема Гёделя о неполноте

ТЕОРЕМА ГЁДЕЛЯ
О НЕПОЛНОТЕ
Логика второго порядка в математической логике
– формальная система, расширяющая логику
первого порядка возможностью квантификации
(общности и существования) не только над
переменными, но и над предикатами. Логика
второго порядка несводима к логике первого
порядка. В свою очередь, она расширяется логикой
высших порядков и теорией типов.

88. Логика в школьной математике

ЛОГИКА В ШКОЛЬНОЙ
МАТЕМАТИКЕ

89. Определения: строение

ОПРЕДЕЛЕНИЯ: СТРОЕНИЕ
Свойство считают существенным для объекта,
если оно присуще этому объекту и без него он
не может существовать.
Объем понятия – это множество всех объектов,
обозначаемых одним термином (словом или
группой слов).
Содержание понятия – это множество всех
существенных свойств объекта, отраженных в
этом понятии

90. Определения: строение

ОПРЕДЕЛЕНИЯ: СТРОЕНИЕ
Пример:
Объем понятия «прямоугольник» – это множество
различных прямоугольников,
содержание – свойства прямоугольников:
«иметь четыре прямых угла»,
«иметь равные противоположные стороны»,
«иметь равные диагонали» и т.д.

91. Определения: строение

ОПРЕДЕЛЕНИЯ: СТРОЕНИЕ
если увеличивается объем понятия, то
уменьшается его содержание, и наоборот.
Например,
объем понятия «квадрат» является частью объема
понятия «прямоугольник»,
в содержании понятия «квадрат» содержится больше
свойств, чем в содержании понятия «прямоугольник»

92. Определения: строение

ОПРЕДЕЛЕНИЯ: СТРОЕНИЕ
Видовое отличие – это свойства (одно или несколько),
которые позволяют выделить определяемые объекты
из объема родового понятия.

93. Определения: строение

ОПРЕДЕЛЕНИЯ: СТРОЕНИЕ
Если понятие а определено через род и видовое
отличие, то о его объеме – множестве А – можно
сказать, что в нем содержатся такие объекты,
которые принадлежат множеству С (объему родового
понятия с) и обладают свойством Р:
А = {х: х ∈ С и Р(х)}.

94. Определения: строение

ОПРЕДЕЛЕНИЯ: СТРОЕНИЕ
Одно и то же понятие определить через род и видовое
отличие, соблюдая сформулированные выше
правила, можно по-разному.
Пример: квадрат – это
прямоугольник, у которого соседние стороны равны;
прямоугольник, у которого диагонали взаимно
перпендикулярны;
ромб, у которого есть прямой угол;
параллелограмм, у которого все стороны равны, а
углы прямые.

95. Определения: строение

ОПРЕДЕЛЕНИЯ: СТРОЕНИЕ
Первичные понятия косвенно определяются через
систему аксиом математической теории
Пример:
В элементарной геометрии первичными могут быть:
- множество геометр. элементов (точек, прямых,
плоскостей)
- отношения «принадлежит» («инцидентно»), «между»,
«равно» («конгруэнтно»)

96. Определения: строение

ОПРЕДЕЛЕНИЯ: СТРОЕНИЕ
В определении только Q(x) является
высказывательной формой
Само определение – это соглашение, оно не является
ни высказыванием, ни высказывательной формой
(нет смысла говорить, истинно определение или
ложно)

97. Определения и теоремы: строение

ОПРЕДЕЛЕНИЯ И ТЕОРЕМЫ: СТРОЕНИЕ
Внешний квантор общности в определении и теореме
часто опускают
Квантор существования опускать нельзя.

98. математические предложения

МАТЕМАТИЧЕСКИЕ ПРЕДЛОЖЕНИЯ
А(х) => В(х),
можно прочитать по разному:
Из А(х) следует В(х).
Всякое А(х) есть В(х).
ЕСЛИ А(Х), ТО В(Х).
В(х) есть следствие А(х).
А(х) есть достаточное условие для В(х).
В(х) есть необходимое условие для А(х).

99. математические предложения

МАТЕМАТИЧЕСКИЕ ПРЕДЛОЖЕНИЯ
«число
х кратно 4» => «число х кратно 2»
Всякое число, которое кратно 4, кратно и 2.
Если число кратно 4, то оно кратно и 2.
Кратность числа 2 есть следствие кратности его 4.
Кратность числа 4 есть достаточное условие для его
кратности 2 (Для того чтобы число было кратно 2,
достаточно, чтобы оно было кратно 4).
Кратность числа 2 есть необходимое условие для его
кратности 4 (Для того чтобы число было кратно 4,
необходимо, чтобы оно было кратно 2).

100. математические предложения

МАТЕМАТИЧЕСКИЕ ПРЕДЛОЖЕНИЯ
Данное
Обратное данному
Противоположное данному
Контрапозитивное данному (обратное
противоположному)

101. математические предложения

МАТЕМАТИЧЕСКИЕ ПРЕДЛОЖЕНИЯ
Примеры:
Дана теорема: «если число делится на 3 и 4, то
оно делится на 12».
Обратное: «если число делится на 12, то оно
делится на 3 и 4»
Противоположное: «если число не делится на 3
или не делится на 4, то оно не делится на 12».
Контрапозитивное: «если число не делится на
12, то оно не делится на 3 или не делится на
4».

102. математические предложения

МАТЕМАТИЧЕСКИЕ ПРЕДЛОЖЕНИЯ
Дана теорема: «во всяком прямоугольнике
диагонали равны».
Обратное: «если диагонали четырехугольника
равны, то он является прямоугольником»
контрпример: равнобокая трапеция
Противоположное: «если четырехугольник не
является прямоугольником, то в нем
диагонали не равны» контрпример: равнобокая
трапеция
Контрапозитивное: «если диагонали
четырехугольника не равны, то он не
является прямоугольником».

103. Дедуктивные и индуктивные умозаключения

ДЕДУКТИВНЫЕ И ИНДУКТИВНЫЕ
УМОЗАКЛЮЧЕНИЯ
Умозаключение – переход от посылок к заключению
(следствию)
(логическая операция, состоящая в получении нового
высказывания из одного или нескольких ранее
известных)
Рассуждение – последовательность умозаключений,
причем посылками последующих умозаключений
служат следствия предыдущих умозаключений
данной последовательности.
Дедуктивное умозаключение, прежде всего,
основано на анализе формальной (логической)
структуры посылок и следствия,
индуктивное – на анализе их содержания.

104. Дедуктивные и индуктивные умозаключения

ДЕДУКТИВНЫЕ И ИНДУКТИВНЫЕ
УМОЗАКЛЮЧЕНИЯ
Дедуктивным называется умозаключение, в котором
посылки и заключение находятся в отношении
логического следования.
Неполная индукция – это умозаключение, в
котором на основании того, что некоторые объекты
класса обладают определенным свойством, делается
вывод о том, что этим свойством обладают все
объекты данного класса.

105. Примеры схем правильных умозаключений

ПРИМЕРЫ СХЕМ ПРАВИЛЬНЫХ
УМОЗАКЛЮЧЕНИЙ
Правило заключения:
Пример:
Если запись числа х оканчивается цифрой 5, то число
х делится на 5. Запись числа 135 оканчивается
цифрой 5. Следовательно, число 135 делится на 5.

106. Примеры схем правильных умозаключений

ПРИМЕРЫ СХЕМ ПРАВИЛЬНЫХ
УМОЗАКЛЮЧЕНИЙ
Правило отрицания:
Пример:
Если запись числа х оканчивается цифрой 5, то число
х делится на 5. Число 177 не делится на 5.
Следовательно, оно не оканчивается цифрой 5.

107. Примеры схем правильных умозаключений

ПРИМЕРЫ СХЕМ ПРАВИЛЬНЫХ
УМОЗАКЛЮЧЕНИЙ
Правило силлогизма:
Пример:
Если число х кратно 12, то оно кратно 6. Если число х
кратно 6, то оно кратно 3. Следовательно, если число
х кратно 12, то оно кратно 3.

108. Математические рассуждения

МАТЕМАТИЧЕСКИЕ
РАССУЖДЕНИЯ

109. Логическое следствие

ЛОГИЧЕСКОЕ СЛЕДСТВИЕ

110. Дедуктивные и индуктивные умозаключения

ДЕДУКТИВНЫЕ И ИНДУКТИВНЫЕ
УМОЗАКЛЮЧЕНИЯ
Дедуктивным называется умозаключение, в котором
посылки и заключение находятся в отношении
логического следования.
Неполная индукция – это умозаключение, в
котором на основании того, что некоторые объекты
класса обладают определенным свойством, делается
вывод о том, что этим свойством обладают все
объекты данного класса.

111. Правильные рассуждения

ПРАВИЛЬНЫЕ РАССУЖДЕНИЯ
Схема рассуждений
называется
правильной, если всякое рассуждение по этой
схеме, все посылки которого истинны, имеет
истинное заключение.
Схема рассуждений
называется
неправильной, если существует рассуждение по
этой схеме, все посылки которого истинны, а
заключение ложно.

112. Правильные рассуждения. Пример

ПРАВИЛЬНЫЕ РАССУЖДЕНИЯ. ПРИМЕР
Схема рассуждений
правильная?

113. Правильные рассуждения. Пример

ПРАВИЛЬНЫЕ РАССУЖДЕНИЯ. ПРИМЕР
Схема рассуждений
правильная?
В рассуждении
посылки истинны, а заключение ложно.
Значит, схема неправильная.

114. Правильные рассуждения

ПРАВИЛЬНЫЕ РАССУЖДЕНИЯ
Чтобы доказать, что рассуждение является
неправильным, достаточно привести пример
рассуждения, имеющего ту же схему, посылки
которого истинны, а заключение ложно.
Чтобы доказать, что схема рассуждений является
правильной, достаточно показать, что она является
частным случаем какого-нибудь правила
доказательства.

115. Бескванторные правила доказательства

БЕСКВАНТОРНЫЕ ПРАВИЛА
ДОКАЗАТЕЛЬСТВА
- правила удаления конъюнкции
- правила введения конъюнкции
- правила введения дизъюнкции
- правило доказательства
исключением случаев

116. Бескванторные правила доказательства

БЕСКВАНТОРНЫЕ ПРАВИЛА
ДОКАЗАТЕЛЬСТВА
- правило удаления импликации
(modus ponens)
- правило силлогизма
- правило контрапозиции
- правила де Моргана

117. Кванторные правила доказательства

КВАНТОРНЫЕ ПРАВИЛА
ДОКАЗАТЕЛЬСТВА
- правило конкретизации
- правило доказательства
утверждений существования
- правило обобщенной
контрапозиции

118. Кванторные правила доказательства

КВАНТОРНЫЕ ПРАВИЛА
ДОКАЗАТЕЛЬСТВА
- правило частного заключения
- кванторные правила де Моргана

119. Формализация доказательств

ФОРМАЛИЗАЦИЯ ДОКАЗАТЕЛЬСТВ
В учебниках (школьных, вузовских) доказательства
даются как содержательные, поскольку
излагаемые в них теории содержательные, либо
полуформальные.
При содержательном доказательстве не
фиксируется внимание на используемой логике,
правилах рассуждений, а применяется логика
интуитивная. Для всякого содержательного
дедуктивного доказательства, в принципе,
возможно построение соответствующего ему
формального доказательства со строгим
обоснованием всех логических переходов.

120. Методы доказательства

МЕТОДЫ ДОКАЗАТЕЛЬСТВА
Всякое математическое доказательство построено в
соответствии с правилами доказательства, т.е. с
правильными схемами рассуждений.
Если в рассуждении встречаются слова «допустим»
или «пусть», это свидетельствует о том, что в
рассуждении используются допущения, а само
рассуждение является непрямым.
Рассуждение называют непрямым, или косвенным,
если вывод в нем сделан не напрямую из
предшествующих предложений, а на основе
вспомогательных рассуждений, исходящих из
допущений.
Способы косвенного доказательства называют
методами доказательства.

121. Методы доказательства. Обозначения

МЕТОДЫ ДОКАЗАТЕЛЬСТВА. ОБОЗНАЧЕНИЯ
Предложение в квадратных скобках обозначает
допущение. Двойная черта означает, что во
вспомогательном рассуждении может быть
несколько шагов.
При доказательстве условных утверждений вместо
слов «Допустим А. Докажем В» обычно говорят
«Дано А. Требуется доказать В».

122. Метод доказательства приведением к нелепости (reduction ad absurdum)

МЕТОД ДОКАЗАТЕЛЬСТВА ПРИВЕДЕНИЕМ К
НЕЛЕПОСТИ (REDUCTION AD ABSURDUM)
Пусть А – произвольное предложение. Если требуется
доказать предложение не-А (то есть опровергнуть
предложение А), то А принимают в качестве
допущения и выводят из него противоречие, т.е.
предложения В и не-В для некоторого предложения
В.

123. Метод доказательства от противного

МЕТОД ДОКАЗАТЕЛЬСТВА ОТ ПРОТИВНОГО
Пусть А – произвольное предложение. При
доказательстве этим методом из допущения не-А
выводят противоречие, после чего заключают, что
обосновано само А.

124. Способы доказательства матем. теорем

СПОСОБЫ ДОКАЗАТЕЛЬСТВА МАТЕМ. ТЕОРЕМ
косвенного доказательства
доказательства разбором случаев,
от противного (приведения к абсурду),
цепочкой импликаций,
цепочкой эквиваленций.
Способ доказательства цепочкой импликаций основан
на тавтологии транзитивности импликации,
выражающейся в правиле силлогизма.
Способ доказательства цепочкой эквиваленций – на
тавтологии транзитивности эквиваленции

125. Логические задачи

ЛОГИЧЕСКИЕ ЗАДАЧИ
В таких задачах, как правило, имеется ряд
высказываний, относительно которых известно, что
столько-то из них истинны, а столько-то ложны, но
не известно, какие именно истинны, а какие ложны.
Например, пусть имеется три высказывания U, V, W,
из которых два истинны, а одно ложно. Учитывая
эти условия, нужно составить из этих высказываний
некое сложное высказывание, которое будет
заведомо истинно (или ложно). Затем, используя
законы логики, преобразовать его к виду, из
которого определится ответ на вопрос задачи.

126. Логические задачи

ЛОГИЧЕСКИЕ ЗАДАЧИ
В нашем примере так как два высказывания
истинны, то все дизъюнкции пар высказываний
будут истинными:
Значит, будет истинной
Равносильное преобразование этого выражения будет
зависеть от структуры высказываний U, V, W.

127. Логические задачи. Задача про туриста.

ЛОГИЧЕСКИЕ ЗАДАЧИ. ЗАДАЧА ПРО ТУРИСТА.
Турист направлялся к озеру и дошел до перекрестка,
откуда одна дорога вела к озеру, а другая – нет.
Какая из дорог шла к озеру, он не знал. На
перекрестке сидели двое парней. Один из них
всегда говорил правду, а второй – всегда лгал. На
каждый вопрос они отвечали «да» или «нет». Все это
было известно туристу, но он не знал, кто из них
говорит правду. Тогда турист спросил каждого из
парней об одном и том же и по их ответам
безошибочно решил, какая дорога ведет к озеру.
Какой это был вопрос?

128. Логические задачи. Задача про туриста.

ЛОГИЧЕСКИЕ ЗАДАЧИ. ЗАДАЧА ПРО ТУРИСТА.
Решение. Очевидно, что вопрос должен быть
составным высказыванием, в котором одно простое
высказывание имеет известное туристу значение.
Эта подсказка помогает прийти к следующему:
верно, что 2⋅ 2 = 5 и что дорога, идущая налево,
ведет к озеру?
Обозначим первое высказывание (т. е. 2⋅2 = 5) из
этой конъюнкции через v, а второе – через ω,
причем v = 0. Для высказывания ω имеются две
возможности: 1) ω = 0; 2) ω =1. Рассмотрим каждую
из них.

129. Логические задачи. Задача про туриста.

ЛОГИЧЕСКИЕ ЗАДАЧИ. ЗАДАЧА ПРО ТУРИСТА.
1) Парень, говорящий правду, скажет, что (v ∧ω) = 0,
а лгун – (v ∧ω) = 0,
так как у него v =1, ω =1 и v ∧ω =1.
2) Говорящий правду ответит, что (v ∧ω) = 0,
а лгун – (v ∧ω) =1, так как на самом деле v = 0, ω =1,
(v ∧ω) = 0, а лгун должен все значения изменить на
противоположные.
Из рассмотрения этих случаев вытекает, что если
ответы различные, то дорога выбрана правильно.
English     Русский Правила