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