Кванторы всеобщности и существования

1) - для любого – квантор – для каждого всеобщности.

(не правда)

(правда)

2) - квантор существования - существует хотя бы один элемент

(правда)

(не правда)

3) Существует единственные

Кальюнкция “ и ” подобно ∩

Дезъюнкция “ или ”

Сумма (сигма)

Суммируется от 1 до 3

Необходимое и достаточное условие

1) Если , то α достаточное условие для β, а β необходимое условие для α

2) необходимое и достаточное друг для друга

α тогда и только тогда когда β (т.т.т.)

Предел последовательности