Символика логическая:
система знаков (символов), используемая в логике для обозначения термов, предикатов, высказываний, логических функций, отношений между высказываниями. В разных логических системах могут использоваться различные системы обозначений, поэтому ниже мы приводим лишь наиболее употребительные символы из числа используемых в литературе по логике:
а, b, с,...
- начальные буквы латинского алфавита, обычно используются для обозначения индивидуальных константных выражений, термов;
A, В, С,...
- прописные начальные буквы латинского алфавита, обычно используются для обозначения конкретных высказываний;
х, у, z,...
- буквы, стоящие в конце латинского алфавита, обычно используются для обозначения индивидных переменных;
X, Y, Z,...
- прописные буквы, стоящие в конце латинского алфавита, обычно используются для обозначения переменных высказываний или пропозициональных переменных; для той же цели часто используют маленькие буквы середины латинского алфавита: р, q, r,...;
|
|
символика логическая; u
- знаки, служащие для обозначения отрицания; читаются: "не", "неверно что";
; U; &
- знаки для обозначения конъюнкции - логической связки и высказывания, содержащего такую связку в качестве главного знака; читаются: "и";
U
- знак для обозначения неисключающей дизъюнкции - логической связки и высказывания, содержащего такую связку в качестве главного знака; читается: "или";
- знак для обозначения строгой, или исключающей, дизъюнкции; читается: "либо, либо";
®; E
- знаки для обозначения импликации - логической связки и высказывания, содержащего такую связку в качестве главного знака; читаются: "если, то";
?; «
- знаки для обозначения эквивалентности высказываний; читаются: "если и только если";
- знак, обозначающий выводимость одного высказывания из другого, из множества высказываний; читается: "выводимо" (если высказывание А выводимо из пустого множества посылок, что записывается как " A", то знак " " читается: "доказуемо");
T; t
F; f
- истина (от англ. true - истина); - ложь (от англ. false - ложь);
"
- квантор общности; читается "для всякого", "всем";
$
- квантор существования; читается: "существует", "имеется по крайней мере один";
L, N,
- знаки для обозначения модального оператора необходимости; читаются: "необходимо, что";
М, a
- знаки для обозначения модального оператора возможности; читаются: "возможно, что".
Наряду с перечисленными в многозначных, временных, деонтических и других системах логики используются свои специфические символы, однако каждый раз разъясняется, что именно тот или иной символ обозначает и как он читается (см.: Знак логический).