Negación de la necesidad en LaTeX (\neg\Box)

Dónde se usa

Necesidad negada: \neg\Box p dice que p no es necesario, lo que equivale a \Diamond\neg p.

La dualidad \neg\Box p \leftrightarrow \Diamond\neg p te permite desplazar las negaciones hacia dentro, el equivalente modal de las leyes de De Morgan para cuantificadores. Semánticamente se cumple en un mundo cuando algún mundo accesible hace falsa p. \neg es un símbolo ordinario, así que \neg\Box p se compone de forma compacta; escribe \lnot si lo prefieres, es un alias. No existe un comando estándar único para una caja tachada, y un glifo combinado confundiría a los lectores, así que mantén la forma de dos símbolos. En lecturas epistémicas, \neg K_a p dice que el agente no sabe p, lo cual es más débil que saber \neg p.

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 Necessary: $\neg\Box$

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

Símbolos relacionados

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

Preguntas frecuentes

¿Cómo escribo Negación de la necesidad en LaTeX?

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

¿Qué paquete necesito para \neg\Box?

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

¿Puedo usar \neg\Box 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\Box$.