Modelo de Kripke em LaTeX (\mathcal{M}, w \models p)

Onde é usado

Satisfação em um modelo de Kripke: a fórmula p é verdadeira no mundo w do modelo \mathcal{M}.

Um modelo de Kripke \mathcal{M} = (W, R, V) tem mundos, uma relação de acessibilidade e uma valoração, e a verdade é definida mundo a mundo; por exemplo, \mathcal{M}, w \models \Box p se e somente se p vale em todos os R-sucessores. \models é uma relação com o espaçamento correto; \vDash dá um glifo de duplo torniquete parecido, e suas negações são \not\models ou \nvDash. Não use \vdash, que significa derivabilidade, e não verdade. Quando o modelo está fixo, os autores abreviam para w \models p ou w \Vdash p.

Exemplo mínimo compilável

Cole isto em um arquivo .tex vazio e compile com pdfLaTeX, XeLaTeX ou 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}

Símbolos relacionados

• Mundo possívelw
• Relação de acessibilidadew R v
• Obrigação deônticaO p
• Operador próximo\bigcirc p
• Permissão deônticaP p
• Operador atép \mathcal{U} q

Perguntas frequentes

Como escrever Modelo de Kripke em LaTeX?

Digite \mathcal{M}, w \models p no modo matemático, por exemplo $\mathcal{M}, w \models \Box p \iff \forall v\,(wRv \Rightarrow v \models p)$. Funciona no LaTeX padrão sem carregar nenhum pacote.

Qual pacote é necessário para \mathcal{M}, w \models p?

Nenhum. \mathcal{M}, w \models p faz parte do LaTeX padrão, então compila só com a classe do documento no preâmbulo.

Posso usar \mathcal{M}, w \models p no modo texto ou só no modo matemático?

Só no modo matemático. Fora de $...$ o LaTeX para com "Missing $ inserted", então no texto escreva $\mathcal{M}, w \models p$.