|
« Попередня
|
|
Наступна » |
|
|
|
Імплікація
|
- це складне судження, що приймає логічне значення хибності тоді і тільки тоді, коли попереднє судження, зване антецедентом , істинно, а наступне, зване консеквентом, ложно. У природній мові імплікація виражається союзом «якщо ..., то» в сенсі «невірно, чтор
і не-q» (р A q). Наприклад, «якщо число ділиться на 9, то воно ділиться і на 3» (тобто «невірно, що число ділиться на 9 і не ділиться на 3»), Символічно імплікація записується p ^ q (якщо р, то q) . Логічне значення імплікації відповідає таблиці істинності: р я p ^ q І І І І Л Л Л І І Л Л І Умовна зв'язок «якщо ..., то», будучи засобом вираження законів науки, виявляється корисна також і для з'ясування таких важливих з точки зору логіки понять, як необхідна і достатня умова чого-небудь. Аналіз властивостей імплікації показує, що істинність антецедента є достатньою умовою істинності консекеента, в той же час істинність консекеента є необхідною умовою істинності антецедента. Таким чином, достатнім для деякого явища вважається така умова, наявність якого неодмінно викликає це явище, а необхідним для деякого явища вважається умова, без якої дане явище не має місця.
|
| « Попередня |
|
Наступна » |
|
= Перейти до змісту підручника = |
|
|
Інформація, релевантна " імплікація " |
- 4.3. Складні судження
імплікація - логічний союз «якщо ... , То ... »якимось чином (не обов'язково за змістом) з'єднує два судження, пов'язані між собою (граматичний союз« якщо ..., то ... », на відміну від логічного, об'єднує пропозиції обов'язково пов'язані за змістом) , еквівалентність - логічний союз «тоді і тільки тоді, коли ...» («якщо і тільки якщо ...») об'єднує два судження, пов'язані однозначною
- Поняття логічної форми
імплікація, виражається словами «якщо ..., то ...». Пропозіціональная функція - це вираз, що містить змінні і що перетворюється на висловлювання при підстановці замість змінних відповідних дескриптивних
- 2.5. Складні судження та їх види. Поняття про логічне союзі
імплікації, еквівалентності і заперечення. Логічний союз - це спосіб з'єднання простих суджень у складне, при якому логічне значення останнього встановлюється відповідно до логічними значеннями складових його простих суджень. Особливість складних суджень полягає в тому, що їх логічне значення, тобто істинність або хибність, визначається не смисловий зв'язком простих
- Парадокси матеріальної імплікації.
Імплікації з її символічною формулою: АгеВ. Згідно матеріальної імплікації істинність А, для істинності формули Az> B, необхідно, щоб і В було правдиве. У цьому випадку мова йде про змістовне розумінні хибності й істинності висловлювання. Однак формула ADB істинна не тільки в зазначеному випадку, але й тоді, коли А - помилково, а В - істинно і тоді, коли вони обидва хибні. З даного факту
- 2.6. Вираз одних логічних зв'язок допомогою інших
імплікація через диз'юнкцію; (р Zj q) = (р Л q) - імплікація через кон'юнкцію; (р Z) ц) = (q Z) р) - імплікація через імплікації, так званий закон простий (зліва-направо) і сильною (справа-наліво) контрапозиции; (р л q) = (р vq) - кон'юнкція через диз'юнкцію; (р / Cj) = (р / Ц) - диз'юнкція через кон'юнкцію; (р / q) = (р Zj q) - кон'юнкція через імплікації; (р / q) = (р ZJ q) - диз'юнкція
- 4.1. Чисто-умовний і умовно-категоричний силогізми
імплікації. Інакше кажучи, висновок в чисто-умовному силогізм грунтується на правилі: наслідок слідства є наслідок підстави. Схема цього силогізму така: А ^ В В ^ С А ^ З Наприклад: Якщо буде сонячний день, то вода в річці буде теплою Якщо вода в річці буде теплою, можна піти купатися Якщо буде сонячний день, можна піти
- Основні прямі правила
імплікації (УІ): А ^ В А В Правило введення еквівалентності (ВЕ): А ^ В В ^ А А ^ В Правило видалення еквівалентності (УЕ): А ^ У А ^ В А ^ В'В ^ А Правило введення подвійного заперечення (ВО): А А Правило видалення подвійного заперечення (УО): А_ А Основні непрямі правила Правило введення імплікації (ВІ): П {посилки) А (дод.) У А ^ В Правило reduction ad absurdum - «зведення до абсурду» (СА): П (посилки) А (дод.) У В А -
- ЕКЗАМЕНАЦІЙНІ ПИТАННЯ
імплікації. Правила виведення, які стосуються імплікації. Еквівалентність. Правила виведення, які стосуються еквівалентності. Поняття необхідної і достатньої умови. Вираз одних логічних зв'язок через інші. Ділення судження за якістю та кількістю. Їх символічне вираження. Судження про відносини (релятивних). Одномісні, бінарні, n-місні предикати. Відношення між судженнями по
|