Quan hệ khả truy trong LaTeX (w R v)

Dùng ở đâu

Quan hệ khả truy trong ngữ nghĩa Kripke: w R v nghĩa là thế giới v khả truy (được coi là có thể) từ thế giới w.

Các tính chất của R tương ứng với các tiên đề tình thái: phản xạ cho T (\Box p \to p), bắc cầu cho 4 (\Box p \to \Box\Box p), và một quan hệ tương đương cho S5. Để \Box p đúng tại w, p phải đúng ở mọi v với wRv. Gõ w R v, TeX coi R là một chữ cái thông thường và các khoảng trắng biến mất, cho ra wRv; hãy dùng w \mathrel{R} v để có khoảng cách quan hệ, hoặc định nghĩa một macro. Một số tác giả viết R(w, v) hoặc w \to v thay 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,amsmath}
\begin{document}
Accessibility: $w R v$

\[ w \mathrel{R} v \land v \models p \implies w \models \Diamond p \]
\end{document}

Ký hiệu liên quan

• Mô hình Kripke\mathcal{M}, w \models p
• Toán tử kế tiếp\bigcirc p
• Thế giới khả hữuw
• Toán tử cho đến khip \mathcal{U} q
• Toán tử bắt buộc (nghĩa vụ)O p
• Toán tử cuối cùng (hình thoi thời gian)\Diamond p

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

Làm thế nào để viết Quan hệ khả truy trong LaTeX?

Gõ w R v trong chế độ toán, ví dụ $w \mathrel{R} v \land v \models p \implies w \models \Diamond 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 R v?

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

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