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




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

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



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

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

імплікативне, або умовне судження – це складне судження, в якому прості судження пов'язані сполучником «якщо, то». Імплікативна зв'язка (якщо є перше, то обов'язково є і друге) позначається символом «→». Формула імплікативного судження – аb: «Якщо студент-бюджетник вчиться на «відмінно», то він отримує підвищену стипендію».

Імплікативні судження відображають просторово-часові, функціональні, причинно-наслідкові та інші залежності предметів.

Просте судження, в якому відбивається умова вираженої в імплікативному судженні залежності предметів або ознак, називається антецедентом (від лат. antecendens – передуючий), або підставою.

Просте судження, в якому відображається обумовлене явище вираженої в імплікативному судженні залежності, називається консеквентом (від лат. cjnsequens – подальший), або наслідком.

Граматично антецедент може бути розташований до і після консеквента.


Таблиця істинності імплікації

a

b

ab

1

1

1

1

0

0

0

1

1

0

0

1

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



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

судження еквіваленції, або тотожності – це складне судження, в якому прості судження пов'язані сполучником «якщо і тільки якщо, то». Еквівалентна зв'язка (перше є тільки у тому випадку, якщо є друге) позначається символом «≡», або символом «↔». Формула судження еквіваленції – аb, або аb: «Тільки за умови, якщо закінчиться навчальний рік, то почнуться канікули».


Таблиця істинності еквіваленції

a

b

ab

1

1

1

1

0

0

0

1

0

0

0

1
1   ...   23   24   25   26   27   28   29   30   ...   55


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

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