Toán tử cho phép (nghĩa vụ) trong LaTeX (P p)

Dùng ở đâu

Sự cho phép trong logic nghĩa vụ: P p đọc là "p được phép", đối ngẫu của nghĩa vụ.

Sự cho phép được định nghĩa là P p \leftrightarrow \neg O\neg p, và sự cấm đoán là F p \leftrightarrow O\neg p. Trong logic nghĩa vụ chuẩn, mọi nghĩa vụ đều được phép, O p \to P p. Sự cho phép lựa chọn tự do, trong đó P(p \lor q) lẽ ra phải kéo theo P p, là một câu đố nổi tiếng mà hệ chuẩn không công nhận. Chữ P nghiêng xung đột với ký hiệu xác suất, nên nhiều tác giả dùng \mathsf{P} hoặc \mathbf{P}; hãy thêm \, sau nó để tách toán tử khỏi công thức.

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 Permitted: $P p$

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

Ký hiệu liên quan

• Toán tử bắt buộc (nghĩa vụ)O 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ử cho phép (nghĩa vụ) trong LaTeX?

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

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

Cả hai. P 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.