diff --git a/Band1/MaIng01.md b/Band1/MaIng01.md
index 1263dc5..c066e3c 100644
--- a/Band1/MaIng01.md
+++ b/Band1/MaIng01.md
@@ -115,37 +115,40 @@ Können wir die Objekte, die zur Menge gehören und *Elemente* der Menge heißen
 
 $$M=\{x \mid E\}.$$
 
-<!--<!--<!--<!--<!--<!--<!--<!--<!--<!--<!--<!--<!--<!--<!--<!--<!--<!--<!--<!--%-->-->-->-->-->-->-->-->-->-->-->-->-->-->-->-->-->-->-->-->
+Wir lesen dieses Symbol folgendermaßen: „$M$ ist die Menge aller Elemente $x$, die Eigenschaft $E$ besitzen“. Die oben erklärte Menge $A_1$ ist in dieser Schreibweise formuliert $A_1=\{p \mid p \text{ ist eine Aussage }\}$. Die Menge $M_1$ kann mit Hilfe dieser Symbol als
+
+	$M_1=\{x \mid x, \text { natürliche Zahl und } 2<x<10\}$
+
+geschrieben werden.
+Schließlich sei bereits an dieser Stelle der Begriff der Teilmenge erklärt.
+Die Menge $A$ heißt Teilmenge der Menge $B$, wenn jedes Element der Menge $A$ auch Element der Menge $B$ ist. Wir schreiben in diesem Fall: $A \subseteq B$.
+
+**Zum Beispiel**
+$\{3,4,5\} \subseteqq M_1=\{3,4, \ldots, 9\},$
+
+aber
+
+$\{2,9\}$ ist keine Teilmenge von $M_1$.
+
+Dieser Vorgriff auf Grundbegriffe der Mengenlehre gestattet es uns, nachfolgend gewisse Sachverhalte besser zu formulieren.
+
+Bei unseren weiteren Betrachtungen wollen wir uns auf eine wichtige Teilmenge von $A_1$ beschränken.
+
+##### Definition 3.1
+Die Aussage $p$ heißt **zweiwertige Aussage**, wenn $p$ entweder wahr oder falsch ist.
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
-Wir lesen dieses Symbol folgendermaßen: "\`M ist die Menge aller Elemente $x$, die Eigenschaft $E$ besitzen"'. Die oben erklärte Menge $A\_1$ ist in dieser Schreibweise formuliert $A\_1=\\{p \\mid p \\text{ ist eine Aussage }\\}$. Die Menge $M\_1$ kann mit Hilfe dieser Symbol als
 
-\\einrueckungm{35}{$
-	M\_1=\\{x \\mid x, \\text { natürliche Zahl und } 2\<x\<10\\}$}
 
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
-geschrieben werden.
-Schließlich sei bereits an dieser Stelle der Begriff der Teilmenge erklärt.
-Die Menge $A$ heißt Teilmenge der Menge $B$, wenn jedes Element der Menge $A$ auch Element der Menge $B$ ist. Wir schreiben in diesem Fall: $A \\subseteq B$.
 
 
-Zum Beispiel
-\\einrueckungm{35}{$
-	\\{3,4,5\\} \\subseteqq M\_1=\\{3,4, \\ldots, 9\\},$}
-
-aber
-
-\\einrueckungm{35}{
-	$\\{2,9\\}$ ist keine Teilmenge von $M\_1$.}
 
 
-Dieser Vorgriff auf Grundbegriffe der Mengenlehre gestattet es uns, nachfolgend gewisse Sachverhalte besser zu formulieren.
 
-Bei unseren weiteren Betrachtungen wollen wir uns auf eine wichtige Teilmenge von $A\_1$ beschränken.
-
-
-\\begin{definition}\\label{D.3.1}Die Aussage $p$ heißt \\marginpar[\\textbf{D.3.1}]{\\textbf{D.3.1}}\\textbf{zweiwertige Aussage}, wenn $p$ entweder wahr oder falsch ist.\\end{definition}
 
 Entsprechend $A\_1$ bilden wir die Menge der zweiwertigen Aussagen $A\_2$: 
 
