Imposibilidad en LaTeX (\neg\Diamond)

Dónde se usa

Posibilidad negada: \neg\Diamond p dice que p es imposible, lo que equivale a \Box\neg p.

La imposibilidad es la necesidad de la negación, \neg\Diamond p \leftrightarrow \Box\neg p, y se cumple en un mundo cuando ningún mundo accesible satisface p. Una contradicción es imposible en toda lógica modal normal, \neg\Diamond\bot. Las lecturas epistémicas dicen que un agente considera p descartado. El comando \neg puede sustituirse por \lnot con un resultado idéntico. Evita improvisar un rombo tachado con \not\Diamond, que está pensado para relaciones y coloca mal la barra. Llevar la negación hacia dentro, \Diamond\neg p, significa algo distinto: p podría no cumplirse.

Ejemplo mínimo compilable

Pégalo en un archivo .tex vacío y compílalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Not Possible: $\neg\Diamond$

\[ \neg \Diamond p \leftrightarrow \Box \neg p \]
\end{document}

Símbolos relacionados

• Implicación necesaria\Box(p \to q)
• Negación de la necesidad\neg\Box
• Conjunción posible\Diamond(p \land q)
• Operador de posibilidad\Diamond
• Operador de conocimientoK_a p
• Operador de d'Alembert (dalembertiano)\Box

Preguntas frecuentes

¿Cómo escribo Imposibilidad en LaTeX?

Escribe \neg\Diamond en modo matemático, por ejemplo $\neg \Diamond p \leftrightarrow \Box \neg p$. Carga antes amssymb con \usepackage{amssymb}.

¿Qué paquete necesito para \neg\Diamond?

\neg\Diamond necesita amssymb: añade \usepackage{amssymb} al preámbulo antes de que empiece el documento.

¿Puedo usar \neg\Diamond en modo texto o solo en modo matemático?

Solo en modo matemático. Fuera de $...$ LaTeX se detiene con "Missing $ inserted", así que en el texto escribe $\neg\Diamond$.