Тема 1. Поняття як форма мислення. ......... 5

Логiчнi прийоми утворення понять. ..................................... 5

Зміст і обсяг поняття. Види понять. .................................... 6

Відношення між поняттями. ...............................................10

Логічні операції з поняттями: узагальнення і обмеження

понять; означення понять. .............................................14

Способи означення понять. Правила означення..................16

Подiл обсягу поняття. Класифiкацiя понять. ........................20

Зразки розв’язування вправ з теми: “Поняття як форма

мислення”. ....................................................................23

Завдання для самостійної роботи: .....................................25

Тема 2. Висловлення і дії над ними.

ЗАКОНИ АЛГЕБРИ ВИСЛОВЛЕНЬ .......27

Поняття висловлення (судження) і висловлювальної форми. 27

Дії над висловленнями .......................................................30

а) Заперечення висловлення ..............................................30

б) Диз’юнкція двох висловлень ..........................................31

в) Кон’юнкція двох висловлень ...........................................33

г) Імплікація двох висловлень .............................................34

д) Еквіваленція двох висловлень. ........................................36

Закони алгебри висловлень ...............................................37

Зразки розв’язування вправ з теми “Висловлення і дії над

ними. Закони алгебри висловлень”. ...............................41

Завдання для самостійної роботи. .....................................47

Тема 3. Дії над предикатами, їх

ВЛАСТИВОСТІ ................................... 51

Означення предиката. Область визначення і область істин_

ності предиката. ............................................................51

Дії над предикатами ..........................................................53

а) Заперечення предиката. ................................................53

б)Кон’юнкція двох предикатів. ............................................55

в) Диз’юнкція двох предикатів. ..........................................58

151

г) Імплікація двох предикатів. .............................................61

д) Еквіваленція двох предикатів. .........................................65

Властивості дій над предикатами .......................................68

Зразки розв’язування вправ з теми “Дїї над предикатами, їх

властивості”. .................................................................71

Завдання для самостійної роботи. .....................................86

Тема 4. Квантори. Відношення

ЛОГІЧНОГО СЛІДУВАННЯ І

РІВНОСИЛЬНОСТІ ПРЕДИКАТІВ. НЕОБХІДНІ

І ДОСТАТНІ УМОВИ. .............................92

Квантори. Операція навішування кванторів. Висловлення з

кванторами. ..................................................................92

Побудова заперечення висловлень з кванторами. ..............96

Відношення логічного слідування предикатів. Необхідні і

достатні умови ..............................................................97

Відношення рівносильності предикатів ...............................99

Зразки розв’язування вправ із теми ”Квантори. Відношення

логічного слідування і рівносильності предикатів. Необхідні

і достатні умови”. ........................................................101

Завдання для самостійної роботи ....................................104