Кванторы в математической логике - это символы, которые используются для выражения количественных утверждений о множествах объектов. Существует два основных типа кванторов: всеобщный квантор (∀), который обозначает