Гетманова_1998 / Список символов
.rtfСПИСОК СИМВОЛОВ
а ^b; а * b; а &b; “а и b” - конъюнкция.
a
b;
“а
или b”
-
нестрогая дизъюнкция.
a ύ b; “или а, или b” - строгая дизъюнкция.
а
→ b;
а
b;
“а
имплицирует b”
(“если а,
то
b”)
-
импликация.
a
≡ b;
а
b;
a
b, a ~
b; “а
эквивалентно b”
(“а,
если и только если b”)
-
эквиваленция.
ā;
┐а;
~ а ', “не-а” -
отрицание а.
(
x);
“для всех х”
- квантор общности.
(
х),
“существует х,
такое что” - квантор существования.
a, b, c,...,p, q ...- переменные для высказываний.
Логика классов
А, В. С... переменные для классов классы А, В, С ...).
Ā - дополнение А.
А
В; А+В -
“сумма (объединение) А
и В”.
А
В;
А*В-
“произведение (пересечение) А
и В”.
А-В- “разность А и В”.
А
В;
А
В
- “А
включается в В”.
а
А
-
“элемент а
принадлежит классу А”.
A
В
–“A
тождественно В”.
455
М- модальный оператор.
□А -необходимо А.
A
–случайно
A.
◊A - возможно А.
~ ◊A - невозможно А.
Lp –необходимо p.
-
равно по определению.
├ знак вывода.
В польской символике
Nx - отрицание х.
Сху - импликация (х имплицирует y).
Кху - конъюнкция х и у.
Аху - нестрогая дизъюнкция х и у.
[а] - значение функции от аргумента а.
N' х - первое отрицание в системе Поста.
N2х - второе отрицание в системе Поста.
Р3 - трехзначная система Поста.
(~3 p) - первое отрицание в системе Р3 Поста.
(
3
p)
- второе отрицание в системе Р3
Поста.
р * 3q - конъюнкция в системе Р3.
p 3q- дизъюнкция в системе Р3
р
3q
-
импликация в системе Р3
p
3q
-
эквиваленция в системе Р3
456
456
В системе Рейхенбаха
А
В
~
стандартная импликация.
А
В
~
стандартная эквивалентность.
А В - альтернативная импликация.
А
В
- квазиимпликация.
A
B -
альтернативная эквивалентность.
А*В -конъюнкция.
А В ~ дизъюнкция.
~ А — циклическое отрицание.
-А - диаметральное отрицание.
-
полное отрицание.
В системе Gхо
x0р
-
отрицание р.
р xoq - дизъюнкция р и q.
р ^ xoq - конъюнкция р и q.
р
xoq
- импликация р
и q.
p
xoq
-
эквиваленция р
и q.
Модальные
системы Льюиса
~ р - отрицание р.
р
q -
строгая импликация системы
S1
Льюиса.
р
- возможно р.
р = q - строгая эквивалентность.
457
Система Аккермана
N- оператор необходимости.
М- оператор возможности.
А В- сильная импликация Аккермана.
- логическая постоянная (“абсурдно”).
А& В - конъюнкция А и В.
Ā -отрицание А.
L - оператор необходимости в системе Лукасевича.
а | b - “штрих Шеффера” (а и b несовместимы).
458