КВАНТОР ВСЕОБЩНОСТИ Vx (V-перевернутая А): Пусть R(x)–опред-ый предикат, прин-ий зн-е 1 или 0 для каждого эл-а x нек-ой обл-ти _O_. VxR(x) - высказывание истинное, когда R(x) истинно для каждого элемента x области _O_, и ложно в противном случае. Соответствующее ему словесное выражение будет: «для всякого x R(x) истинно».
КВАНТОР СУЩЕСТВОВАНИЯ Эх (Э - развернутая Е). Пусть R(x) – некоторый предикат. ЭxRx, -истина, если сущ-ет х изобласти _O_, для которого R(x) истинно, и как ложь в противном случае.
Если кванторы Эx и Vx относятся к переменной x - ПЕРЕМЕННАЯ x СВЯЗАНА соответствующим квантором. Предметную переменную, не связанную никаким квантором, мы будем называть СВОБОДНОЙ ПЕРЕМЕННОЙ ЛП.
