Complemento en LaTeX (A')

Dónde se usa

Una prima tras una variable o un conjunto, notación compacta para el complemento o la negación booleana de A.

Los cursos de teoría de conjuntos suelen escribir A' para el complemento U \setminus A, y algunos libros de diseño lógico escriben A' en lugar de \overline{A} porque cabe en una línea y es fácil de teclear. En modo matemático el apóstrofo se convierte automáticamente en un superíndice \prime, así que A'' da una prima doble con el espaciado correcto. El peligro es la ambigüedad: A' también denota derivadas, conjuntos derivados en topología y espacios duales. Las alternativas incluyen A^c y A^{\complement}. Elijas la que elijas, defínela una vez cerca del comienzo del documento.

Ejemplo mínimo compilable

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

\documentclass{article}
\begin{document}
Complement: $A'$

\[ (A \cup B)' = A' \cap B' \]
\end{document}

Símbolos relacionados

• Ley de De Morgan\overline{A \cdot B} = \overline{A} + \overline{B}
• Negación booleana (NOT)\overline{A}
• Disyunción booleana (OR)A + B
• Conjunción booleana (AND)A \cdot B
• Contradicción (falsum, mínimo)\bot
• Tautología (verum, máximo)\top

Preguntas frecuentes

¿Cómo escribo Complemento en LaTeX?

Escribe A' en modo matemático, por ejemplo $(A \cup B)' = A' \cap B'$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para A'?

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

¿Puedo usar A' en modo texto o solo en modo matemático?

En ambos. A' compila en el texto y dentro de $...$; en una fórmula déjalo en modo matemático para que use fuentes y espaciado matemáticos.