Professional Documents
Culture Documents
47
47
доведення
Модуль 1. Лекція 1
Література
1. Андерсон Дж. Дискретная математика и комбинаторика. – М. : Изд.
дом «Вильямс», 2003.
2. Новиков Ф.А. Дискретная математика для программистов. – СПб:
Питер, 2000.
3. Куликов Л. Я. Алгебра и теория чисел. - М.: Высшая школа, 1979.
4. Бардачов Ю.М. Дискретна математика: Підручник / за ред.
В.Є. Ходакова. – К.: Вища шк., 2002.
5. Яблонский С.В. Введение в дискретную математику. М.: Наука, 1981.
План
Вступ
Висловлення і логічні зв’язки. Таблиці істи
нності
Умовні висловлення
Еквівалентні висловлення
Аксіоматичні системи: умовиводу і
доведення
Повнота в логіці висловлень
Карти Карно
Комутаційні схеми
Умовні позначення
- означення
- приклад
- примітка
! - важливо!
- теорема
Вступ
Дискретна математика і логіка лежать в основі будь-
якого сучасного вивчення інформатики. Слово
«дискретний» означає «складений з окремих частин», а
дискретна математика має справу з сукупністю об’єктів,
що називаються множинами, і визначеними на них
структурами.
Сучасний комп’ютер – кінцева дискретна система.
Розуміння того, як така машина працює, можна
досягнути якщо представити машину як дискретну
математичну систему.
Дискретна математика є вкрай важливою для розвитку
логічного мислення для майбутніх спеціалістів в області
інформатики.
Лекція 1. Таблиці істинності, логіка, доведення. Слайд 5 з 47 План
Дискретна
Дискретна математика
математика
Речення, що не є висловленнями:
1. Хто ви? (питання)
2. Прочитайте цей розділ до наступного заняття.
3. Хай живе математика!
4. Будьте обережні. (наказ або вигук)
5. Це твердження хибне. (внутрішньо суперечливе твердження)
Лекція 1. Таблиці істинності, логіка, доведення. Слайд 8 з 47 План
Простим висловленням називається висловлення, що не містить зв'язок (і, або, ні,
якщо ... то, тоді і тільки тоді …).
Складеними висловленнями називаються висловлення, що будуються за допомогою
зв'язок (операцій).
Істинність складеного висловлення однозначно визначається істинністю або хибністю
складових його частин.
Таблиця істинності перераховує всі можливі комбінації істинності і хибності складених
висловлень.
Сигнатура алгебри висловлень
Назва Позначення
Кон’юнкція (Логічне множення) (Логічне «І»)
Диз’юнкція (Логічне додавання) (Логічне «АБО»)
Заперечення (Логічне «НІ»)
Імплікація (Логічне слідування)
1 T T T T T T
2 T F F F T F
3 F T T F F F
4 F F T T T T
* *
! Операції виконуються
Пріоритет виконання операцій.
у наступній послідовності:
~, , , → і ↔.
Лекція 1. Таблиці істинності, логіка, доведення. Слайд 16 з 47 План
Еквівалентні висловлення
Логічно еквівалентними називаються складені висловлення, що мають
різну будову, але є істинними в тих самих випадках.
помилкова інверсія ~p → ~ q
p
q
приймає вигляд Якщо яблуко не червоне, то воно не стигле
Яблуко червоне
Яблуко стигле
р
-р
r -r r
q -q
рqr р q -r р -q -r р -q r
р
-р q r -р q -r -р -q -r -р -q r
-р
r -r r
Лекція 1. Таблиці істинності, логіка, доведення. Слайд 40 з 47 План
А значить, дизюнктивній нормальній формі, що представлена у вигляді:
(р q ~r) (р ~q r) (~р q ~r)
буде відповідати наступна карта Карно:
q -q
р
-р
r -r r
р
-р
r -r r
р
-р
r -r r
Можна згрупувати
(~р ~q ~r) (~р ~q r) ≡ ~q ~r
та
(~р ~q ~r) (р ~q ~r) ≡ ~р ~q
Отже в результаті отримуємо:
(~q ~r) (~р ~q )