Unmöglichkeit in LaTeX (\neg\Diamond)

Verwendung

Negierte Möglichkeit: \neg\Diamond p besagt, dass p unmöglich ist, äquivalent zu \Box\neg p.

Unmöglichkeit ist die Notwendigkeit der Negation, \neg\Diamond p \leftrightarrow \Box\neg p, und sie gilt in einer Welt, wenn keine erreichbare Welt p erfüllt. Ein Widerspruch ist in jeder normalen Modallogik unmöglich, \neg\Diamond\bot. Epistemische Lesarten besagen, dass ein Agent p für ausgeschlossen hält. Der Befehl \neg lässt sich mit identischer Ausgabe durch \lnot ersetzen. Vermeiden Sie eine improvisierte durchgestrichene Raute mit \not\Diamond, das für Relationen gedacht ist und den Strich schlecht platziert. Steht die Negation innen, \Diamond\neg p, bedeutet das etwas anderes: p könnte nicht gelten.

Minimales kompilierbares Beispiel

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

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Not Possible: $\neg\Diamond$

\[ \neg \Diamond p \leftrightarrow \Box \neg p \]
\end{document}

Verwandte Symbole

• Strikte Implikation\Box(p \to q)
• Negierte Notwendigkeit\neg\Box
• Mögliche Konjunktion\Diamond(p \land q)
• Möglichkeitsoperator\Diamond
• WissensoperatorK_a p
• D'Alembert-Operator\Box

Häufige Fragen

Wie schreibe ich Unmöglichkeit in LaTeX?

Schreiben Sie \neg\Diamond im Mathematikmodus, zum Beispiel $\neg \Diamond p \leftrightarrow \Box \neg p$. Laden Sie zuerst amssymb mit \usepackage{amssymb}.

Welches Paket brauche ich für \neg\Diamond?

\neg\Diamond benötigt amssymb: Fügen Sie \usepackage{amssymb} in die Präambel ein, bevor das Dokument beginnt.

Kann ich \neg\Diamond 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 $\neg\Diamond$.