Кванторы

" - для любого, для каждого, для всех

$ - существует

В выражениях с кванторами " , $ будем использовать разделители

Ð - выполняется

: - такой, что

Например, условие XÌY можно записать любым из следующих способов:

"x Ð (xÎX Þ xÎY)

"x : xÎX Ð xÎY

" xÎX Ð xÎY

Предыдущая_страница Следующая_страница