- Ква́нтор — общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание. Чаще всего упоминают: Квантор всеобщности (обозначение: ∀ {\displaystyle \forall } , читается: «для любого…», «для каждого…», «для всех…» или «каждый…», «любой…», «все…»). Квантор существования (обозначение: ∃ {\displaystyle \exists } , читается: «существует…» или «найдётся…»). В математической логике приписывание квантора к формуле называется связыванием или...
Вы здесь
- Неудивительно поэтому, что суждение имеет определённую структуру, в которой можно выделить четыре части: субъект, предикат, связка и квантор.