Phủ định tính tất yếu trong LaTeX (\neg\Box)

Dùng ở đâu

Phủ định của tính tất yếu: \neg\Box p nói rằng p không tất yếu, tương đương với \Diamond\neg p.

Tính đối ngẫu \neg\Box p \leftrightarrow \Diamond\neg p cho phép đẩy phép phủ định vào trong, tương tự trong logic tình thái của các luật De Morgan cho lượng từ. Về ngữ nghĩa, nó đúng tại một thế giới khi có một thế giới khả truy nào đó làm p sai. \neg là một ký hiệu thông thường, nên \neg\Box p được viết sát nhau; bạn có thể viết \lnot nếu thích, đó là một bí danh. Không có lệnh đơn chuẩn nào cho hình vuông bị gạch, và một ký tự ghép sẽ gây khó hiểu cho người đọc, nên hãy giữ dạng hai ký hiệu. Theo cách đọc tri thức, \neg K_a p nói rằng tác tử không biết p, điều này yếu hơn việc biết \neg p.

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 Necessary: $\neg\Box$

\[ \neg \Box p \leftrightarrow \Diamond \neg p \]
\end{document}

Ký hiệu liên quan

• Phủ định tính khả năng\neg\Diamond
• Toán tử khả năng\Diamond
• Phép kéo theo tất yếu\Box(p \to q)
• Toán tử d'Alembert\Box
• Phép hội khả năng\Diamond(p \land q)
• Toán tử tri thứcK_a p

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

Làm thế nào để viết Phủ định tính tất yếu trong LaTeX?

Gõ \neg\Box trong chế độ toán, ví dụ $\neg \Box p \leftrightarrow \Diamond \neg p$. Trước hết hãy nạp amssymb bằng \usepackage{amssymb}.

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

\neg\Box 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 \neg\Box 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\Box$.