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