- •Н. Г. Мозгова, а.М. Мозговий
- •Isbn 966-7979-29-6
- •З м і с т частина і
- •Ч а с т и н а I як користуватись навчальним посібником
- •Що необхідно представити для отримання заліку:
- •Основні вимоги до знань, вмінь та навичок студентів
- •Блочно-модульна структура курсу логіки
- •Модуль 2
- •Модуль 3
- •Блок № 2. Судження Модуль 4
- •Модуль 5 Логічні відношення між категоричними судженнями. Основні закони логіки
- •Модуль 6 Складне судження
- •Блок № 3. Умовивід Модуль 7 Безпосередній дедуктивний умовивід
- •Модуль 8 Простий категоричний силогізм
- •Модуль 9 Виводи логіки висловлювань
- •Модуль 10
- •Модуль 11
- •Методичні поради, плани та вправи
- •1. Обмеження і узагальнення понять
- •2. Поділ поняття
- •3. Визначення поняття
- •Модуль № 4 Заняття № 2 просте судження
- •1. Визначте структуру суджень (знайдіть s, логічну зв’язку та р), висловлених такими реченнями:
- •2. Визначте якість таких висловлювань:
- •3. Визначте кількість таких суджень:
- •4. Чим одиничні судження відрізняються від часткових? Яка схожа ознака характеризує одиничні і загальні судження?
- •5. Визначте кількість і якість таких висловлювань, звівши їх до одного з чотирьох типів: а (sp), е (sp), і (sp), о (sp):
- •7. Виконайте те ж саме, що і в завданні 6:
- •8. Виконайте те ж саме що і в завданні 6:
- •12. Сформулюйте ті висловлювання, які випливають з відношень s I p, зображених на поданих нижче діаграмах Ейлера:
- •13. Які категоричні судження може виражати кожна з приведених діаграм Ейлера?
- •14. Скільки і яких категоричних висловлювань необхідно, щоб точно виразити зображені на діаграмах Ейлера відношення трьох термінів? Сформулюйте їх:
- •Модуль № 6 Заняття № 3 складне судження
- •1. Складне судження та його види
- •2. Таблиці істинності пропозиційних зв’язок
- •Модуль № 7 Заняття № 4 безпосередній дедуктивний умовивід
- •1. Безпосередні виводи
- •2. Категоричний силогізм
- •Модуль № 9 Заняття № 5 виводи логіки висловлювань
- •1. Умовно-категоричні умовиводи
- •2. Розділово-категоричні та умовно-розділові умовиводи
- •Модуль № 11 Заняття № 6–7 доведення та спростування
- •13. Визначте вид аргументації:
- •14. Побудуйте прямі доведення:
- •18. З’ясуйте, чи правильні такі два доведення:
- •20. Яку логічну помилку допущено в наведених міркуваннях:
- •Тематичний план завдань із срс
- •Експрес–тест до модуля 1
- •10. Назвіть не менше 5-и функцій логіки.
- •Експрес–тест до модуля 2
- •Експрес–тест 3 до модуля 3
- •Експрес–тест до модуля 4
- •Експрес–тест до модуля 5
- •7. Назвіть не менше 2-х видів несумісності простих суджень.
- •8. Запишіть не менше 3-х випадків значень істинності двох протилежних суджень.
- •Експрес–тест до модуля 6
- •4. Теж саме для сильної диз’юнкції.
- •Експрес–тест до модуля 7
- •Експрес–тест до модуля 8
- •Експрес–тест до модуля 9
- •Експрес–тест до модуля 10
- •Експрес–тест до модуля 11
- •Завдання для складання словника базових понять логіки:
- •100 Базових понять логіки
- •93. Антитеза.
- •Аналітичні тести до модуля № 1
- •Аналітичні тести до модуля № 2
- •2. Підберіть поняття, які б відповідали таким коловим схемам:
- •Аналітичні тести до модуля № 3
- •Аналітичні тести до модуля № 4
- •Аналітичні тести до модуля № 5
- •5. Наведіть приклад суджень а(sр) та е(sр) з однаковими s та р, коли вони були б:
- •Аналітичні тести до модуля № 6
- •Аналітичні тести до модуля № 7
- •Аналітичні тести до модуля № 8
- •1. Перевірте правильність силогізмів за допомогою діаграм Ейлера. У разі помилки вкажіть, яке правило порушено:
- •2. Перевірте правильність силогізмів:
- •Аналітичні тести до модуля № 9
- •1. Формалізуйте умовиводи і перевірте їх правильність за допомогою таблиць істинності:
- •2. За структурою схем визначте, які з них є правильними виводами:
- •3. Зробіть те саме, що і в завданні 1:
- •5. Перевірте правильність виводу лише за структурою:
- •Аналітичні тести до модуля № 10
- •Аналітичні тести до модуля № 11
- •- 5 -
Аналітичні тести до модуля № 8
1. Перевірте правильність силогізмів за допомогою діаграм Ейлера. У разі помилки вкажіть, яке правило порушено:
а) деякі студенти університету “Україна” – відмінники і деякі з них – спортсмени, значить, деякі спортсмени – відмінники.
_______________________________________________________________________
_______________________________________________________________________;
в) деякі солі нерозчинні у воді, а мідний купорос – сіль, значить, він не розчиняється у воді.
_______________________________________________________________________
_______________________________________________________________________;
с) якщо папороть ніколи не цвіте, а ця рослина теж ніколи не цвіте, то ця рослина – папороть.
_______________________________________________________________________
_______________________________________________________________________;
d) всі судді – юристи і всі прокурори – юристи, значить, всі прокурори – судді.
_______________________________________________________________________
_______________________________________________________________________;
е) вони не є членами клубу, бо вони не платять членських внесків, значить, ті хто платять членські внески, є членами клубу.
_______________________________________________________________________
_______________________________________________________________________;
2. Перевірте правильність силогізмів:
а) Е (МР) А (МS) → І (SР)
_______________________________________________________________________;
в) А (МР) А (SМ) → А (SР)
_______________________________________________________________________;
с) Е (МР) І (SМ) → О (SР)
_______________________________________________________________________;
d) А (РМ) І (МS) → О (SР)
_______________________________________________________________________; е) Е (МР) І(МS) → О(SР)
Аналітичні тести до модуля № 9
1. Формалізуйте умовиводи і перевірте їх правильність за допомогою таблиць істинності:
а) якщо бухта замерзає, то кораблі не можуть зайти до неї. Зараз кораблі не можуть зайти до бухти. Значить бухта замерзла.
____________________________________________________________________________
___________________________________________________________________________;
в) К.К. не буде чемпіоном, якщо він не виграє цю партію. Але К.К. виграв цю партію. Значить, він став чемпіоном.
_____________________________________________________________________________
_____________________________________________________________________________;
2. За структурою схем визначте, які з них є правильними виводами:
а) (((А → В) → С) (А → В)) → С
_____________________________________________________________________________;
в) (((А В ) → С) ~ В) → ~ С
_____________________________________________________________________________;
с) (((А → В) → (С D)) ~ С) → (А ~ В)
_____________________________________________________________________________;