Кванторы
" - для любого, для каждого, для всех
$ - существует
В выражениях с кванторами " , $ будем использовать разделители
Ð - выполняется
: - такой, что
Например, условие XÌY можно записать любым из следующих способов:
"x Ð (xÎX Þ xÎY)
"x : xÎX Ð xÎY
" xÎX Ð xÎY