diff --git a/chapters/Logik/Aussagenlogik.tex b/chapters/Logik/Aussagenlogik.tex new file mode 100644 index 0000000..60ca602 --- /dev/null +++ b/chapters/Logik/Aussagenlogik.tex @@ -0,0 +1,15 @@ +\chapter{Aussagenlogik} +\label{aussagenlogik} + Im Folgenden werden nur ein paar zentrale Aspekte dargestellt. + Für weitere Informationen siehe Zusammenfassung KB Kapitel 1. + \section{Syntax} + \label{aussagenlogik: syntax} + \includegraphics[width = \textwidth]{syntax_aussagenlogik.png} + + \section{Operatoren} + \label{aussagenlogik: operatoren} + \includegraphics[width = \textwidth]{aussagenlogik.png} + + \section{Äquivalenzen} + \label{aussagenlogik: aequivalenzen} + \includegraphics[width = \textwidth]{aussagenlogik_äquivalenzen.png} \ No newline at end of file diff --git a/images/aussagenlogik.png b/images/aussagenlogik.png new file mode 100644 index 0000000..a79ed94 Binary files /dev/null and b/images/aussagenlogik.png differ diff --git a/images/aussagenlogik_äquivalenzen.png b/images/aussagenlogik_äquivalenzen.png new file mode 100644 index 0000000..158466e Binary files /dev/null and b/images/aussagenlogik_äquivalenzen.png differ diff --git a/images/syntax_aussagenlogik.png b/images/syntax_aussagenlogik.png new file mode 100644 index 0000000..70e6e90 Binary files /dev/null and b/images/syntax_aussagenlogik.png differ diff --git a/parts/Logik.tex b/parts/Logik.tex index 65df802..a7c58c9 100644 --- a/parts/Logik.tex +++ b/parts/Logik.tex @@ -2,4 +2,5 @@ \input{chapters/Logik/Einführung.tex} \input{chapters/Logik/Formen der Inferenz.tex} -\input{chapters/Logik/Logische Systeme.tex} \ No newline at end of file +\input{chapters/Logik/Logische Systeme.tex} +\input{chapters/Logik/Aussagenlogik.tex} \ No newline at end of file