К специальным операциям логических предикатов относятся операции квантификации, то есть навешивание кванторов на переменные.
Процедура навешивания кванторов применима не только к одноместным предикатам, но и к предикатам большей местности. В этом случае говорят, что квантор навешен на определенную переменную предиката. Если на определенную переменную предиката навешен квантор, то эта переменная становится связанной, остальные переменные – называются свободными. Смысл связанных и свободных переменных в предикатном выражении различен. Свободные переменные - это обычные переменные, которые могут принимать значения из предметной области.
P(x) – переменная высказывания зависит от переменной x, в то же выражение 
и 
не зависит от x и при фиксированном значении предиката принимает определенной значение предиката 0 или 1.
Пример: 
Областью действия квантора –называется выражение на которое навешан квантор.
Пример: 1) 
2) 
