назад
КУДА УГОДНО

УСЛОВНЫЕ ОБОЗНАЧЕНИЯ НЕКОТОРЫХ ЛОГИЧЕСКИХ СИМВОЛОВ

Кванторы
"
общности
$
существования
$!
единственности существования
Связки
¬, ~
отрицание (неверно, что…)
&, Λ
конъюнкция (и)
v
нестрогая (слабая) дизъюнкция (или)
v
строгая дизъюнкция (или… или…)
импликация (если… то…)
эквиваленция (тождество) (тогда и только тогда, когда…)


далее