- •Н. Г. Мозгова, а.М. Мозговий
- •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 -
Завдання для складання словника базових понять логіки:
100 Базових понять логіки
Дати визначення понять:
Відчуття. 48. Відношення еквівалентності.
Логіка. 49. Відношення підпорядкування.
Логіки висловлювань мови. 50. Відношення протилежності.
Логічна форма мислення. 51. Відношення суперечності.
Логічний закон. 52. Відношення часткової сумісності.
Сприйняття. 53. Суперечності закон.
Уявлення. 54. Тотожності закон.
Формалізація. 55. Диз’юнкція.
Форми чуттєвого пізнання. 56. Диз’юнкція сильна.
Абстрактне поняття.. 57. Еквівалентності відношення.
Аналіз. 58. Елементарне висловлювання.
Загальне поняття. 59. Заперечення висловлювання.
Збірне поняття. 60. Імплікація.
Зміст поняття. 61. Імплікація подвійна.
Конкретне поняття. 62. Кон’юнкція.
Несумісні поняття. 63. Логіка висловлювань.
Оберненого відношення закон. 64. Логічного слідування відношення.
Обмеження поняття. 65. Судження складне.
Обсяг поняття. 66. Формула-тавтологія.
Одиничне поняття. 67. Безпосередній умовивід.
Ознака предмета. 68. Дедуктивний вивід.
Поняття. 69. Обернення судження.
Синтез. 70. Опосередкований вивід.
Порівнянні поняття. 71. Перетворення судження.
Сумісні поняття. 72. Протиставлення предикату.
Узагальнення поняття. 73. Умовивід.
Визначення поняття. 74. Умовивід ймовірний.
Дихотомія. 75. Умовивід необхідний.
Номінальне визначення. 76. Модуси категоричного силогізму.
Поділ за видозміною ознаки. 77. Простий категоричний силогізм.
Поділ поняття. 78. Середній термін.
Реальне визначення. 79. Терміни силогізму.
Тавтологія у визначенні. 80. Фігури силогізму.
Явне визначення. 81. Виводи логіки висловлювань.
Атрибутивне судження. 82. Ентимема.
Загальнозаперечне судження. 83. Модуси розділово-категоричного
Загальностверджувальне судження. виводу.
Істинне висловлювання. 84. Модуси умовно-категоричного
Предикат судження. виводу.
Суб’єкт судження. 85. Розділово-категоричні виводи.
Судження. 86. Умовно-категоричні виводи.
Судження просте. 87. Умовно-розділові виводи.
Терміни судження. 88. Індуктивний умовивід.
Хибне висловлювання. 89. Індукція наукова.
Частковостверджувальне судження 90. Індукція неповна.
Частковозаперечне судження.. 91. Індукція повна.
Виключеного третього закон. 92. Причинна залежність.