Markdown erweitert

This commit is contained in:
2026-01-13 18:56:33 +01:00
parent e4ec1d83bb
commit a2f7bba5e3

View File

@@ -137,38 +137,23 @@ Bei unseren weiteren Betrachtungen wollen wir uns auf eine wichtige Teilmenge vo
##### Definition 3.1
Die Aussage $p$ heißt **zweiwertige Aussage**, wenn $p$ entweder wahr oder falsch ist.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Entsprechend $A_1$ bilden wir die Menge der zweiwertigen Aussagen $A_2$:
$A_2=\{p \mid p \text{ ist eine zweiwertige Aussage}\}$
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Entsprechend $A\_1$ bilden wir die Menge der zweiwertigen Aussagen $A\_2$:
\\einrueckungm{35}{$A\_2=\\{p \\mid p \\text{ist eine zweiwertige Aussage}\\}$}
Durch diese Definition scheiden wir Aussagen wie $s$ aus den weiteren Betrachtungen aus. Auch Aussagen über die Bewertungen einer Klausur, die man ja üblicherweise mit den Zensuren (Wahrheitswerten) $1$ bis $5$ vornimmt, sind in $A\_2$ nicht enthalten.
Durch diese Definition scheiden wir Aussagen wie $s$ aus den weiteren Betrachtungen aus. Auch Aussagen über die Bewertungen einer Klausur, die man ja üblicherweise mit den Zensuren (Wahrheitswerten) $1$ bis $5$ vornimmt, sind in $A_2$ nicht enthalten.
Im Zusammenhang mit $A\_2$ führen wir die \\textit{Wahrheitswerte}
- wahr“, bezeichnet durch $W$, und
- falsch“, bezeichnet durch $F$,
\\einrueckungm{35}{
\\begin{itemize}
\\item[] "\`wahr"', bezeichnet durch $W$, und
\\item[] "\`falsch"', bezeichnet durch $F$,
\\end{itemize}
}
ein. Der Aussage $p, p \in A_2$, ist gemäß Definition \\ref{D.3.1} eindeutig ein Wahrheitswert aus $\\{W, F\\}$ zugeordnet. Wir bezeichnen diese eindeutige Zuordnung mit $w(p)$, $w(p) \in\{W, F\}$; $w(p)-$ Wahrheitswert der Aussage $p$.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ein. Der Aussage $p, p \\in A\_2$, ist gemäß Definition \\ref{D.3.1} eindeutig ein Wahrheitswert aus $\\{W, F\\}$ zugeordnet. Wir bezeichnen diese eindeutige Zuordnung mit $w(p)$, $w(p) \\in\\{W, F\\}$ ; $w(p)-$ Wahrheitswert der Aussage $p$.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Wir wollen noch auf einen wichtigen Tatbestand aufmerksam machen. Das Wissen, daß $p \\in A\_2$ gilt, heißt noch nicht, daß man auch $w(p)$ kennt. Dazu zwei Beispiele:
\\begin{beispiel}