Введение
Будем использовать следующие обозначения.
A Þ B (из условия A следует условие B)
A Û B (условия A и B равносильны)
Ø A (отрицание условия A)
xÎX (x является элементом множества X)
xÏX (Ø (xÎX))
XÌ Y (множество X является подмножеством множества Y)
Æ (пустое множество)