diff --git a/Band1/Band 1.pdf b/Band1/Vorlage/Band 1.pdf
similarity index 100%
rename from Band1/Band 1.pdf
rename to Band1/Vorlage/Band 1.pdf
diff --git a/Band1/Vorlage/Band 1_149.pdf b/Band1/Vorlage/Band 1_149.pdf
new file mode 100644
index 0000000..d319c58
Binary files /dev/null and b/Band1/Vorlage/Band 1_149.pdf differ
diff --git a/Band1/Vorlage/Band 1_150.pdf b/Band1/Vorlage/Band 1_150.pdf
new file mode 100644
index 0000000..0103bd9
Binary files /dev/null and b/Band1/Vorlage/Band 1_150.pdf differ
diff --git a/Band1/Vorlage/Band 1_151.pdf b/Band1/Vorlage/Band 1_151.pdf
new file mode 100644
index 0000000..2f72b20
Binary files /dev/null and b/Band1/Vorlage/Band 1_151.pdf differ
diff --git a/Band1/Vorlage/Band 1_152.pdf b/Band1/Vorlage/Band 1_152.pdf
new file mode 100644
index 0000000..122a1a3
Binary files /dev/null and b/Band1/Vorlage/Band 1_152.pdf differ
diff --git a/Band1/Vorlage/Band 1_153.pdf b/Band1/Vorlage/Band 1_153.pdf
new file mode 100644
index 0000000..a11d836
Binary files /dev/null and b/Band1/Vorlage/Band 1_153.pdf differ
diff --git a/Band1/Vorlage/Band 1_154.pdf b/Band1/Vorlage/Band 1_154.pdf
new file mode 100644
index 0000000..912e0f0
Binary files /dev/null and b/Band1/Vorlage/Band 1_154.pdf differ
diff --git a/Band1/Vorlage/Band 1_155.pdf b/Band1/Vorlage/Band 1_155.pdf
new file mode 100644
index 0000000..398a715
Binary files /dev/null and b/Band1/Vorlage/Band 1_155.pdf differ
diff --git a/Band1/Vorlage/Band 1_156.pdf b/Band1/Vorlage/Band 1_156.pdf
new file mode 100644
index 0000000..05445b4
Binary files /dev/null and b/Band1/Vorlage/Band 1_156.pdf differ
diff --git a/Band1/Vorlage/Band 1_157.pdf b/Band1/Vorlage/Band 1_157.pdf
new file mode 100644
index 0000000..988b2e7
Binary files /dev/null and b/Band1/Vorlage/Band 1_157.pdf differ
diff --git a/Band1/Vorlage/Band 1_158.pdf b/Band1/Vorlage/Band 1_158.pdf
new file mode 100644
index 0000000..06f1840
Binary files /dev/null and b/Band1/Vorlage/Band 1_158.pdf differ
diff --git a/Band1/Vorlage/Band 1_159.pdf b/Band1/Vorlage/Band 1_159.pdf
new file mode 100644
index 0000000..997eb34
Binary files /dev/null and b/Band1/Vorlage/Band 1_159.pdf differ
diff --git a/Band1/Vorlage/Band 1_160.pdf b/Band1/Vorlage/Band 1_160.pdf
new file mode 100644
index 0000000..e1720af
Binary files /dev/null and b/Band1/Vorlage/Band 1_160.pdf differ
diff --git a/Band1/Vorlage/Band 1_161.pdf b/Band1/Vorlage/Band 1_161.pdf
new file mode 100644
index 0000000..906c141
Binary files /dev/null and b/Band1/Vorlage/Band 1_161.pdf differ
diff --git a/Band1/Vorlage/Band 1_162.pdf b/Band1/Vorlage/Band 1_162.pdf
new file mode 100644
index 0000000..1e04d3b
Binary files /dev/null and b/Band1/Vorlage/Band 1_162.pdf differ
diff --git a/Band1/Vorlage/Band 1_163.pdf b/Band1/Vorlage/Band 1_163.pdf
new file mode 100644
index 0000000..c6783a3
Binary files /dev/null and b/Band1/Vorlage/Band 1_163.pdf differ
diff --git a/Band1/Vorlage/Band 1_164.pdf b/Band1/Vorlage/Band 1_164.pdf
new file mode 100644
index 0000000..244bb0d
Binary files /dev/null and b/Band1/Vorlage/Band 1_164.pdf differ
diff --git a/Band1/Vorlage/Band 1_165.pdf b/Band1/Vorlage/Band 1_165.pdf
new file mode 100644
index 0000000..7adf065
Binary files /dev/null and b/Band1/Vorlage/Band 1_165.pdf differ
diff --git a/Band1/Vorlage/Band 1_166.pdf b/Band1/Vorlage/Band 1_166.pdf
new file mode 100644
index 0000000..e58d019
Binary files /dev/null and b/Band1/Vorlage/Band 1_166.pdf differ
diff --git a/Band1/Vorlage/Band 1_167.pdf b/Band1/Vorlage/Band 1_167.pdf
new file mode 100644
index 0000000..ee74fdc
Binary files /dev/null and b/Band1/Vorlage/Band 1_167.pdf differ
diff --git a/Band1/Vorlage/Band 1_168.pdf b/Band1/Vorlage/Band 1_168.pdf
new file mode 100644
index 0000000..69868a6
Binary files /dev/null and b/Band1/Vorlage/Band 1_168.pdf differ
diff --git a/Band1/Vorlage/Band 1_169.pdf b/Band1/Vorlage/Band 1_169.pdf
new file mode 100644
index 0000000..b0851b7
Binary files /dev/null and b/Band1/Vorlage/Band 1_169.pdf differ
diff --git a/Band1/Vorlage/Band 1_170.pdf b/Band1/Vorlage/Band 1_170.pdf
new file mode 100644
index 0000000..ce37023
Binary files /dev/null and b/Band1/Vorlage/Band 1_170.pdf differ
diff --git a/Band1/Vorlage/Band 1_171.pdf b/Band1/Vorlage/Band 1_171.pdf
new file mode 100644
index 0000000..19cf5e4
Binary files /dev/null and b/Band1/Vorlage/Band 1_171.pdf differ
diff --git a/Band1/Vorlage/Band 1_172.pdf b/Band1/Vorlage/Band 1_172.pdf
new file mode 100644
index 0000000..0fd1da0
Binary files /dev/null and b/Band1/Vorlage/Band 1_172.pdf differ
diff --git a/Band1/Vorlage/Band 1_173.pdf b/Band1/Vorlage/Band 1_173.pdf
new file mode 100644
index 0000000..607a362
Binary files /dev/null and b/Band1/Vorlage/Band 1_173.pdf differ
diff --git a/Band1/Vorlage/Band 1_174.pdf b/Band1/Vorlage/Band 1_174.pdf
new file mode 100644
index 0000000..d8b937b
Binary files /dev/null and b/Band1/Vorlage/Band 1_174.pdf differ
diff --git a/Band1/Vorlage/Band 1_175.pdf b/Band1/Vorlage/Band 1_175.pdf
new file mode 100644
index 0000000..d999c87
Binary files /dev/null and b/Band1/Vorlage/Band 1_175.pdf differ
diff --git a/Band1/Vorlage/Band 1_176.pdf b/Band1/Vorlage/Band 1_176.pdf
new file mode 100644
index 0000000..043e706
Binary files /dev/null and b/Band1/Vorlage/Band 1_176.pdf differ
diff --git a/Band1/Vorlage/Band 1_177.pdf b/Band1/Vorlage/Band 1_177.pdf
new file mode 100644
index 0000000..de863e3
Binary files /dev/null and b/Band1/Vorlage/Band 1_177.pdf differ
diff --git a/Band1/Vorlage/Band 1_178.pdf b/Band1/Vorlage/Band 1_178.pdf
new file mode 100644
index 0000000..180fc03
Binary files /dev/null and b/Band1/Vorlage/Band 1_178.pdf differ
diff --git a/Band1/Vorlage/Band 1_179.pdf b/Band1/Vorlage/Band 1_179.pdf
new file mode 100644
index 0000000..6d81352
Binary files /dev/null and b/Band1/Vorlage/Band 1_179.pdf differ
diff --git a/Band1/Vorlage/Band 1_180.pdf b/Band1/Vorlage/Band 1_180.pdf
new file mode 100644
index 0000000..fe46efd
Binary files /dev/null and b/Band1/Vorlage/Band 1_180.pdf differ
diff --git a/Band1/Vorlage/Band 1_181.pdf b/Band1/Vorlage/Band 1_181.pdf
new file mode 100644
index 0000000..96a96e0
Binary files /dev/null and b/Band1/Vorlage/Band 1_181.pdf differ
diff --git a/Band1/Vorlage/Band 1_182.pdf b/Band1/Vorlage/Band 1_182.pdf
new file mode 100644
index 0000000..1975f1c
Binary files /dev/null and b/Band1/Vorlage/Band 1_182.pdf differ
diff --git a/Band1/Vorlage/Band 1_183.pdf b/Band1/Vorlage/Band 1_183.pdf
new file mode 100644
index 0000000..5969d01
Binary files /dev/null and b/Band1/Vorlage/Band 1_183.pdf differ
diff --git a/Band1/Vorlage/Band 1_184.pdf b/Band1/Vorlage/Band 1_184.pdf
new file mode 100644
index 0000000..ac991ba
Binary files /dev/null and b/Band1/Vorlage/Band 1_184.pdf differ
diff --git a/Band1/Vorlage/Band 1_185.pdf b/Band1/Vorlage/Band 1_185.pdf
new file mode 100644
index 0000000..83823cd
Binary files /dev/null and b/Band1/Vorlage/Band 1_185.pdf differ
diff --git a/Band1/Vorlage/Band 1_186.pdf b/Band1/Vorlage/Band 1_186.pdf
new file mode 100644
index 0000000..7477076
Binary files /dev/null and b/Band1/Vorlage/Band 1_186.pdf differ
diff --git a/Band1/Vorlage/Band 1_187.pdf b/Band1/Vorlage/Band 1_187.pdf
new file mode 100644
index 0000000..8639220
Binary files /dev/null and b/Band1/Vorlage/Band 1_187.pdf differ
diff --git a/Band1/Vorlage/Band 1_188.pdf b/Band1/Vorlage/Band 1_188.pdf
new file mode 100644
index 0000000..75f5866
Binary files /dev/null and b/Band1/Vorlage/Band 1_188.pdf differ
diff --git a/Band1/Vorlage/Band 1_189.pdf b/Band1/Vorlage/Band 1_189.pdf
new file mode 100644
index 0000000..bd8e1e0
Binary files /dev/null and b/Band1/Vorlage/Band 1_189.pdf differ
diff --git a/Band1/Vorlage/Band 1_190.pdf b/Band1/Vorlage/Band 1_190.pdf
new file mode 100644
index 0000000..1880988
Binary files /dev/null and b/Band1/Vorlage/Band 1_190.pdf differ
diff --git a/Band1/Vorlage/Band 1_191.pdf b/Band1/Vorlage/Band 1_191.pdf
new file mode 100644
index 0000000..cd2cc3a
Binary files /dev/null and b/Band1/Vorlage/Band 1_191.pdf differ
diff --git a/Band1/Vorlage/Band 1_192.pdf b/Band1/Vorlage/Band 1_192.pdf
new file mode 100644
index 0000000..a942ea1
Binary files /dev/null and b/Band1/Vorlage/Band 1_192.pdf differ
diff --git a/Band1/Vorlage/Band 1_193.pdf b/Band1/Vorlage/Band 1_193.pdf
new file mode 100644
index 0000000..025423b
Binary files /dev/null and b/Band1/Vorlage/Band 1_193.pdf differ
diff --git a/Band1/Vorlage/Band 1_194.pdf b/Band1/Vorlage/Band 1_194.pdf
new file mode 100644
index 0000000..07454bf
Binary files /dev/null and b/Band1/Vorlage/Band 1_194.pdf differ
diff --git a/Band1/Vorlage/Band 1_195.pdf b/Band1/Vorlage/Band 1_195.pdf
new file mode 100644
index 0000000..803e28a
Binary files /dev/null and b/Band1/Vorlage/Band 1_195.pdf differ
diff --git a/Band1/Vorlage/Band 1_196.pdf b/Band1/Vorlage/Band 1_196.pdf
new file mode 100644
index 0000000..029908c
Binary files /dev/null and b/Band1/Vorlage/Band 1_196.pdf differ
diff --git a/Band1/Vorlage/Band 1_197.pdf b/Band1/Vorlage/Band 1_197.pdf
new file mode 100644
index 0000000..70ff31a
Binary files /dev/null and b/Band1/Vorlage/Band 1_197.pdf differ
diff --git a/Band1/Vorwort.tex b/Band1/Vorwort.tex
index a885a15..6d2ea52 100644
--- a/Band1/Vorwort.tex
+++ b/Band1/Vorwort.tex
@@ -8,7 +8,7 @@ Das Lehrbuch ist so angelegt, daß es sowohl Direkt- als auch Fernstudenten zur
 
 Weiterhin eignet sich dieser Band sicher auch zum Nachlesen für alle diejeniger Interessenten, die während ihrer Ausbildung die behandelten Gebiete nicht oder nur wenig kennengelernt haben. Wegen seines spezifischen Inhaltes eignet sich auf diese Weise das Lehrbuch auch zum Nachschlagen.
 
