Квантор несуществования в LaTeX (\nexists)

Где используется

Отрицание квантора существования: не существует объекта с указанным свойством.

\nexists x \in \mathbb{Q} : x^2 = 2 означает, что у числа 2 нет рационального квадратного корня. Этот знак — перечёркнутый \exists, нарисованный как единый глиф; запись \not\exists тоже работает, но черта может встать неточно. Логически он равносилен \forall x\, \neg P(x), и многие логики ради ясности предпочитают писать \neg \exists x. После связанной переменной ставьте небольшой пробел или двоеточие, как в \nexists x \, P(x). Для единственности существования используется символ \exists!.

Также в разделах: Кванторы

Минимальный компилируемый пример

Вставьте это в пустой файл .tex и скомпилируйте с pdfLaTeX, XeLaTeX или LuaLaTeX.

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Not Exists: $\nexists$

\[ \nexists\, x \in \mathbb{Q} : x^2 = 2 \]
\end{document}

Похожие символы

• Отрицание\neg
• Квантор существования\exists
• Логическое И\land
• Квантор всеобщности\forall
• Логическое ИЛИ\lor
• Двойная стрелка вправо\Rightarrow

Частые вопросы

Как написать «Квантор несуществования» в LaTeX?

Наберите \nexists в математическом режиме, например $\nexists\, x \in \mathbb{Q} : x^2 = 2$. Сначала подключите amssymb: \usepackage{amssymb}.

Какой пакет нужен для \nexists?

Для \nexists нужен amssymb: добавьте \usepackage{amssymb} в преамбулу до начала документа.

Можно ли использовать \nexists в текстовом режиме или только в математическом?

Только в математическом режиме. Вне $...$ LaTeX остановится с ошибкой "Missing $ inserted", поэтому в тексте пишите $\nexists$. Если нужен только сам знак в тексте, вставьте символ Unicode ∄ (с XeLaTeX или LuaLaTeX и шрифтом, в котором он есть).