Поняття висловлення

Одним з основних понять логіки є поняття «висловлення». З’ясуємо зміст цього поняття.

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

Аналогічно змінним звичайної алгебри висловлення позначають буквами якого-небудь алфавіту, наприклад латинського: А, В, X тощо.

Типи висловлень

Просте висловлення

Висловлення за будовою може бути простим чи складеним.

За своїм змістом висловлення містять одне яке-небудь повідомлення або твердження про існуючий світ. Таке висловлення називається простим: «діагноз  інфаркт міокарда»; «у пацієнта спостерігається порушення серцевого ритму».

Складені висловлення (логічні функції)

З простих висловлень за допомогою зв’язок І, АБО та НЕ утворюються складені висловлення, які називають логічними функціями. Прості висловлення, з яких утворюється складене, називаються логічними аргументами. Речення «Хворий відчуває сильний біль в області щелепи, рот самостійно не закривається, важко ковтати і говорити» є складеним висловленням (логічною функцією «І»).

Проблемне, достовірне, умовне висловлення

Висловлення за своїм змістом може бути проблемним, достовірним або умовним.

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

Достовірне – це висловлення, що містить знання, обґрунтовані та перевірені практикою. Наприклад, « життя без води неможливо».

Умовне – це висловлення, в якому відображається залежність того чи іншого явища від тих чи інших обставин і в якому підстава і наслідок з’єднуються за допомогою логічного сполучника “якщо … , то … « Наприклад, “якщо діагноз інфаркт міокарда, то спостерігається порушення серцевого ритму». Отже в умовному висловленні треба розрізняти підставу і наслідок.