Toán tử niềm tin trong LaTeX (B_a p)

Dùng ở đâu

Toán tử niềm tin: B_a p đọc là "tác tử a tin rằng p", và khác với tri thức, niềm tin có thể sai.

Logic niềm tin thường dùng KD45: tính nhất quán B_a p \to \neg B_a\neg p và cả hai tiên đề nội quan, nhưng không có tiên đề chân lý, nên B_a p \to p không đúng. Mối liên hệ tri thức - niềm tin K_a p \to B_a p là một nguyên lý bắc cầu phổ biến. Các bài báo về xét lại niềm tin viết B_a(p \mid q) cho niềm tin có điều kiện. Cũng như với K_a, hãy cân nhắc dùng chữ đứng \mathsf{B} nếu chữ B nghiêng đã được dùng cho việc khác, và đừng nhầm nó với hình vuông \Box, toán tử tất yếu tổng quát.

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}
\begin{document}
Believes: $B_a p$

\[ B_a p \to \neg B_a \neg p \]
\end{document}

Ký hiệu liên quan

• Tri thức chungC_G p
• Toán tử tri thứcK_a p
• Toán tử luôn luôn (hình vuông thời gian)\Box p
• Phép hội khả năng\Diamond(p \land q)
• Toán tử cuối cùng (hình thoi thời gian)\Diamond p
• Phép kéo theo tất yếu\Box(p \to q)

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

Làm thế nào để viết Toán tử niềm tin trong LaTeX?

Gõ B_a p trong chế độ toán, ví dụ $B_a p \to \neg B_a \neg p$. Lệnh dùng được trong LaTeX chuẩn mà không cần nạp gói nào.

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

Không cần gói nào. B_a p thuộc LaTeX chuẩn, nên chỉ cần lớp tài liệu trong phần mở đầu là biên dịch được.

Có thể dùng B_a 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 $B_a p$.