Search:

Шпори з логіки

20. Безпосередні умовиводи.

Безпосередні умовиводи – це одержання нових знань шляхом перетворення логічної форми одного і того же судження. Ці перетворення можуть здійснюватись внаслідок таких логічних операцій: перетворення, обернення, протиставлення предикату і умовиводи згідно логічному квадрату.

Перетворення (превращение) – це встановлення відношення до Суб’єкта судження (S) протилежного вихідному Предиката (Р). Наприклад: S є Р перетворюється на S не є не-Р. “Вишня є ягода” в “Вишня не є не-ягода”. “Сало свині їстівне” перетворюється в “Сало не є неїстівним”.

Обернення – це логічне перетворення, в наслідок якого Суб’єкт вихідного судження стає у висновку Предикатом, а Предикат – Суб’єктом. Обернень буває декілька видів. Простим називається обернення в якому об’єм S і Р залишається незмінним. Воно справедливе, повне, тоді коли S і Р розподілені. Київ – столиця України. Столиця України – Київ. Якщо ж S і Р не розподілені, то таке просте обернення буде оберненням з обмеженням.

Можна робити обернення з одноразовим врахуванням якості і кількості Суб’єкта в судженні. Тут перетворюються:

Загальностверджувальні судження (А) перетворюються в частковостверджувальні (І) без обмежень: “Всі студенті нашої групи здали іспити з логіки” в “Деякі студенти з нашої групи склади іспити з логіки.

Всі S є Р

Деякі S є Р

Загальнозаперечні судження (Е) перетворюються на таке ж (Е) без обмежень з перестановкою S і Р: “Жоден студент нашої групи не є двієчником” в “Жоден двієчник не є студент нашої групи”

Жодне S не є Р

Жодне Р не є S

Частковостверджувальні (І) судження перетворюються в частковостверджувальні (І) з перестановкою S і Р. Деякі відмінники є студентами нашої групи. – Деякі студенті нашої групи є відмінниками.

Деякі S є Р

Деякі Р є S

Частковозаперечні (О), як правило не перетворюються, бо предикат його розподілений, а отже у висновку судження перетвориться на загальностверджувальне(А). Якщо “Деякі студенти нашої групи не є відмінниками”, то це не означає, що “Відмінник – не член нашої групи”

Протиставлення предикату (Р)- це судження в яких Суб’єктом стає поняття, що протилежне Предикату вихідного судження, а Предикатом – суб’єкт. Таким чином виясняється відношення S до не-Р:

Загальностверджувальне (A) перетворюється в загальнозаперечне(E):

Всі S є Р в Жодне не-Р не є S .

Загальнозаперечне (Е) - в частковостверджевальне (І):

Жодне S не є Р в Деякі не-Р є S.

Частковостверджувальні (І) засобами протиставлення предикату на перетворюються, бо “Деякі S є Р” не означає, що “Деякі S не є не-Р”.

Частковозаперечні судження (О) перетворюються в частнковозстверджувальні(І). Якщо вірно “Деякі S є Р”, то вірно і “Деякі не-Р є S”.

14. Правила логічного квадрату.

ПРОТИЛЕЖНІСТЬ

(КОНТРАРНІСТЬ)

П П

І І

Д Д

П П

О О

ПРОТИРІЧЧЯ (КОНТРАДИКТОР-НІСТЬ)

Перейти на сторінку номер:
 1  2  3  4  5  6  7  8  9  10  11  12  13  14  15 
 16 


Подібні реферати:

Поділ суджень за модальністю

ПЛАН Алетична модальність. Епістемічна модальність. Деонтична модальність. Темпоральна модальність. Логічна та фактична модальність. Модальна логіка – це розділ сучасної логіки, де вивчаються модальні висловлювання та їхні відношення в структурі міркувань. Залежно від того, які види модальних висловлювань досліджуються, виділяють різні види модальних логік. Це, наприклад, алетична, темпоральна, епістимічна, деонтична та інші модальні логіки. Щоб дати загальну характеристику всім цим логікам, побудуємо таку таблицю: № ...

Логістика складування

Замовлення і складування матеріалів Переміщення матеріального потоку починається з отримання замовлень від клієнта. Одна із функцій логістики - обробка замовлень, що сприяє просуванню продукції до місця виробництва, тобто потреби виробничої лінії переводяться в потреби замовлення. Агент із закупівель вибирає постачальників, які задовольняють фірму за багатьма параметрами (ціни, доставка, якість продукції). Належно оформлене замовлення на доставку надсилається фірмі-постачальнику. У ньому зазначають обсяг, дату та спосіб ...