-Die Autoren waren sich beim Schreiben dieses Bandes auch der Probleme bewußt, die seine Gestaltung bei teilweise unterschiedlichen Zielstellungen mit sich brachte. Sie möchten sich deshalb sehr herzlich für die vielen konstruktiven Hinweise - insbesondere zu methodischen Fragen - bedanken, die weitgehend berücksichtigt werden konnten. Wir bedanken uns bei Herrn Professor Erfurth, Merseburg, sowie bei Herrn Dipl.-Math. H. Ebmeyer, Dresden, für ihre kritischen Anregungen und konkreten Abänderungsvorschläge, die uns sehr geholfen haben. Weiterhin danken wir Herrn Professor Wußing, Leipzig, für seine wertvollen Bemerkungen zum geschichtlichen Überblick. Besonderer Dank gilt Frau Ziegler vom Teubner-Verlag Leipzig; sie war uns in der Zusammenarbeit wiederum eine verständnisvolle und sachkundige Beraterin.
+Die Autoren waren sich beim Schreiben dieses Bandes auch der Probleme bewusst, die seine Gestaltung bei teilweise unterschiedlichen Zielstellungen mit sich brachte. Sie möchten sich deshalb sehr herzlich für die vielen konstruktiven Hinweise - insbesondere zu methodischen Fragen - bedanken, die weitgehend berücksichtigt werden konnten. Wir bedanken uns bei Herrn Professor Erfurth, Merseburg, sowie bei Herrn Dipl.-Math. H. Ebmeyer, Dresden, für ihre kritischen Anregungen und konkreten Abänderungsvorschläge, die uns sehr geholfen haben. Weiterhin danken wir Herrn Professor Wußing, Leipzig, für seine wertvollen Bemerkungen zum geschichtlichen Überblick. Besonderer Dank gilt Frau Ziegler vom Teubner-Verlag Leipzig; sie war uns in der Zusammenarbeit wiederum eine verständnisvolle und sachkundige Beraterin.
 
 \hfill Die Autoren
 
