- •Н. Г. Мозгова, а.М. Мозговий
- •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 -
4. Теж саме для сильної диз’юнкції.
Теж саме для імплікації.
_____________________________________________________________________________
Теж саме для подвійної імплікації.
_____________________________________________________________________________
Побудуйте матрицю істинності будь-якої логічної операції для трьох змінних.
_____________________________________________________________________________
Запишіть не менше 5-ти пар еквівалентних формул логіки висловлювань.
_____________________________________________________________________________
Назвіть не менше 2-х випадків, коли імплікація є істинною.
_____________________________________________________________________________
Побудуйте матрицю істинності для двох довільних формул, які знаходяться у відношенні логічного слідування.
Експрес–тест до модуля 7
Назвіть не менше №-х складових структури кожного умовиводу.
_____________________________________________________________________________
Назвіть не менше 2-х видів умовиводу в залежності від характеру логічного слідування.
Назвіть не менше 2-х видів необхідного виводу.
_____________________________________________________________________________
Назвіть не менше 2-х видів ймовірного виводу.
_____________________________________________________________________________
Назвіть не менше 2-х видів категоричного виводу.
_____________________________________________________________________________
Назвіть не менше 3-х видів виводів логіки висловлювань.
_____________________________________________________________________________
Запишіть не менше 5 –ти формул і відповідних їм графічних схем обернення категоричного судження.
Запишіть не менше 4-х формул і відповідних їм графічних схем перетворення категоричного судження.
_____________________________________________________________________________
Запишіть не менше 3-х формул і відповідних їм графічних схем протиставлення предикатові категоричного судження.
_____________________________________________________________________________
Назвіть не менше 3-х типів суджень-висновків, які є необхідними у виводах за логічним квадратом.
_____________________________________________________________________________
Експрес–тест до модуля 8
Назвіть не менше 3-х термінів простого категоричного силогізму і запишіть їх символічно.
Назвіть не менше 3-х загальних правил термінів силогізму.
_____________________________________________________________________________
Назвіть не менше 4-х загальних правил засновків силогізму.
_____________________________________________________________________________
Зобразіть графічно не менше 4-х фігур категоричного силогізму.
_____________________________________________________________________________
Скільки правильних модусів містять чотири фігури силогізму: 15, 17, 19, 21, 25?
_____________________________________________________________________________
Назвіть не менше 2-х правил першої фігури силогізму.
_____________________________________________________________________________
Назвіть не менше 2-х правил другої фігури силогізму.
_____________________________________________________________________________
Назвіть не менше 2-х правил третьої фігури силогізму.
_____________________________________________________________________________
Назвіть не менше 2-х правил четвертої фігури силогізму.
_____________________________________________________________________________
Назвіть умову, при якій неправильні модуси силогізму дають необхідні виводи.
___________________________________________________________________________