Tautologia (verum) em LaTeX (\top)

Onde é usado

Símbolo de tachinha para baixo (top): o verum, a proposição sempre verdadeira, e o maior elemento de um reticulado.

Em lógica, \top é uma tautologia, o elemento neutro da conjunção (p \land \top \equiv p). Os reticulados e a teoria de domínios o usam para o elemento máximo, e a teoria de tipos para o tipo unitário. Também é muito usado como sobrescrito para a transposta de uma matriz, A^\top, como alternativa a A^T ou A^\intercal. \top é um símbolo comum. Não o confunda com a letra T, que fica na linha de base e tem outras proporções. Seu dual é \bot.

Também aparece em: Álgebra Booleana

Exemplo mínimo compilável

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

\documentclass{article}
\begin{document}
Tautology (verum, top): $\top$

\[ p \lor \neg p \equiv \top \]
\end{document}

Símbolos relacionados

• Quadrado\square
• Contradição (falsum)\bot
• Sinal de equivalência\equiv
• Sinal de “porque”\because
• Sinal de não equivalência\not\equiv
• Sinal de “portanto”\therefore

Perguntas frequentes

Como escrever Tautologia (verum) em LaTeX?

Digite \top no modo matemático, por exemplo $p \lor \neg p \equiv \top$. Funciona no LaTeX padrão sem carregar nenhum pacote.

Qual pacote é necessário para \top?

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

Posso usar \top no modo texto ou só no modo matemático?

Só no modo matemático. Fora de $...$ o LaTeX para com "Missing $ inserted", então no texto escreva $\top$. Se você só precisa do glifo no texto, cole o caractere Unicode ⊤ (com XeLaTeX ou LuaLaTeX e uma fonte que o tenha).