КОН'ЮНКЦІЯ

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

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

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

Висловлення А може бути або істинним, або хибним, і те ж саме можна сказати про висловлення В. Отже, можливі чотири пари значень істинності для цих висловлювань.

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

По-перше, кожен вислів (як просте, так і складне) має одне і тільки одне з двох значень істинності: воно є або істинним, або хибним.

По-друге, истинностное значення складного висловлювання залежить тільки від істиннісних значень назв висловлювань і способу їх логічного зв'язку між собою.

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

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

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