Thế giới khả hữu trong LaTeX (w)

Dùng ở đâu

Một thế giới khả hữu: một điểm trong khung Kripke, tại đó các công thức được đánh giá là đúng hay sai.

Các thế giới được lấy từ một tập W, và một khung là cặp (W, R) với một quan hệ khả truy. Tùy theo logic, một thế giới có thể đại diện cho một trạng thái của chương trình, một thời điểm, hoặc một khả năng nhận thức. Theo quy ước, dùng các chữ thường w, v, u cho thế giới và w_0 cho thế giới thực. Vì một chữ w nghiêng trần rất phổ biến, hãy giới thiệu nó một cách tường minh, và ưu tiên viết w \in W trong công thức đầu tiên để định hướng cách đọ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}
Possible World: $w$

\[ w \in W,\quad \mathcal{M}, w \models p \]
\end{document}

Ký hiệu liên quan

• Toán tử bắt buộc (nghĩa vụ)O p
• Mô hình Kripke\mathcal{M}, w \models p
• Toán tử cho phép (nghĩa vụ)P 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 Thế giới khả hữu trong LaTeX?

Gõ w trong chế độ toán, ví dụ $w \in W,\quad \mathcal{M}, w \models 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 w?

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

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