Phép kéo theo tất yếu trong LaTeX (\Box(p \to q))

Dùng ở đâu

Phép kéo theo được tất yếu hóa: \Box(p \to q) nói rằng trong mọi thế giới khả truy, p kéo theo q (phép kéo theo chặt).

Đây là tiền đề của tiên đề phân phối K, \Box(p \to q) \to (\Box p \to \Box q), có mặt trong mọi logic tình thái chuẩn tắc. C. I. Lewis đưa ra phép kéo theo chặt chính là công thức này, nên \Box(p \to q) thường được đọc là p kéo theo chặt q. \to và \rightarrow cho cùng một mũi tên; \implies là mũi tên dài với khoảng trắng rộng hơn, phù hợp cho suy luận ở tầng siêu ngôn ngữ hơn là cho các liên từ của ngôn ngữ đối tượng. Dấu ngoặc đơn là bắt buộc, vì \Box liên kết chặt hơn \to. Quy tắc tất yếu hóa cho phép suy ra \Box(p \to q) từ bất kỳ định lý p \to q nào.

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}
Necessary Implication: $\Box(p \to q)$

\[ \Box(p \to q) \to (\Box p \to \Box q) \]
\end{document}

Ký hiệu liên quan

• Phép hội khả năng\Diamond(p \land q)
• Phủ định tính khả năng\neg\Diamond
• Toán tử tri thứcK_a p
• Phủ định tính tất yếu\neg\Box
• Toán tử niềm tinB_a p
• Toán tử khả năng\Diamond

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

Làm thế nào để viết Phép kéo theo tất yếu trong LaTeX?

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

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

\Box(p \to q) 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 \to q) 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 \to q)$.