- •Предмет математичної логіки.
- •Розділи математичної логіки
- •Г. Ляйбніц як засновник математичної логіки.
- •„Алгебра логіки” Дж. Буля як перша система математичної логіки.
- •Роль г.Фреге у становленні математичної логіки як науки.
- •Обмеження та узагальнення поняття.
- •Місце сучасної математичної логіки в системі наук.
- •Поняття множини.
- •Інтуїтивне означення множини
- •Xs означатиме, що елемент X не належить множині s. Символ називається символом
- •Поняття елементів множини та підмножини.
- •Операція включення.
- •Відношення між поняттями за обсягом.
- •Загальна характеристика операцій над множинами.
- •Основні закони операцій над множинами: закон тотожності.
- •Основні закони операцій над множинами: комутативний закон.
- •Основні закони операцій над множинами: асоціативний закон.
- •27. Загальна характеристика висловлювань.
- •30. Відношення логічного слідування.
- •32. Поняття формули-тавтології.
- •33. Поняття формули-суперечності.
- •2.5.1. Минимизация логических функций с использованием
- •Рівносильності, за допомогою яких виражають одні сполучники через інші:
- •41. Основні закони логіки висловлювань: закон складної контра позиції.
- •46. Нормальні форми: досконала кон’юнктивна нормальна форма (дкнф)
- •49. Розділово-категоричні виводи.
- •50. Поняття доведення та його види.
- •54. Характеристика математичної аналогії.
-
Основні закони операцій над множинами: комутативний закон.
Закон комутативності. Закон комутативності (лат. commutatio "зміна") - логічний закон, який дозволяє міняти місцями висловлювання, зв'язані логічними сполучниками "і" (кон'юнкція) та "або" (диз'юнкція).
Закон комутативності для кон'юнкції: висловлювання, зв'язані логічним сполучником "і" (кон'юнкція), можна міняти місцями. Наприклад, висловлювання "Ознаки є істотними і загальними" рівнозначне висловлюванню "Ознаки є загальними й істотними". Схема закону: (АЛВ) <-> (ВЛА) ("А і Б тоді і тільки тоді, коли В і А"). Закон комутативності для диз'юнкції: висловлювання, зв'язані логічним сполучником "або" (диз'юнкція), можна міняти місцями. Наприклад, висловлювання "Міркування є правильним або неправильним" адекватне висловлюванню "Міркування є неправильним або правильним".
Схема закону: (AvB) +-> (BvA) ("А або В тоді і тільки тоді, коли В або А"). Однак існує відмінність між значенням слів "і", "або" та деяких інших у природній мові і штучній (мові сучасної логіки). Так, якщо сполучник "і" вказує на послідовність подій, то міняти місцями висловлювання, зв'язані таким сполучником, не можна. Наприклад: "Закінчився перший етап будівництва, і розпочався другий".
Дія закону комутативності не поширюється на логічний сполучник "якщо..., то..." (імплікацію), оскільки висловлювання "А->В" не рівнозначне висловлюванню "В—>А", про що свідчить таблиця істинності імплікації.
Для правильної заміни підстави і наслідку в імплікації логіка вдається до закону контрапозиції.
-
Основні закони операцій над множинами: асоціативний закон.
Закон асоціативності. Закон асоціативності - логічний закон, який дозволяє по-різному поєднувати висловлювання, з'єднані з допомогою логічних сполучників "і" (кон'юнкція), "або" (диз'юнкція) тощо.
Закон асоціативності для кон'юнкції: висловлювання, з'єднані логічним сполучником "і" (кон'юнкція), можна поєднувати з допомогою дужок по-різному.
Схема закону: ((АЛВ) ЛС) <-> (АЛ (ВЛС)) ("(А і В) і С тоді і тільки тоді, коли А і (В і С)").
Закон асоціативності для диз'юнкції: висловлювання, з'єднані логічним сполучником "або" (диз'юнкція), можна поєднувати з допомогою дужок по-різному.
Схема закону: ((AvB) vC) <-* (Av (BvC)) ("(А або В) або С тоді і тільки тоді, коли А або (В або С)").
-
Основні закони операцій над множинами: дистрибутивний закон.
Закон дистрибутивності - логічний закон, який дозволяє розподіляти один логічний сполучник стосовно іншого.
Закон дистрибутивності кон'юнкції стосовно диз'юнкції: у формулах можна розподіляти кон'юнкцію стосовно диз'юнкції. Схема закону: (Ал (BvC) <-> ((АлВ) V (AAC)) ("А і (В або С), якщо і тільки якщо (А і В) або (А і Cj").
Закон дистрибутивності диз'юнкції стосовно кон'юнкції: у формулах можна розподіляти диз'юнкцію стосовно кон'юнкції. Схема закону: (AV (BAC) <-> ((AVB) A (AVC)) ("А або (В і С), якщо і тільки якщо (А або В) і (А або С)").
-
Основні закони операцій над множинами: закон поглинання.
В алгебрі, закон поглинання або поглинання ідентичності — це ідентично зв'язана пара бінарних операцій. Дві бінарні операції, наприклад V і ^, будуть пов'язані законом поглинанням, якщо: a ^ (a v b) = a . a v (a ^ b) = a. Набір, що складається з двох комутативних і асоціативних бінарних операцій («Об'єднання») і («переріз») також тісно зв'язаний з поглинанням.
Застосування.
У класичній логіці, і ,зокрема, в Булевій алгебрі, операції OR і AND також задовольняють решітки аксіом, в тому числі закон поглинання. Те ж саме вірно і для інтуїтивної логіки. Комутативні та асоціативні закони справедливі також для складання і множення в комутативних кільцях (наприклад, у полі дійсних чисел).Закон поглинання є критичною властивістю, яка відсутнє в цьому випадку, так як в загальному a · (a + b) ≠ a та a + (a · b) ≠ a. Закон поглинання ,також, не має місця для релевантної логіки, лінійної логіки, і субструктурної логіки. В останньому випадку не існує взаємно-однозначної відповідності між вільними змінними з визначальних пари ідентичностей.
25-26. Основні закони операцій над множинами: перший закон де Моргана. Основні закони операцій над множинами: другий закон де Моргана.
Перший закон де Моргана: заперечення кон’юнкції еквівалентне диз’юнкції заперечень [не-(А ^ В) = (не-А v не-В)].
Другий закон де Моргана: заперечення диз’юнкції еквівалентне кон’юнкції заперечень [не-(А v В) = (не-А ^ не-В)]. Висновки. Закони логіки використовуються при умовиводах, аргументації думок, доведенні, розв’язанні теоретичних і практичних задач у кожній галузі знань. Вони мають загальнолюдський характер.
Закони де Моргана - логічні закони, які пов'язують заперечення, кон'юнкцію і диз'юнкцію. Перший закон де Моргана: заперечення кон'юнкції еквівалентне диз'юнкції заперечень. Схема закону: (AAB) <-> (AVB) ("Хибно, що А і В тоді і тільки тоді, коли хибно, що А, або хибно, що В").
Другий закон де Моргана: заперечення диз'юнкції еквівалентне кон'юнкції заперечень.
Схема закону: (AVB) <-> (AAB) ("Хибно, що А або В тоді і тільки тоді, коли хибно, що А і хибно, що В").
Закони де Моргана дають можливість, використовуючи заперечення, виражати логічну зв'язку "кон'юнкція" через логічну зв'язку "диз'юнкція", і навпаки.