Complemento em LaTeX (A')

Onde é usado

Uma linha após uma variável ou conjunto, notação compacta para o complemento ou a negação booleana de A.

Cursos de teoria dos conjuntos costumam escrever A' para o complemento U \setminus A, e alguns livros de projeto lógico escrevem A' em vez de \overline{A} porque cabe numa linha e é fácil de digitar. No modo matemático, o apóstrofo vira automaticamente um expoente \prime, então A'' dá uma linha dupla com o espaçamento correto. O perigo é a ambiguidade: A' também denota derivadas, conjuntos derivados em topologia e espaços duais. Alternativas incluem A^c e A^{\complement}. Qualquer que seja a escolha, defina-a uma vez perto do início do documento.

Exemplo mínimo compilável

Cole isto em um arquivo .tex vazio e compile com pdfLaTeX, XeLaTeX ou LuaLaTeX.

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

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

Símbolos relacionados

• Lei de De Morgan\overline{A \cdot B} = \overline{A} + \overline{B}
• NÃO booleano\overline{A}
• OU booleanoA + B
• E booleanoA \cdot B
• Contradição (falsum)\bot
• Tautologia (verum)\top

Perguntas frequentes

Como escrever Complemento em LaTeX?

Digite A' no modo matemático, por exemplo $(A \cup B)' = A' \cap B'$. Funciona no LaTeX padrão sem carregar nenhum pacote.

Qual pacote é necessário para A'?

Nenhum. A' faz parte do LaTeX padrão, então compila só com a classe do documento no preâmbulo.

Posso usar A' no modo texto ou só no modo matemático?

Nos dois. A' compila no texto corrido e dentro de $...$; em uma fórmula, mantenha-o no modo matemático para que use as fontes e o espaçamento matemáticos.