Complemento in LaTeX (A')

Dove si usa

Un apice dopo una variabile o un insieme: notazione compatta per il complemento o la negazione booleana di A.

I corsi di teoria degli insiemi scrivono spesso A' per il complemento U \setminus A, e alcuni libri di progettazione logica scrivono A' invece di \overline{A} perché sta su una riga ed è facile da digitare. In modalità matematica l'apostrofo diventa automaticamente un apice \prime, quindi A'' dà un doppio apice con la spaziatura corretta. Il rischio è l'ambiguità: A' indica anche le derivate, gli insiemi derivati in topologia e gli spazi duali. Le alternative includono A^c e A^{\complement}. Qualunque scegliate, definitela una volta vicino all'inizio del documento.

Esempio minimo compilabile

Incollalo in un file .tex vuoto e compilalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

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

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

Simboli correlati

• Legge di De Morgan\overline{A \cdot B} = \overline{A} + \overline{B}
• NOT booleano\overline{A}
• OR booleanoA + B
• AND booleanoA \cdot B
• Contraddizione (falsum, bottom)\bot
• Tautologia (verum, top)\top

Domande frequenti

Come si scrive Complemento in LaTeX?

Scrivi A' in modalità matematica, per esempio $(A \cup B)' = A' \cap B'$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per A'?

Nessuno. A' fa parte di LaTeX standard, quindi compila con la sola classe del documento nel preambolo.

Posso usare A' in modalità testo o solo in modalità matematica?

Entrambe. A' compila nel testo e dentro $...$; in una formula lascialo in modalità matematica, così usa i font e la spaziatura matematici.