СИМВОЛИКА ЛОГИЧЕСКАЯ

- система знаков (символов), используемая в логике для обозначения термов, предикатов, высказываний, логических функций, отношений между высказываниями. В разных логических системах могут использоваться различные системы обозначений, поэтому ниже мы приводим лишь наиболее употребительные символы из числа используемых в литературе по логике:

а, b, с, ...

 

- начальные буквы латинского алфавита, обычно ис-пользуются для обозначения индивидуальных кон-стантных выражений, термов;

A, В, С, ...

 

- прописные начальные буквы латинского алфавита, обычно используются для обозначения конкретных высказываний;

 

х, у, z, ...

 

- буквы, стоящие в конце латинского алфавита, обыч-но используются для обозначения индивидных пере-менных;

X, Y, Z, ...

 

- прописные буквы, стоящие в конце латинского ал-фавита, обычно используются для обозначения пере-менных высказываний или пропозициональных пе-ременных; для той же цели часто используют малень-кие буквы середины латинского алфавита: р, q, r, ...;

~ ; ù

 

- знаки, служащие для обозначения отрицания; чита-ются: <не>, <неверно что>;

; Ù ; &

 

- знаки для обозначения конъюнкции - логической связ-ки и высказывания, содержащего такую связку в ка-честве главного знака; читаются: <и>;

Ú

 

- знак для обозначения неисключающей дизъюнкции - логической связки и высказывания, содержащего та-кую связку в качестве главного знака; читается: <или>;

СИМВОЛИКА ЛОГИЧЕСКАЯ

 

- знак для обозначения строгой, или исключающей, дизъюнкции; читается: <либо, либо>;

-> ; É

 

- знаки для обозначения импликации - логической связ-ки и высказывания, содержащего такую связку в ка-честве главного знака; читаются: <если, то>;

º ; <->

- знаки для обозначения эквивалентности высказыва-ний; читаются: <если и только если>;

СИМВОЛИКА ЛОГИЧЕСКАЯ

- знак, обозначающий выводимость одного высказы-вания из другого, из множества высказываний; чи-тается: <выводимо> (если высказывание А выводимо из пустого множества посылок, что записывается как < СИМВОЛИКА ЛОГИЧЕСКАЯA>, то знак < СИМВОЛИКА ЛОГИЧЕСКАЯ  > читается: <доказуемо>);

T ; t

F ; f

- истина (от англ. true - истина); - ложь (от англ. false - ложь);

"

- квантор общности; читается <для всякого>, <всем>;

$

 

- квантор существования; читается: <существует>, <име-ется по крайней мере один>;

L, N, 

 

- знаки для обозначения модального оператора необхо-димости; читаются: <необходимо, что>;

М, à СИМВОЛИКА ЛОГИЧЕСКАЯ

 

- знаки для обозначения модального оператора воз-можности; читаются: <возможно, что>.

Наряду с перечисленными в многозначных, временных, деонтических и других системах логики используются свои специфические символы, однако каждый раз разъясняется, что именно тот или иной символ обозначает и как он читается (см.: Знак логический).

Вернуться к оглавлению

© 2000- NIV