ДИЗ'ЮНКЦІЯ

З'єднання двох висловлювань за допомогою слова «або» дає диз'юнкцію цих висловлювань. Висловлювання, що утворюють диз'юнкцію, називаються членами диз'юнкції.

Слово «або» в повсякденній мові має два різних сенсу. Іноді воно означає «одне або інше або обидва», а іноді «одне або інше, але не обидва разом».

Наприклад, висловлювання «У цьому сезоні я хочу піти на" Пікову даму "або на" Аїду "» допускає можливість дворазового відвідування опери. У висловлюванні ж «Він вчиться в Московському або в Ярославському університеті» мається на увазі, що згадуваний людина вчиться тільки в одному з цих університетів.

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

Невиключає диз'юнкція істинна, коли хоча б одне з вхідних в неї висловлювань істинно, і помилкова, тільки коли обидва її члена помилкові; виключає диз'юнкція істинна, коли істинним є тільки один з її членів, і вона помилкова, коли обидва її члена правдиві або обидва хибні.

У логіці і математиці слово «або» майже завжди вживається в невиключає значенні.

Центральна задача логіки - відділення правильних схем міркування від неправильних і систематизація перших. Логічна правильність визначається логічною формою. Для її виявлення потрібно відволіктися від змістовних частин міркування (власних символів) і зосередити увагу на невласних символах, які представляють цю форму в чистому вигляді. Звідси інтерес формальної логіки до таких, як правило, не привертає уваги словами, як «і», «або», «якщо, то» і т. П.

 
Переглянути оригінал
< Попер   ЗМІСТ   ОРИГІНАЛ   Наст >