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




Сторінка24/55
Дата конвертації11.03.2019
Розмір5,22 Mb.
1   ...   20   21   22   23   24   25   26   27   ...   55
В≡ВА. Диз'юнкції властива і якість асоціативності, тому зміни в сполученні членів роз’єднувального судження (напр., (АВ)С на А(ВС)) не змінює зміст судження. Його також можна записати без дужок АВС. В логіці розрізняють повну і неповну диз'юнкції;

розєднальне це судження, в якому відзначається повний перелік видів (варіантів) предмета думки («Тепер у Південній півкулі літо, зима, осінь або весна»);



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

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

Формула: Якщо S є Р, то S є Р.

Імплікація складається з логічної підстави – «якщо» і логічного наслідку – «то» («Якщо закінчиться навчальний рік, то почнуться канікули»).



За характером відношення між змістом наслідку і змістом підстави визначають виділяльні і невиділяльні судження:

Формула: «S тоді і тільки тоді, коли Р» («Студент отримає диплом ДонНТУ, якщо здійснить повний курс навчання в цьому університеті»);

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



Еквівалентне – це умовне судження, в якому прості судження, що утворюють його, пов'язані між собою еквівалентною зв'язкою («якщо і тільки якщо, то»).

Формула: Якщо А, то В, і якщо В, то А («Іванов не завершить свою курсову роботу на визначений час, якщо і тільки якщо йому не допоможуть однокурсники»).

Складні судження, як і прості, можуть бути стверджувальними і заперечувальними.



Складні судження є стверджувальними в тому і тільки у тому випадку, якщо усі складові його прості судження є позитивними («Настала ніч і небо запалилося міріадами зірок»).

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

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

Логічна форма складного судження – це його запис символічною мовою логіки, в якій прості судження замінені змінними а, b.

У логіці велике значення має істинність складних суджень. Істинність складних суджень залежить від істинних значень простих суджень, що входять до складу складного, і від типу зв'язок.



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

кон'юнктивне, або з’єднувальне судження – це складне судження, в якому прості судження пов'язані сполучником «і». Кон'юнктивна зв'язка (одне поруч і одночасно з іншим) позначається символом «». Формула кон'юнктивного судження : аb: «Т.Г. Шевченко був художником і поетом».

Прості судження, що виступають як елементи з’єднувального судження, називаються кон'юнктами. Мінімальне число кон'юнктів – два, максимальне – необмежене. У складному з’єднувальному судженні не усі перераховані кон'юнкти можуть бути замінені оборотом «та інші» і аналогічними словосполученнями. Якщо в кон'юнктивному судженні перераховані не усі кон'юнкти, то воно неповне, або відкрите. Якщо в кон'юнктивному судженні перераховані усі кон'юнкти, то воно повне, або закрите.

Істинність складних суджень обумовлена істинністю простих суджень, що їх складають. Для визначення їх істинності в логіці використовуються таблиці істинності. У них фіксуються істиннісні характеристики простих суджень, що складають складне судження, і складного судження в цілому. У таблиці позначаються: істинність«, неістинність«.
Таблиця істинності кон'юнкції

a

b

ab

1

1

1

1

0

0

0

1

0

0

0

0
1   ...   20   21   22   23   24   25   26   27   ...   55


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

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