Розділ 9. Виводи логіки висловлювань

Ви є тут

Логіка


Короткий зміст розділу


Умовиводи здійснюються не тільки з простих, але й зі складних суджень. Доволі широко використовуються виводи, засновками яких є умовні та розділові (диз'юнктивні) висловлювання. Такі висловлювання поєднуються в різних комбінаціях одне з одним або з категоричними судженнями. У залежності від цього існують різні види виводів логіки висловлювань.


1. Поняття про виводи логіки висловлювань



2. Умовно-категоричні виводи



3. Розділово-категоричні виводи


а) Суто розділові.

Суто розділовим умовиводом с вивід, в якому всі засновки та висновки с розділовими (диз'юнктивними) висловлюваннями.

Наприклад:

Порівнянні поняття бувають сумісними (А) та несумісними (В). Несумісні поняття бувають співпідпорядкованими (В,), або протилежними (В,), або суперечними (Вя)._

Порівнянні поняття бувають сумісними (А), або співпідпорядкованими (В,), або протилежними (В2), або суперечними (В3). Структура цього виводу є такою: А або В.

В,, або В?, або Вг_

А, або В,, або В2, або В

Це правильна структура виводу і відповідна їй формула логіки висловлювань є законом логіки:

б) Заперечно-стверджувальний модус.

Умовивід, в якому один Ь засновків з розділовим судженням, а другий — категоричним судженням, називають * розділово-категоричним. Наприклад:

Мені могли телефонувати Микола (А) або Петро (В).

Микола мені не телефонував (~А).

Мені телефонував Петро (В).

Структура цього умовиводу така:

Сторінки


В нашій електронній бібліотеці ви можете безкоштовно і без реєстрації прочитати «Логіка» автора Н.Г.Мозгова на телефоні, Android, iPhone, iPads. Зараз ви знаходитесь в розділі „Розділ 9. Виводи логіки висловлювань“ на сторінці 1. Приємного читання.

Запит на курсову/дипломну

Шукаєте де можна замовити написання дипломної/курсової роботи? Зробіть запит та ми оцінимо вартість і строки виконання роботи.

Введіть ваш номер телефону для зв'язку, в форматі 0505554433
Введіть тут тему своєї роботи