Toán tử bắt buộc (nghĩa vụ) trong LaTeX (O p)

Dùng ở đâu

Nghĩa vụ trong logic nghĩa vụ: O p đọc là "lẽ ra phải p" hoặc "p là bắt buộc".

Logic nghĩa vụ chuẩn là logic tình thái chuẩn tắc KD, với tiên đề D, O p \to P p, nói rằng các nghĩa vụ là nhất quán, trong khi tiên đề chân lý O p \to p cố ý không đúng. Các câu đố nghĩa vụ trái bổn phận như nghịch lý Chisholm cho thấy giới hạn của nó và dẫn đến nghĩa vụ hai ngôi O(p \mid q). Trong chế độ toán, O p được viết thành Op không có khoảng trắng, nên hãy viết O\,p hoặc dùng chữ đứng \mathbf{O} hay \mathsf{O} để tránh bị đọc thành ký hiệu O lớn.

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}
Deontic Ought: $O p$

\[ \mathsf{O}\,p \to \mathsf{P}\,p \]
\end{document}

Ký hiệu liên quan

• Toán tử cho phép (nghĩa vụ)P p
• Thế giới khả hữuw
• Mô hình Kripke\mathcal{M}, w \models p
• Quan hệ khả truyw R v
• Toán tử kế tiếp\bigcirc p
• Toán tử cho đến khip \mathcal{U} q

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

Làm thế nào để viết Toán tử bắt buộc (nghĩa vụ) trong LaTeX?

Gõ O p trong chế độ toán, ví dụ $\mathsf{O}\,p \to \mathsf{P}\,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 O p?

Không cần gói nào. O 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 O p trong chế độ văn bản không, hay chỉ trong chế độ toán?

Cả hai. O p biên dịch được trong văn bản lẫn bên trong $...$; trong công thức hãy để nó ở chế độ toán để dùng phông chữ và khoảng cách toán học.