Gleichmäßige Formatierung von Gleichungen in Align

Antwort erstellen


Diese Frage dient dazu, das automatisierte Versenden von Formularen durch Spam-Bots zu verhindern.
Smilies
:D :) :( :o :shock: :? 8) :lol: :-x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:
BBCode ist eingeschaltet
[img] ist eingeschaltet
[flash] ist ausgeschaltet
[url] ist eingeschaltet
Smilies sind eingeschaltet
Die letzten Beiträge des Themas

Ich habe die Datenschutzerklärung gelesen und bin damit einverstanden.

   

Wenn du eine Datei oder mehrere Dateien anhängen möchtest, gib die Details unten ein.

Ansicht erweitern Die letzten Beiträge des Themas: Gleichmäßige Formatierung von Gleichungen in Align

Re: Gleichmäßige Formatierung von Gleichungen in Align

von Pinsel » Mo 14. Jun 2021, 21:26

Danke für die schnelle Antwort. Beim nächstem Mal achte ich auf deine Hinweise.

Re: Gleichmäßige Formatierung von Gleichungen in Align

von Bartman » Mo 14. Jun 2021, 21:09

Sorge bitte für ein Minimalbeispiel und nutze das Angebot des Foreneditors, um Bilder an Deine Frage anzuhängen.

Vielleicht gibt es auch eine Herangehensweise, ohne ein weiteres Paket zu laden, aber meine Suche nach Lösungsmöglichkeiten führte mich zu dem Paket eqparbox.

\documentclass{article}
\usepackage{mathtools}
\usepackage{eqparbox}

\begin{document}
\begin{align}
    &\neg((\exists x . \mathrm{P}(x)) \rightarrow \neg (\forall y . \neg \mathrm{P}(y)))\\
    \stackrel{\textrm{\eqmakebox[a][c]{Implikation}}}{\equiv} 
    & \neg(\neg(\exists x . \mathrm{P}(x)) \vee \neg (\forall y . \neg \mathrm{P}(y)))\\
    \stackrel{\textrm{\eqmakebox[a][c]{De Morgan II}}}{\equiv} 
    & \neg\neg(\exists x . \mathrm{P}(x)) \land \neg\neg (\forall y . \neg \mathrm{P}(y))\\
    \stackrel{\textrm{\eqmakebox[a][c]{doppelte Negation}}}{\equiv} 
    & (\exists x . \mathrm{P}(x)) \land (\forall y . \neg \mathrm{P}(y))\\
\end{align}
\end{document}

Gleichmäßige Formatierung von Gleichungen in Align

von Pinsel » Mo 14. Jun 2021, 18:00

Hallo,

ich will hier, wie im Bild:

Gleichungen.png

die Gleichungen in align einmal an dem Äquivalenzzeichen formatieren und einmal am Anfang jeder Gleichung formatieren.

Bisher schaffe ich es leider nur, das Ganze am Anfang jeder Gleichung zu formatieren, wenn ich das & vor das Äquivalenzzeichen mache, dann kommt ein Fehler und wenn ich es noch vor dem überstellen von Implikation etc. mache dann formatiert er es anhand dieser Überstellungen und nicht am Äquivalenzzeichen. Kann mir jemand dabei behilflich sein? Vielen Dank im Voraus.

\begin{align}
    &\ \neg((\exists x . \mathrm{P}(x)) \rightarrow \neg (\forall y . \neg \mathrm{P}(y)))\\
    \stackrel{\textrm{Implikation}} \equiv &\ \neg(\neg(\exists x . \mathrm{P}(x)) \vee \neg (\forall y . \neg \mathrm{P}(y)))\\
    \stackrel{\textrm{De Morgan II}} \equiv &\ \neg\neg(\exists x . \mathrm{P}(x)) \land \neg\neg (\forall y . \neg \mathrm{P}(y))\\
    \stackrel{\textrm{doppelte Negation}} \equiv &\ (\exists x . \mathrm{P}(x)) \land (\forall y . \neg \mathrm{P}(y))\\
\end{align}

Ich hoffe ich habe mich verständlich ausgedrückt, ich bin noch ganz frisch hier :)

Nach oben