Phép hội khả năng trong LaTeX (\Diamond(p \land q))

Dùng ở đâu

Phép hội khả năng: \Diamond(p \land q) nói rằng có một thế giới khả truy trong đó p và q cùng đúng.

Nó kéo theo \Diamond p \land \Diamond q, nhưng chiều ngược lại không đúng, vì p và q có thể khả năng ở những thế giới khác nhau; sự bất đối xứng này là một điểm thi cử kinh điển. Đối ngẫu của nó là \Box(\neg p \lor \neg q). \land và \wedge cho cùng một ký hiệu; \land dễ đọc hơn trong các bài báo logic. Hãy giữ dấu ngoặc đơn, vì \Diamond p \land q được phân tích thành (\Diamond p) \land q. Theo ngữ nghĩa Kripke, một thế giới chứng kiến duy nhất phải thỏa mãn cả hai vế hội cùng lúc. Ví dụ, có thể trời mưa và có thể trời không mưa, nhưng trời vừa mưa vừa không mưa thì không thể.

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}
Possible Conjunction: $\Diamond(p \land q)$

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

Ký hiệu liên quan

• Toán tử tri thứcK_a p
• Phép kéo theo tất yếu\Box(p \to q)
• Toán tử niềm tinB_a p
• Phủ định tính khả năng\neg\Diamond
• Tri thức chungC_G p
• Phủ định tính tất yếu\neg\Box

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

Làm thế nào để viết Phép hội khả năng trong LaTeX?

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

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

\Diamond(p \land 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 \Diamond(p \land 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 $\Diamond(p \land q)$.