File:QuantifierScopes_svg.svg · Wikimedia Commons · See Wikimedia Commons
квантор
Sign in to saveAlso known as quantor, logical quantification, logical quantifier, quantification
свойство, характеризующее другое свойство
Wikidata facts
- Subclass of
- logical operator
- Has part
- universal quantification
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (2)
via Wikidata · CC0
Article · Русский
Ква́нтор — общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание. Чаще всего упоминают: * Квантор всеобщности (обозначение: , читается: «для любого…», «для каждого…», «для всех…» или «каждый…», «любой…», «все…»). * Квантор существования (обозначение: , читается: «существует…» или «найдётся…»). В математической логике приписывание квантора к формуле называется связыванием или квантификацией. В многозначных логиках также вводятся и другие кванторы, например, квантор плюральности (квантор Решера) (обозначается перевёрнутой M, читается «для большинства …»).
Abstract from DBpedia / Wikipedia · CC BY-SA