водів, тобто умовиводів з однієї посилки.
Суперечать один одному висловлювання "Всі S є Р" і "Деякі S не є Р ", а також висловлювання" Всі S не є Р "і" Деякі S є Р ". Це означає, що є правильними наступні, зокрема, безпосередні умовиводи:
Всі S є Р.
Невірно, що деякі S не їсти Р.
З висловлювання "Всі сови - птахи" безпосередньо випливає вислів "Невірно, що деякі сови не є птахами". p> Деякі S не їсти Р.
Невірно, що всі S є Р.
З висловлювання "Деякі вчені не хіміки" безпосередньо випливає вислів "Невірно, що всі вчені хіміки".
Всі S не є Р.
Невірно, що деякі S є Р.
З висловлювання "Усі кити НЕ риби" безпосередньо випливає вислів "Невірно, що деякі кити - риби". p> Деякі S є Р.
Невірно, що всі S НЕ є Р.
З висловлювання "Деякі рідини пружні" безпосередньо слід вислів "Невірно, що всі рідини Непружне".
Огидні висловлювання (SaP і SeP) не можуть бути разом істинними.
Всі S є Р.
Невірно, що всі S НЕ є Р.
З висловлювання "Всі літаючі мають крила" безпосередньо випливає вислів "Невірно, що всі літаючі не мають крил".
Всі S не є Р.
Невірно, що всі S є Р.
З висловлювання "Усі категоричні висловлювання не є умовними" безпосередньо випливає вислів "Невірно, що всі категоричні висловлювання - умовні ".
З підпорядковує висловлювання логічно випливає підлегле:
Всі S є Р.
Деякі S є Р.
З висловлювання "Усі люди дихають легенями" безпосередньо випливає вислів "(Щонайменше) деякі люди дихають легенями".
Всі S не є Р.
Деякі S не є Р.
З висловлювання "Всі тигри не птахи" безпосередньо випливає вислів "Деякі тигри не птахи". p> Безпосередні умовиводи можливі тут тому, що між судженнями, які у цих відносинах, існують певні залежності по істинності і хибності. Враховуючи, що кожне судження - А, Е, I, О - може знаходитися в трьох відносинах з іншими, з нього можна зробити три висновки.
Наприклад, якщо істинно общеутвердітельное судження (А) В«Все благородні думки знаходять собі співчуття В», то звідси випливає: 1) що тим більше істинно частноутвердітельное судження (I): (відношення підпорядкування), 2) що хибно общеотрицательное судження (Е): (відношення протилежності) і 3) що хибно частноотрицательное судження (О): (відношення протиріччя).
2. Для наступних термінів побудуйте діаграму Ейлера: люди, чоловіки, жінки, діти
Діаграми Ейлера-Венна дозволяють представити безлічі, як множини точок на площині, обмежені замкнутими кривими круглої або овальної форми. Прямокутна рамка обмежує універсум. Зазвичай, якщо не потрібно інше, малюють так званий загальний випадок: коли кожне з множин має свої власні точки і точки, спільні з іншими множинами.
Відповідь:
Діаграма Ейлера-Венна в даному випадку буде мати вигляд:
В
А
В
З D
Поняття (А) В«людиВ» підпорядковує собі поняття (В) В«дітиВ», яке в свою чергу підкоряє поняття (C) В«ЧоловікаВ» і (D) В«жінкиВ», тобто всі чоловіки і жінки були дітьми, але не у всіх чоловіків і жінок є діти. Поняття (C) В«чоловікаВ» і (D) В«ЖінкиВ» є іслючают. br/>
3. Побудуйте таблицю істинності наступної формули:
(А В® В) Гљ (Г?АГ™С)
Словами формулу можна викласти так:
(якщо А, то В) або (НЕ А і С)
У даній формулі використовуються кон'юнктивні, диз'юнктивні, імплікатівние судження і заперечення.
Таблиця істинності буде мати наступний вигляд:
А
В
З
Г?А
А В® В
Г?АГ™С
(А В® В) Гљ (Г?АГ™С)
і
і
і
л
і
л
і
і
і
л
л
і
л
і
і
л
і
л
л
л
л
і
л
л
л
л
л
л
л
і
