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