№36 Метод таблиць істинності. №37 Умовивід: структура та види

№36 Метод таблиць істинності

У логіці висловлювань процедури визначення кожної логічної операції задаються так званими таблицями істинності. Щоб побудувати таблицю істинності ми повинні прийняти такі умови:

1) просте висловлювання може бути або істинним, або хибним, але не можуть бути одночасно і істинним, і хибним; 2) кількість рядків таблиці істинності для певного складного висловлювання відповідає формулі: 2n (де 2 — кількість логічних значень для простого висловлювання

(істина та хиба), а n — кількість простих висловлювань, що входять до складу складного висловлювання). У логіці логічне значення «істина» позначається буквою «і», а логічне значення «хиба» — буквою «f». Наприклад, якщо до складу складного висловлювання входить два простих висловлювання, то відповідно до формули 2n замість п підставляємо 2 і отримуємо формулу 2² = 4.

№37 Умовивід: структура та види

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

Висновком називається нове судження, отримане в результаті співставлення засновків. Наприклад,

1. Будь-який мешканець нашого будинку знає англійську мову. 2. Мій приятель мешкає в нашому будинку. 3. Отже, мій приятель знає англійську мову. 1 і 2 судження будуть засновками у а 3 судження — висновком. Всю множину умовиводів за характером зв'язку між засновками та висновком поділяють на: — дедуктивні; — індуктивні. У дедуктивному умовиводі ми переходимо від загального до часткового, або одиничного; в індуктивному —від одиничного до загального.

За ступенем обґрунтованості висновку умовиводи поділяють на: — демонстративні; — правдоподібні (імовірні). У демонстративних умовиводах висновок необхідно істинний, а в правдоподібних — імовірно істинний. За кількістю засновків умовиводи поділяються на — безпосередні; — опосередковані. Безпосереднім умовиводом називається такий умовивід, в якому висновок отримують із одного засновку. Опосередкованим умовиводом називається такий умовивід, в якому висновок отримують із двох і більше засновків. В залежності від того, чи випливає висновок із засновків з урахуванням логічної структури засновків, чи ні, умовиводи поділяються на силогізми та умовиводи логіки суджень або висновки логіки висловлювань.

⇐ Предыдущая 18 19 20 21 222324 25 26 27 Следующая ⇒