причому істинність або хибність висловлювання залежить від об'єктивності відображення навколишнього світу. Якщо предмети, процеси, явища нашого світу відображаються у висловленні вірно, правильно, висловлювання називають істинним. Якщо вислів відображає навколишній світ з спотвореннями, неправильно визначає місце предметів по відношенню один до одного і взагалі не відповідає дійсності, його називають хибним. Помилкові висловлювання можуть виникати з недоглянутими людини або з його прямим умислом. Хибність висловлювань не завжди буває явною, але в більшості випадків вона очевидна. Наприклад, вислів В«Із Землі видно зворотний бік МісяцяВ» є хибним. Також помилковим буде, наприклад, висловлювання В«Всі транспортні засоби оснащені двигуномВ». p align="justify"> Все сказане вище відноситься до традиційної логіці, яка характеризується двозначністю висловлювань. Проте ще з часів зародження логіки відомо, що деякі висловлювання мають невизначений характер. На даний момент вони ні істинні, ні помилкові. Одним з найвідоміших таких висловлювань є висловлювання В«Бог єВ». Не підкріплене нічим, окрім віри, цей вислів не дає можливості достовірно перевірити істинність або хибність міститься в ньому інформації. Іншими такими висловлюваннями можна назвати наступні: В«На Марсі є життяВ» або В«Всесвіт нескінченнийВ». На сьогоднішній день з достовірністю перевірити і затвердити або спростувати ці висловлювання не представляється можливим. p align="justify"> Такий підхід до визначення характеру висловлювань притаманний одного з різновидів багатозначної логіки - логіці тризначною.
Висловлювання складаються з суб'єкта (позначається латинською буквою S), предиката (позначається як P) і зв'язки. Також можлива наявність кванторного слова. Суб'єкт висловлювання - це його предмет. А саме, це те, про що йдеться у висловлюванні. Предикат дає поняття про ознаки суб'єкта. Зв'язка виражається словами В«єВ», В«єВ», В«сутьВ». Іноді вона замінюється тире. Будь-який суб'єкт висловлювання відображено в якому-небудь понятті. Як ми пам'ятаємо, поняття характеризується змістом і обсягом. Саме для визначення частини, яку займає вислів в обсязі поняття, що відображає його суб'єкт (предмет), і призначене кванторное слово. У мові такий квантор може бути словами В«всеВ», В«деякіВ», В«жоденВ» і т. д.
Вираз висловлювань відбувається за допомогою символів-змінних і знаків, що позначають логічні терміни. Інших символів для цієї мети немає. Змінні висловлювання виражаються у вигляді літер латинського алфавіту (a, b, c, d і т. д.). Такі букви називають змінними висловлюваннями, а також пропозіціональнимі змінними. Говорячи простою мовою, під цією групою символів розуміються прості судження, складові висловлювання. Виражаються дані судження у вигляді розповідних речень. Інша група символів, що використовується для вираження висловлювань у вигляді формул, це знаки. Вони позначають лог...
