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

СИМВОЛИКА ЛОГИЧЕСКАЯ — система знаков (символов), ис­пользуемая в логике для обозначения термов, предикатов, высказываний, логических функций, отношений между высказывания­ми. В разных логических системах могут использоваться различные системы обозначений, поэтому ниже мы приводим лишь наиболее употребительные символы из числа используемых в литературе по логике:

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

$	— квантор существования; читается: "существует", "име­ется по крайней мере один";
L, N, 	— знаки для обозначения модального оператора необхо­димости; читаются: "необходимо, что";
М, à	— знаки для обозначения модального оператора воз­можности; читаются: "возможно, что".

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