Тема 4: «Складні судження. Логічні сполучники та їхнє табличне значення».

Теоретичні питання до заняття:

1. Мова логіки висловлювань.

2. Види складних суджень. Логічні сполучники і їхнє табличне визначення.

3. Метод таблиць істинності.

4. Основні закони логіки.

Практичні завдання:

1. Визначте вид складного судження (за типом логічного сполучника) та вкажіть його складові частини:

• Якщо людина читала книгу, то вона знає її зміст

• Він продовжить навчання або піде до війська.

• Договір вважається укладеним, якщо між сторонами в необхідній у відповідних випадках формі досягнута згода по всім відомим пунктам.

• Вовка боятися – в ліс не ходити.

• Невірно, що він не вчився ні в інституті, ні в коледжі.

• Н. не буде отримувати стипендію, хіба що він вдало здасть останній екзамен.

• Фемістокл знав кожного жителя Афін в обличчя та на ім’я.

• Як правознавці, так і політологи вивчають логіку.

2. Наведіть приклад кон’юнктивних, диз’юнктивних, імплікативних та еквівалентних суджень.

3. Формалізуйте судження, тобто визначте формули, які їм відповідають:

• Спекотно і йде дощ.

• Йде дощ, але не спекотно.

• Або я тебе не розумію, або ти не розумієш мене.

• Ця людина юрист, якщо він тільки не лінгвіст.

• Хто є мудрим, той є і добрим.

• «Той, хто вміє насолоджуватись життям, не бідніє, а той хто вміє не обтяжувати себе турботами, не багатіє» (Ян Чжу)

• «Якби у цьому світі не було зла, людина ніколи б не помишляла про божество» (П.Гольбах).

• Не замісивши глини, не виліпиш глечик.

• «Поети прагнуть приносити або користь, або насолоду» (Горацій)

• «Хто риє яму, той впаде до неї; і хто покотить вгору камінь, до того він і повернеться» (Соломон).

• Якщо він розумна людина, то він побачить свою помилку, якщо він щира людина, то він визнає її».

• «Альтернатива відома: або ми не є вільними і відповідальність за зло лежить на всемогутньому Богові; або ми вільні і відповідальні, а Бог не є всемогутнім» (А.Камю)

4. Нехай p - «я здам залік з логіки », q - «я буду систематично розв’язувати логічні задачі”. Запишіть у символічній формі такі судження:

• Я здам залік з логіки, якщо буду систематично розв’язувати логічні задачі.

• Систематичне розв’язування логічних задач є необхідною умовою для того, щоб здати залік з логіки.

• Складання заліку з логіки є достатньою умовою для того, щоб я систематично розв’язував логічні задачі.

• Я здам залік з логіки в тому і тільки в тому випадку, коли буду систематично розв’язувати логічні задачі.

• Систематичне розв’язування логічних задач є необхідною і достатньою умовою для того, щоб я здав залік з логіки.

5. Визначте з допомогою методу таблиць істинності, чи є наведені судження логічними законами:

• (p \/ q) ↔ (q \/ p)

• (p /\ q) ↔ (q /\ p)

• (p → q) → (q → p)

6. Який закон логіки порушений у таких міркуваннях:

• Неможливо з’їсти бутерброд натще, адже коли ти один раз відкусив його, то уже будеш їсти його не натще.

• Не можливо, щоб вершник зійшов з коня, адже коли він зійде з коня, то вже буде не вершником.

• Я не крав вашого телефону, а просто взяв, коли вас не було поряд.