Кванторные операции

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

Выражение означает высказывание, истинное если , читается «для всякого х ».

Выражение означает высказывание, истинное если предикат истинен хотя бы при одном значении х, читается «существует х, для которого ».