von Pinsel » Mo 14. Jun 2021, 18:00
Hallo,
ich will hier, wie im Bild:
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
Hallo,
ich will hier, wie im Bild:
[attachment=0]Gleichungen.png[/attachment]
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.
[code]\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*}[/code]
Ich hoffe ich habe mich verständlich ausgedrückt, ich bin noch ganz frisch hier :)