VI. Зробити заперечення простих суджень, наведених у вправі II.
Приклад:
Всі студенти курсу пишуть контрольну роботу з логіки
Операція заперечення простого судження зводиться до знаходження судження, що суперечить цьому. Не-A « OДеякі студенти курсу не пишуть контрольну роботу з логіки
VII. Визначити вид складного судження та формалізувати його. Зробити заперечення формул і прикладів
Якщо студент відвідує лекції, він здасть іспит
Якщо людина відвідала Францію, то вона відвідала Париж
Якщо людина відвідала Париж, то вона відвідала Францію
А необхідно і достатньо для В
Складні судження бувають імплікативні чи неімплікативні
Якщо судження є загальним, його суб'єкт розподілено, і якщо судження є негативним, його предикат розподілено.
Тихіше їдеш далі будеш
Стій – стріляти буду
Приклад:
Якщо студент відвідує лекції, він здасть іспит. Це імплікативне судження. А ® В
º А та не-В. Студент відвідує лекції та не складе іспит.
VIII. Вигадати приклади, що відповідають наступним формулам складних суджень.
IX. Сформулювати імплікативне судження, що відповідає наступній умові:
Для отримання диплома історика необхідно скласти іспит з логіки
Перегорання лампочки достатньо для того, щоб світло згасло
Рівні сторони – необхідна ознака квадрата
Подільність числа на 6 достатня для подільності числа на 3
Вода потрібна для життя
Приклад:
Для отримання диплома історика необхідно скласти іспит з логіки
Імплікація є судженням, в якому пов'язані достатні і необхідні умови. Підстава імплікації виконує функцію достатньої умови, тоді як слідство– необхідної умови. Необхідною називається умова, без якої явище обов'язково ніколи не настає. У цьому судженні стверджується, що успішне складання іспиту з логіки є необхідною умовою; отже, в імплікації вона посідає місце слідства, а здобуття диплома історика – місце заснування. Таким чином, імплікація, що відповідає заданим умовам, виглядає так:Якщо студент отримав диплом історика, він склав іспит з логіки
X. Перетворити імплікативне судження в просте і піддати останнє заперечення:
Якщо це птах, то він літає
Якщо силогізм містить три терміни, він правильний
Якщо студент відвідує семінари, він отримає залік
Якщо студент не відвідує семінари, він не отримає залік
Якщо це країна багата, то має ринкову економіку.
Якщо число парне, воно ділиться на 4
Приклад:
Якщо це птах, то він літаєможе бути перетворено на просте судженняВсі птахи літають.Запереченням даного, загальноствердного судження (A) є судження приватнонегативне (O) –Деякі птахи не літають
XI. Перетворити просте судження в імплікативне і піддати останнє заперечення:
Жодне одиничне поняття не є конкретним
Усі парні числа поділяються на 4
Жоден із тих, хто не відвідує семінари, не отримає залік
Усі великі стани сучасності нажиті нечесним шляхом
Приклад:
Просте судження «Жодне одиничне поняття не є конкретним»може бути перетворене на судження імплікативне «Якщо це поняття одиничне, то воно не конкретне».Імплікативні судження заперечуються за формулою А і не -В; таким чином, ми отримуємо судження «Єпоняття одиничне та конкретне»
ТЕМА ІІІ.«УМОВЛЕННЯ»
I. Перевірити правильність силогізму:
Більшість студентів нашої групи добре володіє англійською мовою
Н. – студент нашої групи
Н. добре володіє англійською мовою
Більшість учнів 6 А – хорошісти
Сидоров – учень 6 А
Усі англійці розмовляють англійською
Джон розмовляє англійською
Усі правильні силогізми містять 3 терміни
Цей силогізм містить 3 терміни
Цей силогізм – правильний
Жоден кит не риба
Усі числа, що діляться на 6, діляться на 3
Це число ділиться на 3
Це число ділиться на 6
Приклад:
Більшість студентів нашої групи добре володіє англійською мовою
Н. – студент нашої групи
Н. добре володіє англійською мовою
Порядок розбору силогізму
Фігура №1.
- З'ясовуємо модус силогізму, тобто кількість і якість всіх суджень, що входять до нього – I AA
- Малюємо об'ємні відносини між термінами в кожному з суджень та визначаємо розподіл термінів