логически символи

Специално създаден за целта ?? ите език на логиката се нарича официално. обикновения език думи се заменят там от отделни букви и различни специални знаци. Формализиран език - it''naskvoz simvolicheskiy '' език, на който не е от уста на обикновен език. В официалното език смислени изрази се заменят с букви и символи, като логически (логически константи) използвани знаци с точно определена ?? ennym стойност.

В литературата, различни логика бройна система, в тази връзка, два или повече варианта характер са дадени по-долу.

- признаци, които служат за обозначаване отрицание; Той гласи: '' СИ '', '' neverno Chto '';

- признаци за дизюнкция, нарича връзка; да се чете: '' Аз '';

- знак за обозначаване на логически сухожилие, наречена неизключително дизюнкция; Той гласи: '' ГЗ '';

- знак за строг, или елиминиране, дизюнкцията; То гласи: '' Либо, Либо '';

- признаци за влиянието; да се чете: '' esli, за да '';

- признаци за Пропозиционални равностойност; да се чете: '' esli само esli '';

- универсален квантор; То гласи: '' для vsyakogo '', '' срещу ?? ги '';

- екзистенциална квантор; read''suschestvuet '', '' imeetsya поне Один '';

L, N, - признаци за модален оператор е от решаващо значение STI; Той гласи: '' krayne важно. Chto '';

M - знак за модален оператор на възможност; То гласи: '' vozmozhno, Chto ''.

Наред с горното, в логиката на множество системи, използвани и други специфични символи, всеки път като обяснява точно какво означава определен символ и как се чете.

Както пунктуация в изкуствени езици на логиката се използват, тъй като на езика на математиката, скоби.

А) '' Тот, който мисли ясно, ясно govorit '' -

; буквата А представлява ясна statement''Chelovek myslit '', B - saying''Chelovek ясно govorit '', - един куп of''esli, за да '';

Б) '' On - образован човек не е вярно, че не е запознат с сонети Shekspira '' -

; A - saying''On формира ChELOVEK '', B - '' На не запознати с сонети Shekspira '', - един куп of''i '',

Б) "" V ако светлината е вълна характер, а след това, когато тя е представена като поток от частици (частици) право oshibka '' -

; А - е prirodu wave''Svet '', В - '' Свет chastits '' представени като поток C - '' Dopuskaetsya oshibka '';

Г) "знак" V, ако сте били в Париж, че видяхте Лувъра или Айфеловата виждал ?? Ева bashnyu '' -

- '' Vy са Parizhe '', В - '' Vy вижда Luvr '', C - '' Vy вижда Eifel ?? Ева bashnyu ''.

виж също

Видове цифрови комплекти. Съседство на точката. Нека а и б - две числа, с

Правила за структурата на дървото на причините и опасностите за намиране и визуализират причинно-следствена връзка с помощта на дървото на причините и опасностите необходимите основни блокове са разделени и свързване на голям брой събития. Има два вида блокове. [Прочети още].

Най-често използваният символ се използва за събитието, което може да бъде доразвита. В някои случаи дадено събитие, белязан от подобна марка може да е главата да се изгради независима вина дърво, което от своя страна ще бъде. [Прочети още].