Phép phủ định trong LaTeX (\neg)

Dùng ở đâu

Dấu phủ định logic, một móc hình chữ L đặt trước công thức với nghĩa “không”.

Trong logic, viết \neg p cho “không p”, và \neg\neg p \equiv p trong logic cổ điển; \lnot là bí danh hoàn toàn tương đương. Một số tài liệu dùng \sim p, gạch ngang trên \bar{p} hoặc p' thay thế, nhất là trong đại số Boole và mạch số. \neg là ký hiệu thường, nên không có khoảng trắng giữa nó và toán hạng, đó đúng là hình thức mong muốn. Các luật De Morgan, \neg(p \land q) \equiv \neg p \lor \neg q, là một công thức hiển thị điển hình. Trong ngữ cảnh lập trình, cả ! lẫn \lnot đều được dùng.

Cũng có trong: Đại số Boole, Khoa học máy tính

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}
\begin{document}
Negation: $\neg$

\[ \neg (p \land q) \equiv \neg p \lor \neg q \]
\end{document}

Ký hiệu liên quan

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

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

Làm thế nào để viết Phép phủ định trong LaTeX?

Gõ \neg trong chế độ toán, ví dụ $\neg (p \land q) \equiv \neg p \lor \neg q$. Lệnh dùng được trong LaTeX chuẩn mà không cần nạp gói nào.

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

Không cần gói nào. \neg thuộc LaTeX chuẩn, nên chỉ cần lớp tài liệu trong phần mở đầu là biên dịch được.

Có thể dùng \neg 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 $\neg$. 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ự đó).