Eine (zweistellige) Relation $R$ ist eine Teilmenge des kartesischen Produkts zweier Mengen $A$ und $B$.
\begin{quote}
$R \subseteq A\times B$
\end{quote}
\subsection{Äquivalenzrelation}
Eine Äquivalenzrelation ist eine zweistellige Relation auf einer Ausgangsmenge $M$ mit bestimmten Eigenschaften.
\begin{quote}
$R \subseteq M\times M$
\end{quote}
\begin{cookbox}{Eigenschaften}
\item\textbf{Reflexivität}
Jedes Element der Ausgangsmenge $M$ steht mit sich selbst in Beziehung.
\begin{quote}
Für alle $a \in M$ gilt $\left( a , a \right)\in R$
\end{quote}
\item\textbf{Symmetrie}
Zu jedem Paar $\left( a , b \right)$ ist auch die Umkehrung in $R$ enthalten.
\begin{quote}
Wenn $\left( a , b \right)\in R$, dann ist auch $\left( b , a \right)\in R$
\end{quote}
\item\textbf{Transitivität}
Stehen drei Elemente verkettet in Beziehung, dann stehen sie auch direkt in Beziehung.
\begin{quote}
Wenn $\left( a , b \right) , \left( b , c \right)\in R$ dann ist auch $\left(a , c \right)\in R$
\end{quote}
\end{cookbox}
\end{sectionbox}
% Aussagenlogik
@ -315,9 +261,6 @@ Das kartesische Produkt $A\times B$ (A kreuz B) ist die Menge aller geordneten P
$A \leftrightarrow B$& A genau dann, wenn B & Äquivalenz oder Bijunktion \\
$A \rightarrow B$& wenn A dann B & Implikation oder Subjunktion \\
\end{tablebox}
\end{sectionbox}
\begin{sectionbox}
\subsection{Regeln}
\begin{tablebox}{ll}
@ -345,13 +288,7 @@ Das kartesische Produkt $A\times B$ (A kreuz B) ist die Menge aller geordneten P
\ctrule
de Morganschen Regeln &$\neg\left( A \vee B \right)=\neg A \wedge\neg B$\\
&$\neg\left( A \wedge B \right)=\neg A \vee\neg B$\\
\end{tablebox}
\end{sectionbox}
% Manueller Spaltenumbruch
\begin{sectionbox}
\begin{tablebox}{ll}
\ctrule
Umwandeln &$A \wedge B =\neg\left( A \rightarrow\neg B \right)$\\
&$A \vee B =\neg A \rightarrow B $\\
&$A \rightarrow B =\neg A \vee B$\\
@ -364,16 +301,20 @@ Das kartesische Produkt $A\times B$ (A kreuz B) ist die Menge aller geordneten P
\end{tablebox}
\subsection{Beispiel}
Günter fragt Anna: "Libst du Peter, oder ist es nicht so, dass du Peter oder mich liebst?", darauf Antwortet Anna "Nein". \\
Günter fragt Anna: "Libst du Peter, oder ist es nicht so, dass du Peter oder mich liebst?", darauf Antwortet Anna "Nein".
Für die Aussage Anna liebt Peter setzen wir P und für Anna liebt Günther G. Die Frage lautet somit "Gilt P, oder gilt nicht P $\wedge$ G?". Formal bedeutet das:
\begin{quote}
$P \vee\neg\left( P \vee G \right)$\\
\end{quote}
\begin{equation}
P \vee\neg\left( P \vee G \right)
\end{equation}
Da Anna mit "Nein" Antwortet muss der ganze Block negativiert werden.
\begin{quote}
$\neg\left( P \vee\neg\left( P \vee G \right)\right)$\\
\end{quote}
\begin{equation}
\neg\left( P \vee\neg\left( P \vee G \right)\right) \\
\end{equation}
\end{sectionbox}
@ -441,25 +382,11 @@ Das kartesische Produkt $A\times B$ (A kreuz B) ist die Menge aller geordneten P
&={\left| z \right| }^{ n }\cdot\left( \cos{\left( n\cdot\varphi\right) } +\sin{\left( n\cdot\varphi\right) } i \right)
\end{align*}
\textbf{Wurzel}$\lbrace k \in\mathbb{N}\vert k =0$ bis $n-1\rbrace$
\textbf{Wurzel}$\lbrace k \in\mathbb{N}\vert k =0 bis n-1\rbrace$
\begin{align*}
\sqrt[n]{z}&= \sqrt[n]{ a+bi }\\
{ z }_{ k }&= \sqrt[n]{\vert z \vert}\cdot\left( \cos{\left( \cfrac{\varphi + k \cdot 360}{n}\right) } +\sin{\left( \cfrac{\varphi + k \cdot 360}{n}\right)} i \right)
\end{align*}
Es gibt immer $n$ Ergebnisse die in ${ z }_{ k }$ für $k=0$ bis $k= n-1$ berechnet werden.
\subsection{Formen}
\textbf{Kartesische Form:}
\begin{align*}
{ z }_{ 1 }\cdot{ z }_{ 2 }& = \left( a+bi \right) \cdot\left( c+di \right) \\
& = ac+adi+bci+bd{ i }^{ 2 }\\
\end{align*}
\textbf{Trigonometrische Form:}
\begin{align*}
{ z }_{ 1 }\cdot{ z }_{ 2 }& =\left| { z }_{ 1 }\right| \left( \cos{\left( {\varphi}_{ 1 }\right) } +\sin{\left( {\varphi}_{ 1 }\right) } i \right) \cdot\left| { z }_{ 2 }\right| \left( \cos{\left( {\varphi}_{ 2 }\right) }\cdot\sin{\left( {\varphi}_{ 2 }\right) } i \right) \\