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

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