Toán tử luôn luôn (hình vuông thời gian) trong LaTeX (\Box p)

Dùng ở đâu

"Luôn luôn" theo nghĩa thời gian: \Box p nói rằng p đúng ở hiện tại và ở mọi thời điểm tương lai của lần chạy.

Trong logic thời gian tuyến tính, \Box thường được viết là G (toàn cục), và các tính chất an toàn có dạng \Box\neg\mathit{bad}. Nó là đối ngẫu của toán tử cuối cùng, \Box p \leftrightarrow \neg\Diamond\neg p, và \Box\Diamond p biểu thị rằng p xảy ra vô hạn lần. Cùng hình vuông này là tính tất yếu trong logic tình thái chân lý, nên hãy nói rõ cách đọc nào được áp dụng. \Box và \square cho hai hình vuông gần như giống hệt; \Box là toán tử tình thái theo quy ước và khoảng trắng trước p không được tự động thêm vào. CTL đặt trước nó một lượng từ đường đi, như trong AG 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}
Always (temporal box): $\Box p$

\[ \Box(\mathit{req} \to \Diamond \mathit{grant}) \]
\end{document}

Ký hiệu liên quan

• Toán tử cuối cùng (hình thoi thời gian)\Diamond p
• Tri thức chungC_G p
• Toán tử cho đến khip \mathcal{U} q
• Toán tử niềm tinB_a p
• Toán tử kế tiếp\bigcirc p
• 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ử luôn luôn (hình vuông thời gian) trong LaTeX?

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

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

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