|
|
@ -226,7 +226,7 @@ Jeder ist dazu aufgerufen, sich an der Entwicklung zu beteiligen! |
|
|
|
|
|
|
|
\begin{figure}[tbh] |
|
|
|
\centering |
|
|
|
\includegraphics[width=0.7\linewidth]{ressources/GrundoperationenAussagenlogik} |
|
|
|
\includegraphics[width=0.7\linewidth]{ressources/41_Grundoperationen_Aussagenlogik} |
|
|
|
\caption{Grundoperationen der Aussagenlogik} |
|
|
|
\label{fig:GrundoperationenAussagenlogik} |
|
|
|
\end{figure} |
|
|
@ -296,6 +296,22 @@ Jeder ist dazu aufgerufen, sich an der Entwicklung zu beteiligen! |
|
|
|
\ex Sei $ M := \{x_1, \dots, x_n\} $\\ |
|
|
|
$ |P(M)| = |P(B_M)| = 2^M $ |
|
|
|
|
|
|
|
\subsection{Boolesche Algebra} |
|
|
|
Gegeben sei $ R $, eine Relation auf dem kartesischen Produkt $ M \times N = \{x_1,\dots, x_n\} \times \{y_1, \dots, y_n\} $ |
|
|
|
\begin{figure}[tbh] |
|
|
|
\centering |
|
|
|
\includegraphics[width=0.8\linewidth]{ressources/46_Boolesche_Algebra_xi_R_yj} |
|
|
|
\caption{Die Relation $x_i R y_j$} |
|
|
|
\label{fig:Boolsche_Algebra} |
|
|
|
\end{figure} |
|
|
|
$ $\\\\ |
|
|
|
Falls $ M = N $ ist $ m = n $ |
|
|
|
\begin{itemize} |
|
|
|
\item für $ R $ reflexiv, ist $ b_{ij} = 1 $ |
|
|
|
\item für $ R $ symmetrisch, ist $ b_{ij} = b_{ji} $ |
|
|
|
\end{itemize} |
|
|
|
|
|
|
|
|
|
|
|
\section{Zahlen}\label{zahlen} |
|
|
|
\subsection{Natürliche Zahlen} |
|
|
|
\subsubsection{Peano-Axiome} |
|
|
|