Phủ định tính khả năng trong LaTeX (\neg\Diamond)

Dùng ở đâu

Phủ định của tính khả năng: \neg\Diamond p nói rằng p là bất khả, tương đương với \Box\neg p.

Tính bất khả là tính tất yếu của phủ định, \neg\Diamond p \leftrightarrow \Box\neg p, và nó đúng tại một thế giới khi không có thế giới khả truy nào thỏa mãn p. Một mâu thuẫn là bất khả trong mọi logic tình thái chuẩn tắc, \neg\Diamond\bot. Theo cách đọc tri thức, nó nói rằng tác tử coi p là đã bị loại trừ. Lệnh \neg có thể thay bằng \lnot với kết quả giống hệt. Tránh tự chế một hình thoi gạch chéo bằng \not\Diamond, vốn được thiết kế cho quan hệ và đặt dấu gạch không đẹp. Đưa phép phủ định vào trong, \Diamond\neg p, mang nghĩa khác: p có thể không xảy ra.

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 Possible: $\neg\Diamond$

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

Ký hiệu liên quan

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

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

Làm thế nào để viết Phủ định tính khả năng trong LaTeX?

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

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

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