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