Слова іншомовного походження

Скорочення: англ. – англійська мова, гр. – давньогрецька мова, лат. – латинська мова

АСОЦІАТИВНІСТЬ – від лат. associare приєднувати – сполучність

Атом – від гр. atomos неподільний

диз’юнкція – від лат. disjungere розділяти

ДИСТРИБУТИВНІСТЬ – від англ. distribution розподіл – розподільність

діаграма – від гр. diagramma – рисунок, креслення

еквівалентність – від лат. aequus рівний + valentis той, що має силу, значення, ціну

ІДЕМПОТЕНТНІСТЬ – від лат. idem той самий + potentia сила

імплікація – від лат. implicatio сплетення

інтерпретація – від лат. interpretatio посередництво

КОМУТАТИВНІСТЬ – від лат. commutare міняти, переміняти – переміщуваність

Контрарний – від англ. contrary протилежний

кон’юнкція – від лат. conjungere зв’язувати, з’єднувати

Літера – від лат. litera буква

логіка – від гр. logikë – наука про закони та форми мислення

модель – від лат. modulus міра, зразок

Резолюція, резольвента – від лат. resolutio рішення

Стратегія – від гр. stratos військо + agö веду – загальний план виконання дій

тавтологія – від гр. tauto те саме + logos слово

формула – від лат. formula форма, правило

ЗМІСТ

Вступ.....................................................................................................................3

Мова логіки висловлень......................................................................................4

Контрольні питання..................................................................................7

Задачі та вправи.........................................................................................8

Інтерпретації формул логіки висловлень..........................................................9

Контрольні питання................................................................................11

Задачі та вправи.......................................................................................12

Еквівалентні формули логіки висловлень. Нормальні форми......................13

Контрольні питання................................................................................16

Задачі та вправи.......................................................................................17

Логічне слідування............................................................................................17

Контрольні питання................................................................................20

Задачі та вправи.......................................................................................21

Методи перевірки тотожної хибності й тотожної істинності формул логіки висловлень..............................................................................................21

Метод перевірки суперечності й тавтологічності формул шляхом зведення до диз’юнктивної та кон’юнктивної нормальної форми.....22

Контрольні питання......................................................................22

Метод Девіса й Патнема.........................................................................23

Контрольні питання......................................................................25

Метод резолюцій.....................................................................................25

Контрольні питання......................................................................30

Метод двійкових діаграм рішень...........................................................30

Контрольні питання......................................................................35

Задачі та вправи.......................................................................................36

Приклади перевірки логічної правильності міркування...............................37

Перевірка правильності міркування за допомогою

таблиць істинності...................................................................................40

Перевірка правильності міркування шляхом побудови

диз’юнктивної нормальної форми або кон’юнктивної нормальної форми........................................................................................................42

Перевірка правильності міркування методом Девіса й Патнема.......46

Перевірка правильності міркування методом резолюцій....................48

Перевірка правильності міркування шляхом побудови двійкової

діаграми рішень.......................................................................................50

Контрольні питання................................................................................53

Приклади перевірки сумісності сукупності тверджень.................................54

Перевірка сумісності сукупності тверджень за допомогою таблиць

істинності.................................................................................................55

Перевірка сумісності сукупності тверджень шляхом побудови

диз’юнктивної нормальної форми.........................................................56

Перевірка сумісності сукупності тверджень методом Девіса й

Патнема....................................................................................................59

Перевірка сумісності сукупності тверджень методом резолюцій......60

Перевірка сумісності сукупності тверджень шляхом побудови

двійкової діаграми рішень......................................................................62

Контрольні питання................................................................................63

Список використаної та рекомендованої літератури.....................................64

Скорочення, символи та позначення...............................................................65

Предметний покажчик......................................................................................66

Слова іншомовного походження.....................................................................68

69