Связывание переменных предикатов кванторами

При образовании высказывания из предиката посредством квантора говорят, что переменное предиката связывается квантором. Аналогично связываются переменные в предикатах, содержащих несколько переменных. В общем случае используют формы высказываний вида

где вместо каждой буквы с индексом может быть подставлен любой из кванторов или .

Например, высказывание читается так: "для всякого существует , такой, что истинно ". Если множества, которые пробегают переменные предикатов, фиксированы (подразумеваются "по умолчанию"), то кванторы записываются в сокращенной форме: или .

Заметим, что многие математические теоремы можно записать в форме, подобной только что приведенным высказываниям с кванторами, например: "для всех и для всех истинно: если — функция, дифференцируемая в точке , то функция непрерывна в точке ".