Tautologia (verum, top) in LaTeX (\top)

Dove si usa

Simbolo di T (top): il verum, la proposizione sempre vera, e l'elemento massimo di un reticolo.

In logica \top è una tautologia, l'elemento neutro della congiunzione (p \land \top \equiv p). Reticoli e teoria dei domini lo usano per l'elemento massimo, la teoria dei tipi per il tipo unità. È molto usato anche come apice per la trasposta di una matrice, A^\top, in alternativa ad A^T o A^\intercal. \top è un simbolo ordinario. Non va confuso con la lettera T, che poggia sulla linea di base e ha proporzioni diverse. Il suo duale è \bot.

Compare anche in: Algebra booleana

Esempio minimo compilabile

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

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

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

Simboli correlati

• Quadrato\square
• Contraddizione (falsum, bottom)\bot
• Equivalenza\equiv
• Simbolo “poiché”\because
• Simbolo di non equivalenza\not\equiv
• Simbolo “quindi”\therefore

Domande frequenti

Come si scrive Tautologia (verum, top) in LaTeX?

Scrivi \top in modalità matematica, per esempio $p \lor \neg p \equiv \top$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per \top?

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

Posso usare \top in modalità testo o solo in modalità matematica?

Solo in modalità matematica. Fuori da $...$ LaTeX si ferma con "Missing $ inserted", quindi nel testo scrivi $\top$. Se ti serve solo il glifo nel testo, incolla invece il carattere Unicode ⊤ (con XeLaTeX o LuaLaTeX e un font che lo contenga).