Конспект лекцій вибіркової навчальної дисципліни циклу гуманітарної підготовки логіка для студентів




Сторінка26/55
Дата конвертації11.03.2019
Розмір5,22 Mb.
1   ...   22   23   24   25   26   27   28   29   ...   55

Таблиця відображає структурний закон диз'юнкції: нестроге роз'єднувальне судження істинне тоді і тільки тоді, коли істинним є хоч би один диз’юнкт істини.



Якщо усі прості судження, що складають нестрогу диз'юнкцію, неістинні, то диз'юнктивне судження неістинне в цілому незалежно від кількості диз'юнктів.

У природній мові нестрога диз'юнкція (сполучник «або»символ «») виражається тільки роз’єднувальним сполучником «або». Логічний сполучник диз'юнкції нетотожний уживаним у реченнях роз’єднувальним сполучникам «а», «але», «так», роз’єднувальним часткам «те, те», «не те, не те» та ін.;

диз’юнкція строга, або сильна – це складне судження, в якому прості судження пов’язані сполучником «або, або». Диз’юнктивний зв'язок (або одне, або друге) позначається символом «». Формула строгого диз’юнктивного судження аb: «Він дістався до Австралії або літаком, або пароплавом». Диз’юнкти строгої, або сильної диз’юнкції називаються альтернативами. «Він дістався до Австралії літаком» і «Він дістався до Австралії пароплавом» дві альтернативи судження, які одночасно істинними бути не можуть. У сильній диз’юнкції може застосуватися і сполучник «або», але лише у роз’єд­нувальному смислі, а не у роз’єднувально-з’єднувальному як це в нестрогої диз’юнкції. Строга і нестрога диз’юнкції розрізняються за характером зв’язку диз’юнктів.
Таблиця істинності строгої диз’юнкції

a

b

ab

1

1

0

1

0

1

0

1

1

0

0

0
1   ...   22   23   24   25   26   27   28   29   ...   55


База даних захищена авторським правом ©uchika.in.ua 2016
звернутися до адміністрації

    Головна сторінка