Lượng từ tồn tại phủ định trong LaTeX (\nexists)

Dùng ở đâu

Lượng từ tồn tại bị phủ định: không tồn tại đối tượng nào có tính chất đã nêu.

\nexists x \in \mathbb{Q} : x^2 = 2 khẳng định 2 không có căn bậc hai hữu tỉ. Ký hiệu này là \exists có gạch chéo, được thiết kế thành một glyph duy nhất; \not\exists cũng dùng được nhưng gạch chéo có thể bị lệch. Về mặt logic, nó tương đương với \forall x\, \neg P(x), và nhiều nhà logic thích viết \neg \exists x cho rõ ràng. Thêm một khoảng hẹp hoặc dấu hai chấm sau biến bị ràng buộc, như trong \nexists x \, P(x). Với tồn tại duy nhất, ký hiệu là \exists!.

Cũng có trong: Lượng từ

Ví dụ tối giản biên dịch được

Dán đoạn này vào một tệp .tex trống rồi biên dịch bằng pdfLaTeX, XeLaTeX hoặc LuaLaTeX.

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

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

Ký hiệu liên quan

• Phép phủ định\neg
• Lượng từ tồn tại\exists
• Phép hội logic\land
• Lượng từ phổ quát (với mọi)\forall
• Phép tuyển logic\lor
• Mũi tên kép phải\Rightarrow

Câu hỏi thường gặp

Làm thế nào để viết Lượng từ tồn tại phủ định trong LaTeX?

Gõ \nexists trong chế độ toán, ví dụ $\nexists\, x \in \mathbb{Q} : x^2 = 2$. Trước hết hãy nạp amssymb bằng \usepackage{amssymb}.

Cần gói nào để dùng \nexists?

\nexists cần amssymb: thêm \usepackage{amssymb} vào phần mở đầu, trước khi tài liệu bắt đầu.

Có thể dùng \nexists trong chế độ văn bản không, hay chỉ trong chế độ toán?

Chỉ trong chế độ toán. Bên ngoài $...$ LaTeX sẽ dừng với lỗi "Missing $ inserted", vì vậy trong văn bản hãy viết $\nexists$. Nếu chỉ cần hình ký tự trong văn bản, hãy dán ký tự Unicode ∄ (với XeLaTeX hoặc LuaLaTeX và một phông chữ có ký tự đó).