Toán tử khả năng trong LaTeX (\Diamond)

Dùng ở đâu

Toán tử khả năng: \Diamond p đọc là "có thể p", đúng tại một thế giới nếu p đúng ở một thế giới khả truy nào đó.

Nó là đối ngẫu của tính tất yếu, \Diamond p \leftrightarrow \neg\Box\neg p, và trong hệ T ta có p \to \Diamond p. Logic thời gian đọc nó là "cuối cùng", còn logic động viết \langle a \rangle p cho cùng ý tưởng. \Diamond là một ký hiệu thông thường cỡ lớn; \diamond là một toán tử hai ngôi nhỏ và \lozenge là một hình thoi hẹp, nên đừng đổi lẫn chúng. TeX coi \Diamond là ký hiệu thông thường, nên \Diamond p được viết liền không có khoảng hở; chỉ thêm \, nếu quy cách trình bày của bạn muốn có khoảng trắng.

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}
Possibly: $\Diamond$

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

Ký hiệu liên quan

• Phủ định tính tất yếu\neg\Box
• Toán tử d'Alembert\Box
• Phủ định tính khả năng\neg\Diamond
• Phép kéo theo tất yếu\Box(p \to q)
• 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 Toán tử khả năng trong LaTeX?

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

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

\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 \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 $\Diamond$. 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ự đó).