Символика логическая

- система знаков (символов), используемая в логике для обозначения термов, предикатов, выска-

[308]

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

а, b, с, ...	- начальные буквы латинского алфавита, обычно используются для обозначения индивидуальных константных выражений, термов;
A, В, С, ...	— прописные начальные буквы латинского алфавита, обычно используются для обозначения конкретных высказываний;
х, у, z, ...	— буквы, стоящие в конце латинского алфавита, обычно используются для обозначения индивидных переменных;
X, Y, Z, ...	— прописные буквы, стоящие в конце латинского алфавита, обычно используются для обозначения переменных высказываний или пропозициональных переменных; для той же цели часто используют маленькие буквы середины латинского алфавита: р, q, r, ...;
~ ; ù	- знаки, служащие для обозначения отрицания; читаются: «не», «неверно что»;
; Ù ; &	- знаки для обозначения конъюнкции — логической связки и высказывания, содержащего такую связку в качестве главного знака; читаются: «и»;
Ú	- знак для обозначения неисключающей дизъюнкции — логической связки и высказывания, содержащего такую связку в качестве главного знака; читается: «или»;
	- знак для обозначения строгой, или исключающей, дизъюнкции; читается: «либо, либо»;
®; É	— знаки для обозначения импликации — логической связки и высказывания, содержащего такую связку в качестве главного знака; читаются: «если, то»;
º ; «	- знаки для обозначения эквивалентности высказываний; читаются: «если и только если»;
	- знак, обозначающий выводимость одного высказывания из другого, из множества высказываний; читается: «выводимо» (если высказывание А выводимо из пустого множества посылок, что записывается как « A», то знак « » читается: «доказуемо»);
T ; t F ; f	— истина (от англ. true — истина); - ложь (от англ. false - ложь);
"	— квантор общности; читается «для всякого», «всем»;

[309]

— квантор существования; читается: «существует», «имеется по крайней мере один»;

L, N,

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

М, à

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

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

Содержание