Tautologie (Verum, Top) in LaTeX (\top)

Verwendung

Das Down-Tack-Symbol (Top): Verum, die stets wahre Aussage, und das größte Element eines Verbands.

In der Logik ist \top eine Tautologie, das neutrale Element der Konjunktion (p \land \top \equiv p). Verbände und Domänentheorie verwenden es für das größte Element, die Typentheorie für den Einheitstyp. Es ist außerdem als Exponent für die Transponierte einer Matrix verbreitet, A^\top, als Alternative zu A^T oder A^\intercal. \top ist ein gewöhnliches Symbol. Verwechseln Sie es nicht mit dem Buchstaben T, der auf der Grundlinie sitzt und andere Proportionen hat. Das duale Symbol ist \bot.

Auch aufgeführt unter: Boolesche Algebra

Minimales kompilierbares Beispiel

Fügen Sie dies in eine leere .tex-Datei ein und kompilieren Sie mit pdfLaTeX, XeLaTeX oder LuaLaTeX.

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

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

Verwandte Symbole

• Quadrat\square
• Widerspruch (Falsum, Bottom)\bot
• Identitätszeichen\equiv
• Begründungszeichen „weil“\because
• Zeichen für Nichtäquivalenz\not\equiv
• Folgerungszeichen „also“\therefore

Häufige Fragen

Wie schreibe ich Tautologie (Verum, Top) in LaTeX?

Schreiben Sie \top im Mathematikmodus, zum Beispiel $p \lor \neg p \equiv \top$. Es funktioniert in Standard-LaTeX, ohne ein Paket zu laden.

Welches Paket brauche ich für \top?

Keines. \top gehört zum Standardumfang von LaTeX und kompiliert ohne weitere Angaben in der Präambel außer der Dokumentklasse.

Kann ich \top im Textmodus verwenden oder nur im Mathematikmodus?

Nur im Mathematikmodus. Außerhalb von $...$ bricht LaTeX mit "Missing $ inserted" ab, schreiben Sie im Fließtext also $\top$. Wenn Sie nur das Zeichen im Text brauchen, fügen Sie stattdessen das Unicode-Zeichen ⊤ ein (mit XeLaTeX oder LuaLaTeX und einer Schrift, die es enthält).