Користувач:Сергей Бреус КС-11/Висловлювання(логіка)

Висловлювання — речення, що виражає судження. Якщо судження, що становить зміст (сенс) деякого висловлювання,є істинним, то і про це висловлювання кажуть, що воно істинне. Подібним чином помилковим називають таке висловлювання, яке є вираженням помилкового судження. Істинність та хибність називаються логічними, або істиннісними, значеннями висловлювань.

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

Висловлення та судження

Одне і те ж судження може бути виражене в різних мовах і в різних знакових формах в межах однієї мови. Коли судження розглядається у зв'язку з якоюсь конкретною формою його мовного вираження, воно називається висловлюванням. Термін «судження» вживають, коли відволікаються від того, яка саме його знакова форма.

Види висловлювань

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

Елементарні логічні висловлювання — це висловлювання, що не належать до складових. Прикладом елементарного висловлювання може служити 5 < 7. Прикладом складеного логічного висловлювання може служитиякщо 5 < 7, то 5 — парне число.

Логічні постійні

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

В математичній логіці логічні постійні позначаються такими символами:

• $\forall$ — логічні постійні усі, для всіх... має місце, що (квантор спільності);
• $\exists$ — логічні постійні існує такий, що..., для деяких... має місце, що (квантор існування);
• $\land$, $\And$ — союз і (кон'юнкція);
• $\vee$ — союз "або", коли він виступає в сполучно-розділовому значенні (диз'юнкція);
• ${\dot {\vee }}$, $\vee \vee$ — союз "або", коли він виступає в суворо-розділовому виключайочому значенні (диз'юнкція);
• $\rightarrow$, $\supset$ — союз якщо..., то (імплікація);
• $\neg$ — слова не, невірно (заперечення).

Логічний підмет та логічний присудок

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

Роль логічних підметів грають прості та складні імена, роль логічних присудків — предікатори. До останніх належать властивості та відношення.

Форми висловлювань

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

Форма висловлювання вимагає доповнення, чи відноситься твердження або заперечення в судженні до всіх або не до усіх предметів того класу, який представляє дане загальне ім'я. Функцію таких покажчиків виконують явно виражені або ті, що маються на увазі квантори. Не можна оцінювати як істинне або помилкове таку висловлювальну форму, як Людина — справедливий. Наведена фраза аналогічна висловомy — справедливий . Із зазначеної форми можна отримати вислів, замінивши загальне ім'я одиничним: Іванов — справедливий, або ввівши квантори: Деякі люди справедливі. Висловлювання, що використовують квантори, висловлюють множинні — загальні та приватні — судження .

Форми висловлювань можуть містити дві і більше предметні змінні. Такі форми висловлювань визначають класи впорядкованих пар, трійок, четвірок і т.д. предметів, які задовольняють або не задовольняють умовам форми висловлювання. Наприклад, за допомогою форми x старше y з множини всіх людей можна виділити клас впорядкованих пар, які пов'язані відношеннямстарше. Висловлювання, що отримуються з таких форм висловлювань, виражають так звані судження про відношення. Саме висловлювання в такому випадку містить кілька логічних підметів.

Див. також

• Судження
• Логічна операція
• Квантор
• Логіка висловлювань
• Логіка предикатів
• Алгебра логіки

Література

• Розенталь Д. Е., Теленкова М. А. Словник-довідник лінгвістичних термінів. — 2-ое вид. — М. : Просвітництво, 1976.
• Кондаков Н.І. Логічний словник. — 2-е вид. — М. : Наука, 1975. — 721 с.
• Чупахін І.Я.,Бродський И.Н. Формальна логіка. — Ленінград : Видавництво Ленінградського університету, 1977. — 357 с.
• Войшвилло Е. К., Дегтярьов М. Г. Логіка. — М. : ВЛАДОС-ПРЕС, 2001. — 528 с. — ISBN 5-305-00001-7.
• Карпенко, А.С. Сучасні дослідження у філософській логіці // Логічні дослідження. — М. : Наука, 2003. — Вип. 10. — С. 61 — 93. — ISBN 5-02-006257-X.

Категорія:Булева алгебра Категорія:Логіка