Special creat pentru scopurile limbajului logicii numite formalizate. Cuvintele lingvistice obișnuite sunt înlocuite cu litere individuale există și diferite caractere speciale. Limba formalizate - este „simbolic prin“ 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ă.
În literatura de specialitate, diverse notatia logica, cu toate acestea, două sau mai multe variante de caractere sunt prezentate mai jos.
- semne care servesc pentru a indica negație; citește: „nu“, „care nu este adevărat“;
- semne de disjuncție, numit o conjuncție; citi: „și“;
- semn pentru a indica ligamentului logic, numit disjuncție neexclusivă; Se poate citi: „sau“;
- semn de stricte, sau eliminarea, disjuncției; citește: „fie, sau“;
- semne de implicare; Se poate citi: „în cazul în care, atunci“;
- semne de echivalență propozitiilor; Se poate citi: „dacă și numai dacă“;
- cuantificator universal; Se citește „pentru toți“, „toate“;
- cuantificator existențial; Se citește „acolo“, „există cel puțin un“;
L, N, - semne pentru operatorul modal necesar; citi: „este necesar ca“;
M - semn pentru operatorul modal de posibilitate; citi: „este posibil ca“.
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) „Cel care crede în mod clar, prevede în mod clar“ -; litera A este propoziția „Omul crede în mod clar,“ În - spunând: „Omul spune clar,“ - o grămadă de „dacă, atunci“;
B) „El - persoană educată nu este adevărat că el nu este familiarizat cu sonete lui Shakespeare“ -; Și - propoziția „El este un om educat,“ B - „El nu este familiarizat cu sonete lui Shakespeare“ - o grămadă de „și“
B) „Dacă lumina are un caracter val, atunci când el apare sub forma unui flux de particule (globulele) face greșeli“ -; A - „are natura de undă a luminii“ B - „lumina este reprezentat ca un flux de particule,“ C - „err“;
D) „Dacă ai fost la Paris, ați văzut Luvru sau Turnul Eiffel văzut“ - - „Ai fost la Paris,“ B - „Ai văzut Luvru“ C - „Ai văzut Turnul Eiffel“