Kapitel 2 erweitert

This commit is contained in:
2026-03-28 21:25:55 +01:00
parent 576cc75ea3
commit e9bb3e6004
6 changed files with 75 additions and 35 deletions

View File

@@ -1,5 +1,8 @@
6.1 Etwas Aussagenlogik
In der Mathematik versteht man unter einer Aussage ein sprachliches Gebilde, für das es sinnvoll ist zu fragen, ob sie wahr (W) oder falsch ( $F$ ) ist. Dabei bezeichnet $W$ beziehungsweise $F$ den Wahrheitswert der Aussage. Betrachten Sie die Beispiele:
\section{Etwas Aussagenlogik}
In der Mathematik versteht man unter einer \textbf{Aussage} ein sprachliches Gebilde, für das es sinnvoll ist zu fragen, ob sie wahr (W) oder falsch ( $F$ ) ist. Dabei bezeichnet $W$ beziehungsweise $F$ den \textbf{Wahrheitswert} der Aussage. Betrachten Sie die Beispiele:
\begin{center}
\begin{tabular}{c|c|c}
Aussage & Wahrheitswert & Verwendete Sprache \\
\hline Das Jahr 2020 ist ein Schaltjahr . & wahr & Umgangssprache \\
@@ -9,12 +12,22 @@ Aussage & Wahrheitswert & Verwendete Sprache \\
\hline Jede gerade Zahl größer 2 ist & & \\
die Summe zweier Primzahlen. & unbekannt &
\end{tabular}
Keine Aussagen dagegen sind beispielsweise die sprachlichen Gebilde:
"Heute haben wir schönes Wetter . "
"Lesen Sie dieses Buch durch!"
Sind $A$ und $B$ zwei beliebige Aussagen, dann lassen sich daraus durch Aussagenverbinder den sogenannten Junktoren neue Aussagen zusammensetzen. Die wichtigsten Junktoren und deren Bedeutung sind in der folgenden Tabelle zusammengefasst.
Die Wahrheitswerte der so zusammengesetzten Aussagen sind festgelegt und der folgenden Wahrheitstafel zu entnehmen .
\end{center}
Keine Aussagen dagegen sind beispielsweise die sprachlichen Gebilde:
\begin{itemize}
\item \Anfz{Heute haben wir schönes Wetter. }
\item \Anfz{Lesen Sie dieses Buch durch!}
\end{itemize}
Sind $A$ und $B$ zwei beliebige Aussagen, dann lassen sich daraus durch Aussagenverbinder den sogenannten \textbf{Junktoren} neue Aussagen zusammensetzen. Die wichtigsten Junktoren und deren Bedeutung sind in der folgenden Tabelle zusammengefasst.
Die Wahrheitswerte der so zusammengesetzten Aussagen sind festgelegt und der folgenden \textbf{Wahrheitstafel} zu entnehmen .
\begin{center}
\begin{tabular}{c|c||c|c|c|c|c}
$A$ & $B$ & $\neg A$ & $A \wedge B$ & $A \vee B$ & $A \Rightarrow B$ & $A \Leftrightarrow B$ \\
\hline$W$ & $W$ & $F$ & $W$ & $W$ & $W$ & $W$ \\
@@ -23,11 +36,7 @@ $A$ & $B$ & $\neg A$ & $A \wedge B$ & $A \vee B$ & $A \Rightarrow B$ & $A \Leftr
\hline$F$ & $F$ & $W$ & $F$ & $F$ & $W$ & $W$
\end{tabular}
-100-
\newpage
-101-
\end{center}
Es wird hier noch einmal ausdrücklich darauf hingewiesen, dass diese Tabelle eine Festlegung (Definition) der Bedeutung für die einzelnen Junktoren ist. Für diese Festlegung spricht einzig, dass sie sich als praktisch herausgestellt hat.
Bemerkung: