Каково значение ∃? [закрытый]
Чтение книги по алгоритмам. Кто-то может объяснить значение математического символа ∃?
5 ответов
Он называется квантификатором . Это означает «существует».
При использовании в таком выражении, как
∃x s.t. x > 0
, это означает «Существует такое число x , что x больше 0».
Его аналог - ∀, что означает «для всех». Он используется так:
∀x, x > 0
Что означает «Для любого числа x оно больше 0».
Это "экзистенциальный квантификатор" в отличие от перевернутого A (∀), что означает "универсальный квантификатор". Его следует читать как "существует" или "для некоторых". Это предикация, которая означает, что некоторое отношение или свойство является истинным по крайней мере для одного объекта в домене.
Примеры:
Целое число n является составным, если ∃ целое число m таково, что m > 1 и m < n с n, делимое на m.
Целое число n является простым, если ∀ целое число m такое, что m > 1 и m < n правда, что n не делится на m.
Функция f является непрерывной в метрическом пространстве (X, d), если ∀x∀ε>0∃δ>0 | ∀y d(x, y) < δ => d(f(x), f(y)). < ε
Называется экзистенциальный квантификатор, а за ним следует x, значит существует хотя бы один x
Для дальнейшего использования в Википедии имеется таблица математических символов с объяснением значения каждого из них.
.