simboluri logice

Special creat pentru scopul limbajului logicii ?? i se numește formalizat. Cuvintele lingvistice obișnuite sunt înlocuite cu litere individuale există și diferite caractere speciale. Limba formalizate - simvolicheskiy it''naskvoz „“ Limba în care nu există nici un cuvânt de limbaj obișnuit. În limbaj formal expresii semnificative sunt înlocuite cu litere și simboluri ca logice (constante logice) folosite caractere cu o valoare strict definită ?? ennym.

În literatura de specialitate, diverse notație logică, în acest sens, două sau mai multe variante de caractere sunt prezentate mai jos.

- semne care servesc pentru a indica negație; Se poate citi: '' ne '', '' neverno chto '';

- semne de disjuncție, numit o conjuncție; citi: '' i '';

- semn pentru a indica ligamentului logic, numit disjuncție neexclusivă; Se poate citi: '' ILI '';

- semn de stricte, sau eliminarea, disjuncției; Se poate citi: '' Libo, Libo '';

- semne de implicare; citi: '' Esli, la '';

- semne de echivalență propozitiilor; citi: '' Esli numai Esli '';

- cuantificator universal; Se poate citi: '' dlya vsyakogo '', '' vs ?? em '';

- cuantificator existențial; read''suschestvuet '', '' imeetsya cel puțin odin '';

L, N, - semne pentru operatorul modal este crucială ITS; Se poate citi: „“ krayne importantă. chto '';

M - semn pentru operatorul modal de posibilitate; Se poate citi: '' vozmozhno, chto ''.

Alături de cele de mai sus, în logica sistemelor multiple utilizate și alte caractere specifice, de fiecare dată când explica exact ceea ce înseamnă un anumit simbol și modul în care este citit.

Ca semne de punctuație în limbi artificiale ale logicii sunt utilizate, ca și în limbajul matematicii, între paranteze.

A) '' care crede în mod clar Tot, în mod clar govorit '' -

; litera A reprezintă un statement''Chelovek myslit clar '', B - saying''Chelovek govorit clar '', - o of''esli grămadă, la '';

B) „“ On - persoană educată nu este adevărat că el nu este familiarizat cu sonete Shekspira „“ -

; A - saying''On format chelovek '', B - '' Pe care nu sunt familiarizați cu sonete Shekspira '', - un buchet of''i '',

B) „“ V dacă lumina are un caracter val, atunci când acesta este reprezentat ca un flux de particule (corpusculi) sunt permise oshibka „“ -

; A - este prirodu wave''Svet '', B - '' Svet chastits '' reprezentat ca un flux C - '' Dopuskaetsya oshibka '';

D) „“ V dacă ai fost la Paris, ați văzut la Luvru sau Eiffel vazut ?? Eva bashnyu „“ -

- '' Vy erau Parizhe '', B - '' Vy văzut Luvr '', C - '' Vy vazut Eifel ?? Eve bashnyu ''.

a se vedea, de asemenea,

Tipuri de seturi numerice. Vecinătate a punctului. Fie a și b - două numere, cu un

Reguli pentru structura arborelui cauzelor și pericolele pentru a găsi și vizualiza relația cauzală cu ajutorul arborelui cauzelor și pericolele blocurilor de bază necesare sunt subdivizate și conectarea unui număr mare de evenimente. Există două tipuri de blocuri. [Citește mai mult].

Simbolul cel mai frecvent utilizat este utilizat pentru eveniment, care poate fi dezvoltat în continuare. În unele cazuri, un eveniment marcat de o marcă similară poate fi cap de a construi un copac defect independent, care, la rândul său, va fi. [Citește mai mult].