Логічні символи - студопедія

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

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

- знаки, що служать для позначення заперечення; Новомосковскются: «не», «невірно що»;

- знаки для позначення логічної зв'язки, званої кон'юнкція; Новомосковскются: «і»;

- знак для позначення логічної зв'язки, званої невиключає диз'юнкція; Новомосковскется: «або»;

- знак для позначення суворої, або виключає, диз'юнкції; Новомосковскется: «або, або»;

- знаки для позначення імплікації; Новомосковскются: «якщо, то»;

- знаки для позначення еквівалентності висловлювань; Новомосковскются: «якщо і тільки якщо»;

- квантор спільності; Новомосковскется: «для всякого», «всім»;

- квантор існування; Новомосковскется «існує», «є принаймні один»;

L, N, - знаки для позначення модального оператора необхідності; Новомосковскются: «необхідно, що";

М - знак для позначення модального оператора можливості; Новомосковскется: «можливо, що».

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

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

А) «Той, хто ясно мислить, ясно говорить» -; буква А позначає висловлювання «Людина ясно мислить», В - висловлювання «Людина ясно говорить», - зв'язка «якщо, то»;

Б) «Він - освічена людина і неправда, що він не знайомий з сонетами Шекспіра» -; А - висловлювання «Він освічена людина», В - «Він не знайомий з сонетами Шекспіра», - зв'язка «і»,

В) «Якщо світло має хвильову природу, то, коли він представляється у вигляді потоку частинок (корпускул), допускається помилка» -; А - «Світло має хвильову природу», В - «Світло представляється у вигляді потоку частинок», С - «Допускається помилка»;

Г) «Якщо ви були в Парижі, то ви бачили Лувр або бачили Ейфелеву вежу» - - «Ви були в Парижі», В - «Ви бачили Лувр», С - «Ви бачили Ейфелеву вежу».