Введение

Будем использовать следующие обозначения.

A Þ B   (из условия A следует условие B)

A Û B   (условия A и B равносильны)

Ø A   (отрицание условия A)

xÎX   (x является элементом множества X)

xÏX    (Ø (xÎX))

XÌ Y   (множество X является подмножеством множества Y)

Æ    (пустое множество)

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