diff --git a/Band1/ZumEinfuegen.tex b/Band1/ZumEinfuegen.tex
index 71ae6f9..b192794 100644
--- a/Band1/ZumEinfuegen.tex
+++ b/Band1/ZumEinfuegen.tex
@@ -76,21 +76,21 @@ in der letzten Zeile jeweils nur das Symbol $W$ besitzen, also immer wahre Aussa
 
 
 
-\begin{figure}[H]
-	\centering
-	\includegraphics[width=0.7\linewidth]{3.4}
-	\caption{Logisch gleichwertige Aussagenverbindungen $p \wedge(p \vee q), p$}
-	\label{fig:3}
-\end{figure}
+%\begin{figure}[H]
+%	\centering
+%	\includegraphics[width=0.7\linewidth]{Grafiken/3.4.png}
+%	\caption{Logisch gleichwertige Aussagenverbindungen $p \wedge(p \vee q), p$}
+%	\label{fig:3}
+%\end{figure}
 
 Somit können wir die betrachteten Aussageverbindungen durch Schaltungen realisieren, die jeweils dasselbe leisten (siehe Bild 3.4 und 3.5). Man braucht sicherlich nicht gesondert zu erwähnen, welches die jeweils einfachere Schaltung ist.
 
-\begin{figure}[H]
-	\centering
-	\includegraphics[width=0.7\linewidth]{3.5}
-	\caption{Logisch gleichwertige Aussagenverbindungen $p \vee(q \wedge r),(p \vee q) \wedge(p \vee r)$}
-	\label{fig:3}
-\end{figure}
+%\begin{figure}[H]
+%	\centering
+%	\includegraphics[width=0.7\linewidth]{3.5}
+%	\caption{Logisch gleichwertige Aussagenverbindungen $p \vee(q \wedge r),(p \vee q) \wedge(p \vee r)$}
+%	\label{fig:3}
+%\end{figure}
 
 
 
