Modello di Kripke in LaTeX (\mathcal{M}, w \models p)

Dove si usa

Soddisfacibilità in un modello di Kripke: la formula p è vera nel mondo w del modello \mathcal{M}.

Un modello di Kripke \mathcal{M} = (W, R, V) ha mondi, una relazione di accessibilità e una valutazione, e la verità è definita mondo per mondo, per esempio \mathcal{M}, w \models \Box p se e solo se p vale in tutti gli R-successori. \models è una relazione con la spaziatura corretta; \vDash dà un glifo a doppio tornello simile, e le sue negazioni sono \not\models o \nvDash. Non usate \vdash, che indica la derivabilità e non la verità. Quando il modello è fissato, gli autori abbreviano in w \models p o w \Vdash p.

Esempio minimo compilabile

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

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Kripke Model: $\mathcal{M}, w \models p$

\[ \mathcal{M}, w \models \Box p \iff \forall v\,(wRv \Rightarrow v \models p) \]
\end{document}

Simboli correlati

• Mondo possibilew
• Relazione di accessibilitàw R v
• Obbligo deonticoO p
• Operatore next\bigcirc p
• Permesso deonticoP p
• Operatore untilp \mathcal{U} q

Domande frequenti

Come si scrive Modello di Kripke in LaTeX?

Scrivi \mathcal{M}, w \models p in modalità matematica, per esempio $\mathcal{M}, w \models \Box p \iff \forall v\,(wRv \Rightarrow v \models p)$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per \mathcal{M}, w \models p?

Nessuno. \mathcal{M}, w \models p fa parte di LaTeX standard, quindi compila con la sola classe del documento nel preambolo.

Posso usare \mathcal{M}, w \models p in modalità testo o solo in modalità matematica?

Solo in modalità matematica. Fuori da $...$ LaTeX si ferma con "Missing $ inserted", quindi nel testo scrivi $\mathcal{M}, w \models p$.