Mondo possibile in LaTeX (w)

Dove si usa

Un mondo possibile: un punto di un frame di Kripke in cui le formule vengono valutate come vere o false.

I mondi sono presi da un insieme W, e un frame è la coppia (W, R) con una relazione di accessibilità. A seconda della logica, un mondo può rappresentare uno stato di un programma, un istante di tempo o un'alternativa epistemica. Per convenzione si usano le minuscole w, v, u per i mondi e w_0 per quello attuale. Poiché una w corsiva isolata è molto comune, introducetela esplicitamente, e preferite w \in W nella prima formula per fissarne la lettura.

Esempio minimo compilabile

Incollalo in un file .tex vuoto e compilalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

\documentclass{article}
\begin{document}
Possible World: $w$

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

Simboli correlati

• Obbligo deonticoO p
• Modello di Kripke\mathcal{M}, w \models p
• Permesso deonticoP p
• Relazione di accessibilitàw R v
• Operatore next\bigcirc p
• Operatore untilp \mathcal{U} q

Domande frequenti

Come si scrive Mondo possibile in LaTeX?

Scrivi w in modalità matematica, per esempio $w \in W,\quad \mathcal{M}, w \models p$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per w?

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

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

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