@@ -119,11 +119,7 @@ Beim Beweisen mathematischer Aussagen steht häufig das Problem, daß nicht sofo
 Beispiel 4.1: Man beweise: Wenn $\alpha$ und $\beta$ zwei gleiche Winkel über einer Strecke $\overline{P_1 P_2}$ sind, so geht der durch die Punkte $P_1, P_2, P_3$ bestimmte Kreis $K$ auch durch den Punkt $P_4$. (In Bild 4.1 ist zu sehen, daß der Winkel bei $P_3$ mit $\alpha$, der Winkel bei $P_4$ mit $\beta$ bezeichnet wird.)
 
 Mit den Hilfsmitteln, die in der Logik bereitgestellt werden, sind wir bereits in der Lage, die zu beweisende mathematische Aussage als Aussagenverbindung darzustellen. Bezeichnen nämlich
-
-
 $p="` \alpha$ und $\beta$ sind zwei gleiche Winkel über $\bar{P}_1 \overline{P_2}$ "'
-
-
 $q=$ "`$P_4$ liegt auf dem Kreis $K^{\text {“ }}$
 zweiwertige Aussagen, so haben wir zu beweisen, daß
 $p \rightarrow q$ eine wahre Aussage ist.
@@ -178,7 +174,7 @@ sind wahre Aussagen.
 Aufgabe 4.1: Man beweise, daß $\bar{q}_1 \rightarrow \bar{p}$ und $\bar{q}_2 \rightarrow \bar{p}$ wahre Aussagen sind.
 Die Frage ist nun, wieso wir auf Grund dessen, da $\beta \bar{q}_1 \rightarrow \bar{p}$ und $\bar{q}_2 \rightarrow \bar{p}$ wahre Aussagen sind, darauf schließen können, daß auch $p \rightarrow q$ eine wahre Aussage ist. Der wesentliche Schritt hierbei ist, daß wir begründen :
 
