- •Н. Г. Мозгова, а.М. Мозговий
- •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 -
13. Визначте вид аргументації:
а) згідно з навчальними програмами ВНЗ усі студенти філологічних факультетів вивчають логіку, а ми – студенти філологічного факультету. Отже, ми вивчаємо логіку;
б) в концепціях різних вчених консолідуючими чинниками нації можуть бути або спільна територія, або спільна мова, або спільна релігія, або соціально-економічні фактори. Історична практика показує, що самі по собі ні спільна територія, ні спільна мова, ні спільна релігія не є спроможними консолідувати народ у націю. Отже, консолідуючими народ у націю є соціально-економічні чинники..
в) теза “Земля не є площиною” аргументується таким чином. Припустімо, що земля є площиною. Тоді полярна зірка повинна бути видною всюди однаково високо над горизонтом. Але, це суперечить встановленому факту, згідно з яким на різній географічній широті висота полярної зірки над горизонтом є різною. Отже, припущення помилкове. Тоді на підставі закону виключеного третього залишається визнати істинність вихідної тези: “Земля не є площиною”.
14. Побудуйте прямі доведення:
а) (А В)С,~В~С отже, ~А;
б) А В, ВС, СD, ~DE, A отже, E;
в) А (ВС), ~ВD, A отже, D;
г) ~А В, ВС, СD, DF, ~F отже, ~A;
д) A B, AD, BE отже, DE;
e) A B, ~BF, ~AC отже, C;
є) A B, BC, D~C отже, A;
ж) (А B)~C, BC отже, ~A;
з) A BC, AD, BE, CF отже, DEF;
і) A B, DE, ~A~E отже, BD.
15. Доведіть теореми за допомогою методу “від супротивного”, провівши логічний аналіз доведення:
а) добуток непарних чисел є числом непарним;
б) через точку, що лежить поза площиною, проходить лише одна площина, яка паралельна даній;
в) дві площини, паралельні одній прямій, паралельні між собою.
16. На питання, як довести теорему “якщо є А, то є і С” методом “від супротивного”,отримано відповідь: “припустімо, що твердження “якщо є А, то є і С” хибне і що, таким чином, істинним є суперечне йому твердження “якщо є А, то немає С”. Виводячи наслідки з прийнятого твердження, приходимо “до абсурду”, тобто до суперечності з вже доведеними твердженнями. Це доводить, що висловлювання “якщо є А, то є і С” – істинне, а допущення “якщо є А, то немає С” є хибним. Чи правильна ця відповідь?
17. Проведіть логічний аналіз такого доведення, визначте за якою формою вонопобудоване:“Якщо А – вбивця, то йому точно відомі час смерті К., і якою зброєю він був убитий. Тому, якщо А не знає, коли вмер К., або не знає якою зброєю він був убитий, то він не є вбивцею”.
18. З’ясуйте, чи правильні такі два доведення:
а) в силогізмах другої фігури один із засновків повинен бути заперечним судженням. Це можна довести так. Якщо менший засновок стверджувальне судження, то його предикат М не буде розподіленим; отже, в більшому засновку предикат М має бути розподіленим; отже більший засновок повинен бути заперечним судженням; тобто один із засновків силогізму повинен бути заперечним;
б) в силогізмах третьої фігури менший засновок повинен бути стверджувальним судженням. Припустімо супротивне. Якщо менший засновок заперечне судження, то менший термін (S), як його предикат, має бути розподіленим. Більший засновок тоді повинен бути стверджувальним судженням, і більший термін (Р), як предикат цього засновку, буде нерозподіленим. Нерозподілений в засновку більший термін не повинен бути розподіленим і в висновку. Значить, висновок має бути стверджувальним судженням. Але цього не може бути, бо один із засновків є судженням заперечним.
19.Спростуйте такі твердження:
а) (А В)(СD), АК, В~ К~ D отже, С;
б) (А В)С, СD, ~ DВ отже, ~ А;
в) А В, ВС, СD, DF, ~ FА отже, А;
г) ~ А В, ВС, ~ С~ Е, ~ ЕF, ~ FА отже, ~В;
д) С (АВ), ~ СD, ~DE, ~ E~A отже, ~B;
е) В D, A(CD), AF, ~ F~ B отже, ~D;
є) А ВС, АD, ~ BK, ~ M~ C, ~ (DКМ) отже, ~ С;
ж) (А В)D, A~ K, BM, K~ M~D отже, AB;
з) (F M)D, DA, ~ A~B, BMF отже, ~ F;
и) К ~ (МN), ~ KC, ~ CA, ~ AMN отже, N.