Negación en LaTeX (\neg)

Dónde se usa

Signo de negación lógica, un gancho en forma de L que se coloca delante de una fórmula para expresar «no».

En lógica se escribe \neg p para «no p», y en lógica clásica \neg\neg p \equiv p; \lnot es un alias exacto. Algunos textos usan en su lugar \sim p, una barra superior \bar{p} o p', sobre todo en álgebra de Boole y en circuitos digitales. \neg es un símbolo ordinario, así que no aparece espacio entre él y su operando, que es el aspecto deseado. Las leyes de De Morgan, \neg(p \land q) \equiv \neg p \lor \neg q, son una fórmula destacada típica. En contextos de programación se ven tanto ! como \lnot.

También aparece en: Álgebra Booleana, Ciencias de la Computación

Ejemplo mínimo compilable

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

\documentclass{article}
\begin{document}
Negation: $\neg$

\[ \neg (p \land q) \equiv \neg p \lor \neg q \]
\end{document}

Símbolos relacionados

• Conjunción lógica\land
• Cuantificador existencial negado\nexists
• Disyunción lógica\lor
• Cuantificador existencial\exists
• Flecha doble a la derecha\Rightarrow
• Cuantificador universal\forall

Preguntas frecuentes

¿Cómo escribo Negación en LaTeX?

Escribe \neg en modo matemático, por ejemplo $\neg (p \land q) \equiv \neg p \lor \neg q$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para \neg?

Ninguno. \neg forma parte de LaTeX estándar, así que compila solo con la clase de documento en el preámbulo.

¿Puedo usar \neg 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$. Si solo necesitas el glifo en el texto, pega el carácter Unicode ¬ (con XeLaTeX o LuaLaTeX y una fuente que lo tenga).