-Es genügt zu wissen, daß $\bar{q} \rightarrow \bar{p}, \bar{q} \rightarrow \bar{p}=$ Wenn,$P_4$ nicht auf $K^{\prime \prime}$ liegt, so gilt \anf{Winkel $\alpha$ ist verschieden Winkel $\beta$}, eine wahre Aussage ist, um folgern zu können, daß auch $p \rightarrow q$ wahr ist. Falls eine solche Begründung möglich ist, gilt sie natürlich für alle Beispiele, in denen man den Beweis von $p \rightarrow q$ durch den Beweis von $\bar{q} \rightarrow \bar{p}$ ersetzen möchte. Wir verlassen also zunächst das Beispiel und stellen uns unter $p, q$ beliebige Aussagen vor.
+Es genügt zu wissen, daß $\bar{q} \rightarrow \bar{p}, \bar{q} \rightarrow \bar{p}=$ Wenn,$P_4$ nicht auf $K^{\prime \prime}$ liegt, so gilt „Winkel $\alpha$ ist verschieden Winkel $\beta$ ", eine wahre Aussage ist, um folgern zu können, daß auch $p \rightarrow q$ wahr ist. Falls eine solche Begründung möglich ist, gilt sie natürlich für alle Beispiele, in denen man den Beweis von $p \rightarrow q$ durch den Beweis von $\bar{q} \rightarrow \bar{p}$ ersetzen möchte. Wir verlassen also zunächst das Beispiel und stellen uns unter $p, q$ beliebige Aussagen vor.
 
 Die oben genannte Begründung kann man wie folgt formulieren:
 I. Es ist zu zeigen, daß $\bar{q} \rightarrow \bar{p}$ eine wahre Aussage ist.
