Relazione di accessibilità in LaTeX (w R v)

Dove si usa

Relazione di accessibilità nella semantica di Kripke: w R v significa che il mondo v è accessibile (considerato possibile) dal mondo w.

Le proprietà di R corrispondono agli assiomi modali: la riflessività dà T (\Box p \to p), la transitività dà 4 (\Box p \to \Box\Box p) e una relazione di equivalenza dà S5. La verità di \Box p in w richiede p in ogni v con wRv. Scritto come w R v, TeX tratta R come una lettera ordinaria e gli spazi scompaiono, producendo wRv; usate w \mathrel{R} v per la spaziatura da relazione, oppure definite una macro. Alcuni autori scrivono invece R(w, v) o w \to v.

Esempio minimo compilabile

Incollalo in un file .tex vuoto e compilalo con pdfLaTeX, XeLaTeX o 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}

Simboli correlati

• Modello di Kripke\mathcal{M}, w \models p
• Operatore next\bigcirc p
• Mondo possibilew
• Operatore untilp \mathcal{U} q
• Obbligo deonticoO p
• Operatore temporale "prima o poi"\Diamond p

Domande frequenti

Come si scrive Relazione di accessibilità in LaTeX?

Scrivi w R v in modalità matematica, per esempio $w \mathrel{R} v \land v \models p \implies w \models \Diamond p$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per w R v?

Nessuno. w R v fa parte di LaTeX standard, quindi compila con la sola classe del documento nel preambolo.

Posso usare w R v in modalità testo o solo in modalità matematica?

Entrambe. w R v compila nel testo e dentro $...$; in una formula lascialo in modalità matematica, così usa i font e la spaziatura matematici.