В логике используются различные виды кванторов, чтобы ограничивать область истинности предиката и создавать высказывания. 13

Некоторые виды кванторов и их назначение:

• Квантор всеобщности (обозначается символом ∀). 13 Выражает «для любого…», «для каждого…», «для всех…» или «каждый…», «любой…», «все…». 3
• Квантор существования (обозначается символом ∃). 13 Выражает «существует…» или «найдётся…». 3
• Квантор единственности (обозначение: !). 3 Читается: «…является единственным». 3

Таким образом, разные виды кванторов позволяют записывать выражения, истинные при всех возможных переменных или хотя бы при одной. 2