@@ -311,27 +307,20 @@ Da dieses Vorgehen sehr aufwendig ist und darüber hinaus auch die Übersichtlic
 
 
 Tabelle 4.6. Schema logischer Schlußfiguren und Beispiel - indirekter Beweis
+Voraussetzung 1
+Voraussetzung $k$
+Behauptung 1
+Behauptung $l$
+$q$
+$\frac{\bar{p} \rightarrow \bar{q}}{p}$
 
-
-\[\begin{array}{cc}
-	\text { Voraussetzung 1 } & q\\
-	\vdots  \\
-	\text { Voraussetzung } k & \bar{p} \rightarrow \bar{q}  \\
-	\hline 
-		\text { Behauptung 1 } & p\\
-		\vdots \\
-		\text { Behauptung } l
-
-\end{array}\]
-
-
-Über einem horizontalen Strich werden im allgemeinen $k$ Voraussetzungen angegeben, unter diesem Strich $l$ Behauptungen, die jeweils durch \anf{und} also konjunktiv verknüpft sind. Wenn man die Gültigkeit der Voraussetzungen nachgeprüft hat, kann man folgern, daß auch die Behauptungen wahre Aussagen sind. Die Begründung dafür liefert jeweils die entsprechende Tautologie gemeinsam mit der Abtrennungsregel. Ein solches Schema ist sehr zweckmäßig, weil es unmittelbar ein Rezept für das \anf{Beweisen} liefert. Hat man zum Beispiel - wie in Tabelle 4.6 - die Wahrheit einer Aussage $p$ zu beweisen, so kann man anstelle dessen versuchen, die Wahrheit der beiden Aussagen (Voraussetzungen) $q$ und $\bar{p} \rightarrow \bar{q}$ zu überprüfen, was unter Umständen wesentlich leichter sein kann. Wir werden das in 4.3.3. an einem Beispiel demonstrieren.
+Über einem horizontalen Strich werden im allgemeinen $k$ Voraussetzungen angegeben, unter diesem Strich $l$ Behauptungen, die jeweils durch „und“ also konjunktiv verknüpft sind. Wenn man die Gültigkeit der Voraussetzungen nachgeprüft hat, kann man folgern, daß auch die Behauptungen wahre Aussagen sind. Die Begründung dafür liefert jeweils die entsprechende Tautologie gemeinsam mit der Abtrennungsregel. Ein solches Schema ist sehr zweckmäßig, weil es unmittelbar ein Rezept für das „Beweisen“ liefert. Hat man zum Beispiel - wie in Tabelle 4.6 - die Wahrheit einer Aussage $p$ zu beweisen, so kann man anstelle dessen versuchen, die Wahrheit der beiden Aussagen (Voraussetzungen) $q$ und $\bar{p} \rightarrow \bar{q}$ zu überprüfen, was unter Umständen wesentlich leichter sein kann. Wir werden das in 4.3.3. an einem Beispiel demonstrieren.
 
 Nachfolgend geben wir ausgehend von (4.1) bis (4.11) die entsprechenden logischen Schlußfiguren an.
 
 Im Abschnitt 4.2. werden wir die Anwendung dieser logischen Schlußfiguren auf einige Beispiele aus der Elementarmathematik zeigen.
 
-Wir sind jetzt in der Lage, auch die etwas kompliziertere Frage \anf{Warum kann man auf Grund von $\bar{q}_1 \rightarrow \bar{p}$ und $\bar{q}_2 \rightarrow \bar{p}$ auf $\bar{q} \rightarrow \bar{p}$ schließen?} zu beantworten, die im Zusammenhang mit unserem einführenden Beispiel noch offen ist.
+Wir sind jetzt in der Lage, auch die etwas kompliziertere Frage ,Warum kann man auf Grund von $\bar{q}_1 \rightarrow \bar{p}$ und $\bar{q}_2 \rightarrow \bar{p}$ auf $\bar{q} \rightarrow \bar{p}$ schließen?" zu beantworten, die im Zusammenhang mit unserem einführenden Beispiel noch offen ist.