Kurs:Einführung in die mathematische Logik/16/Klausur mit Lösungen/latex
%Daten zur Institution
%\input{Dozentdaten}
%\renewcommand{\fachbereich}{Fachbereich}
%\renewcommand{\dozent}{Prof. Dr. . }
%Klausurdaten
\renewcommand{\klausurgebiet}{ }
\renewcommand{\klausurtyp}{ }
\renewcommand{\klausurdatum}{ . 20}
\klausurvorspann {\fachbereich} {\klausurdatum} {\dozent} {\klausurgebiet} {\klausurtyp}
%Daten für folgende Punktetabelle
\renewcommand{\aeins}{ 3 }
\renewcommand{\azwei}{ 3 }
\renewcommand{\adrei}{ 4 }
\renewcommand{\avier}{ 0 }
\renewcommand{\afuenf}{ 22 }
\renewcommand{\asechs}{ 5 }
\renewcommand{\asieben}{ 3 }
\renewcommand{\aacht}{ 3 }
\renewcommand{\aneun}{ 0 }
\renewcommand{\azehn}{ 0 }
\renewcommand{\aelf}{ 3 }
\renewcommand{\azwoelf}{ 10 }
\renewcommand{\adreizehn}{ 0 }
\renewcommand{\avierzehn}{ 0 }
\renewcommand{\afuenfzehn}{ 0 }
\renewcommand{\asechzehn}{ 0 }
\renewcommand{\asiebzehn}{ 0 }
\renewcommand{\aachtzehn}{ 56 }
\renewcommand{\aneunzehn}{ }
\renewcommand{\azwanzig}{ }
\renewcommand{\aeinundzwanzig}{ }
\renewcommand{\azweiundzwanzig}{ }
\renewcommand{\adreiundzwanzig}{ }
\renewcommand{\avierundzwanzig}{ }
\renewcommand{\afuenfundzwanzig}{ }
\renewcommand{\asechsundzwanzig}{ }
\punktetabellesiebzehn
\klausurnote
\newpage
\setcounter{section}{0}
\inputaufgabeklausurloesung
{3}
{
Definiere die folgenden \zusatzklammer {kursiv gedruckten} {} {} Begriffe. \aufzaehlungsechs{Die rekursive Definition für die \stichwort {Ausdrücke} {} in einer Sprache erster Stufe.
}{Ein
\stichwort {Ideal} {}
\mathl{{\mathfrak a} \subseteq R}{} in einem
\definitionsverweis {kommutativen Ring}{}{}
$R$.
}{Die
\stichwort {Variablensubstitution} {}
\mathl{\alpha { \frac{ t_1 , \ldots , t_k }{ x_1 , \ldots , x_k } }}{} für einen $S$-Ausdruck $\alpha$, wobei
\mathl{x_1 , \ldots , x_k}{} Variablen und
\mathl{t_1 , \ldots , t_k}{} fixierte
$S$-\definitionsverweis {Terme}{}{}
seien.
}{Die \stichwort {Ableitbarkeit} {} eines Ausdrucks $\alpha \in L^S$ im prädikatenlogischen Kalkül.
}{Die \stichwort {Arithmetische Repräsentierbarkeit} {} einer Abbildung \maabbdisp {F} {\N^r} {\N^s } {.}
}{Eine \stichwort {\zusatzklammer {formale} {} {} Modallogik} {.} }
}
{
\aufzaehlungsechs{Die folgenden rekursiv definierten Wörter heißen die
\stichwort {Ausdrücke} {}
dieser Sprache.
\aufzaehlungvier{Wenn
\mathkor {} {t_1} {und} {t_2} {}
Terme sind, so ist
\mathdisp {t_1 = t_2} { }
ein Ausdruck.
}{Wenn $R$ ein $n$-stelliges Relationssymbol ist und
\mathl{t_1 , \ldots , t_n}{} Terme sind, so ist
\mathdisp {R t_1 { \ldots } t_n} { }
ein Ausdruck.
}{Wenn
\mathkor {} {\alpha} {und} {\beta} {}
Ausdrücke sind, so sind auch
\mathdisp {\neg { \left( \alpha \right) } ,\, { \left( \alpha \right) } \wedge { \left( \beta \right) },\, { \left( \alpha \right) } \vee { \left( \beta \right) },\, { \left( \alpha \right) } \rightarrow { \left( \beta \right) }, \, { \left( \alpha \right) } \leftrightarrow { \left( \beta \right) }} { }
Ausdrücke.
}{Wenn $\alpha$ ein Ausdruck ist und $x$ eine Variable, so sind auch
\mathdisp {\forall x { \left( \alpha \right) } \text{ und } \exists x { \left( \alpha \right) }} { }
Ausdrücke.
}
}{Ein Ideal ist eine nichtleere Teilmenge ${\mathfrak a} \subseteq R$, für die die beiden folgenden Bedingungen erfüllt sind:
\aufzaehlungzwei {Für alle
\mathl{a,b \in {\mathfrak a}}{} ist auch
\mathl{a+b \in {\mathfrak a}}{.}
} {Für alle
\mathl{a \in {\mathfrak a}}{} und
\mathl{r \in R}{} ist auch
\mathl{ra \in {\mathfrak a}}{.}}
}{Die \stichwort {Variablensubstitution} {} definiert man rekursiv über den Aufbau der
$S$-\definitionsverweis {Ausdrücke}{}{.}
\aufzaehlungfuenf{Für Terme
\mathl{s_1,s_2}{} setzt man
\mathdisp {(s_1 = s_2) { \frac{ t_1 , \ldots , t_k }{ x_1 , \ldots , x_k } } \defeq s_1 { \frac{ t_1 , \ldots , t_k }{ x_1 , \ldots , x_k } } = s_1 { \frac{ t_1 , \ldots , t_k }{ x_1 , \ldots , x_k } }} { . }
}{Für ein $n$-stelliges Relationssymbol $R$ und $n$ Terme
\mathl{s_1 , \ldots , s_n}{} setzt man
\mathdisp {(R s_1 \ldots s_n) { \frac{ t_1 , \ldots , t_k }{ x_1 , \ldots , x_k } } \defeq R s_1 { \frac{ t_1 , \ldots , t_k }{ x_1 , \ldots , x_k } } \ldots s_n { \frac{ t_1 , \ldots , t_k }{ x_1 , \ldots , x_k } }} { . }
}{Für einen Ausdruck $\alpha$ setzt man
\mathdisp {(\neg \alpha) { \frac{ t_1 , \ldots , t_k }{ x_1 , \ldots , x_k } } \defeq \neg \alpha { \frac{ t_1 , \ldots , t_k }{ x_1 , \ldots , x_k } }} { . }
}{Für Ausdrücke $\alpha$ und $\beta$ setzt man
\mathdisp {(\alpha \wedge \beta) { \frac{ t_1 , \ldots , t_k }{ x_1 , \ldots , x_k } } \defeq \alpha { \frac{ t_1 , \ldots , t_k }{ x_1 , \ldots , x_k } } \wedge \beta { \frac{ t_1 , \ldots , t_k }{ x_1 , \ldots , x_k } }} { }
und ebenso für die anderen zweistelligen Junktoren.
}{Für einen Ausdruck $\alpha$ seien
\mathl{x_{i_1} , \ldots , x_{i_r}}{} diejenigen Variablen
\zusatzklammer {unter den \mathlk{x_1 , \ldots , x_k}{}} {} {,}
die in
\mathl{\forall x \alpha}{} frei vorkommen. Es sei
\mathl{v=x}{,} falls $x$ nicht in
\mathl{t_{i_1} , \ldots , t_{i_r}}{} vorkommt. Andernfalls sei $v$ die erste Variable
\zusatzklammer {in einer fixierten Variablenaufzählung, falls es abzählbar viele Variablen gibt, bzw. in einer fixierten Wohlordnung der Variablenmenge} {} {,}
die weder in $\alpha$ noch in
\mathl{t_{i_1} , \ldots , t_{i_r}}{} vorkommt. Dann setzt man
\mathdisp {(\forall x \alpha ) { \frac{ t_1 , \ldots , t_k }{ x_1 , \ldots , x_k } } \defeq \forall v \alpha { \frac{ t_{i_1} , \ldots , t_{i_r}, v }{ x_{i_1} , \ldots , x_{i_r}, x } }} { }
und ebenso für den Existenzquantor.
}
}{Der Ausdruck
\mathl{\alpha}{} heißt
ableitbar,
wenn er sich aus den Grundtautologien, also
\auflistungdrei{den aussagenlogischen syntaktischen Tautologien,
}{den Gleichheitsaxiomen,
}{der Existenzeinführung im Sukzedens,
}
durch sukzessive Anwendung der Ableitungsregeln
\definitionsverweis {Modus ponens}{}{}
und der \definitionsverweis {Existenzeinführung im Antezedens}{}{}
erhalten lässt.
}{Die Abbildung $F$ heißt arithmetisch repräsentierbar, wenn es einen
\mathl{L^{\rm Ar}}{-}Ausdruck $\psi$ in
\mathl{r+s}{}
\definitionsverweis {freien Variablen}{}{}
derart gibt, dass für alle $(r+s)$-Tupel
\mathl{(n_1 , \ldots , n_{r+s}) \in \N^{r+s}}{} die Äquivalenz
\mavergleichskette
{\vergleichskette
{ F(n_1 , \ldots , n_{r})
}
{ = }{(n_{r+1} , \ldots , n_{r+s})
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann, wenn
\mathl{\N \vDash \psi(n_1 , \ldots , n_{r+s})}{} gilt.
}{Eine unter aussagenlogischen Ableitungen abgeschlossene Teilmenge der
\definitionsverweis {modallogischen Sprache}{}{}
heißt
\zusatzklammer {formale} {} {} Modallogik.
}
}
\inputaufgabeklausurloesung
{3}
{
Formuliere die folgenden Sätze. \aufzaehlungdrei{Das \stichwort {Lemma von Zorn} {.}}{Der \stichwort {Endlichkeitssatz} {} für die Prädikatenlogik.}{Das \stichwort {Unvollständigkeitslemma} {.}}
}
{
\aufzaehlungdrei{Es sei
\mathl{(I,\preccurlyeq)}{} eine
\definitionsverweis {geordnete Menge}{}{}
mit der Eigenschaft, dass jede
\definitionsverweis {total geordnete}{}{}
Teilmenge
\mathl{J \subseteq I}{} eine
\definitionsverweis {obere Schranke}{}{}
in $I$ besitzt. Dann gibt es in $I$
\definitionsverweis {maximale Elemente}{}{.}}{Es sei $S$ ein Symbolalphabet, $\Gamma$ eine Menge an $S$-Ausdrücken und $\alpha$ ein weiterer $S$-Ausdruck. Dann gilt
\mathl{\Gamma \vDash \alpha}{} genau dann, wenn es eine endliche Teilmenge
\mathl{\Gamma_e \subseteq \Gamma}{} gibt mit
\mathl{\Gamma_e \vDash \alpha}{.}}{Es sei $\Gamma$ eine widerspruchsfreie, arithmetische Ausdrucksmenge, die Repräsentierungen erlaube. Die Ableitungsmenge
\mathl{\Gamma^\vdash}{}
\zusatzklammer {also die Menge der zugehörigen Gödelnummern} {} {}
sei
\definitionsverweis {schwach repräsentierbar}{}{}
in $\Gamma$. Dann gibt es einen arithmetischen Satz
\mathl{q \in L^{\rm Ar}_0}{} derart, dass weder $q$ noch seine Negation $\neg q$ aus $\Gamma$ ableitbar ist.}
}
\inputaufgabeklausurloesung
{4 (1+3)}
{
In einer Höhle befinden sich im Innern am Ende des Ganges vier Personen. Sie haben eine Taschenlampe bei sich und der Gang kann nur mit der Taschenlampe begangen werden. Dabei können höchstens zwei Leute gemeinsam durch den Gang gehen. Die Personen sind unterschiedlich geschickt, die erste Person benötigt eine Stunde, die zweite Person benötigt zwei Stunden, die dritte Person benötigt vier Stunden und die vierte Person benötigt fünf Stunden, um den Gang zu durchlaufen. Wenn zwei Personen gleichzeitig gehen, entscheidet die langsamere Person über die Geschwindigkeit. \aufzaehlungzwei {Die Batterie für die Taschenlampe reicht für genau $13$ Stunden. Können alle vier die Höhle verlassen? } {Die Batterie für die Taschenlampe reicht für genau $12$ Stunden. Können alle vier die Höhle verlassen? }
}
{Höhle/Taschenlampe/Aufgabe/Lösung
}
\inputaufgabeklausurloesung
{0}
{
}
{/Aufgabe/Lösung
}
\inputaufgabeklausurloesung
{weiter}
{
Es sei $V$ eine
\zusatzklammer {nichtleere} {} {}
\definitionsverweis {Aussagenvariablenmenge}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{Bel} \, { \left( V \right) }
}
{ =} { \operatorname{Abb} \, { \left( V , \{0,1\} \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die Menge aller Wahrheitsbelegungen auf $V$. In dieser Aufgabe untersuchen wir
\mathl{\operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( V \right) } , \{0,1\} \right) }}{} und die Abbildung
\maabbeledisp {\Psi} {L^V} { \operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( V \right) } , \{0,1\} \right) }
} { \alpha } { { \left( \lambda \mapsto I^ \lambda( \alpha ) \right) }
} {.}
Dabei spielen die beiden folgenden Teilmengen eine Rolle.
Es sei
\mavergleichskette
{\vergleichskette
{N
}
{ \subseteq }{ \operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( V \right) } , \{0,1\} \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die folgendermaßen festgelegte Teilmenge. Eine Abbildung
\mathl{\varphi \in \operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( V \right) } , \{0,1\} \right) }}{} gehört genau dann zu $N$, wenn es eine endliche Teilmenge
\mavergleichskette
{\vergleichskette
{W
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart gibt, dass
\mathl{\varphi \in \operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( W \right) } , \{0,1\} \right) }}{} ist
\zusatzklammer {dies ist in Aufgabenteil 2 zu erläutern} {} {.}
Es sei
\mavergleichskette
{\vergleichskette
{M
}
{ \subseteq }{ \operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( V \right) } , \{0,1\} \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die durch die folgenden Bedingungen rekursiv festgelegte Teilmenge.
a) Zu
\mathl{p \in V}{} gehört
\maabbeledisp {\operatorname{ev}_p} { \operatorname{Bel} \, { \left( V \right) }} { \{0,1\}
} { \lambda} { \lambda(p)
} {,}
zu $M$.
b) Wenn
\mathl{\varphi \in M}{} ist, so gehört auch $\tau \circ \varphi$ zu $M$, wobei
\maabb {\tau} {\{0,1\}} {\{0,1\}
} {}
die Vertauschungsabbildung bezeichnet.
c) Wenn
\mathl{\varphi, \theta \in M}{} sind, so gehören auch ${\min { \left( \varphi , \theta \right) } }$ und ${\max { \left( \varphi , \theta \right) } }$ zu $M$.
\aufzaehlungsieben{Ist $\Psi$
\definitionsverweis {injektiv}{}{?}
}{Es sei
\mavergleichskette
{\vergleichskette
{W
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Teilmenge. Zeige, dass es eine natürliche surjektive Abbildung
\maabbdisp {} { \operatorname{Bel} \, { \left( V \right) } } { \operatorname{Bel} \, { \left( W \right) }
} {}
und eine natürliche injektive Abbildung
\maabbdisp {\Phi_W} {\operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( W \right) } , \{0,1\} \right) } } { \operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( V \right) } , \{0,1\} \right) }
} {}
}{Zeige, dass die in (2) beschriebene Abbildung
\maabbdisp {\Phi_W} {\operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( W \right) } , \{0,1\} \right) } } { \operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( V \right) } , \{0,1\} \right) }
} {}
die Evaluationen
\mathl{\operatorname{ev}_p}{,} die Verknüpfung mit $\tau$ und die Minima und Maxima respektiert.
}{Man gebe bei $V$ unendlich ein
\mathl{\varphi \in \operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( V \right) } , \{0,1\} \right) }}{} an, das nicht zu $N$ gehört.
}{Es sei $V$ endlich. Zeige
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} {\operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( V \right) } , \{0,1\} \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Zeige
\mavergleichskette
{\vergleichskette
{M
}
{ = }{N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Zeige, dass das Bild von $\Psi$ mit $M$ übereinstimmt.
}
}
{
\aufzaehlungsieben{$\Psi$ ist nicht injektiv, da beispielsweise
\mathl{p \wedge p}{} und
\mathl{p \rightarrow p}{} Tautologien sind und daher beide auf die konstante Abbildung geschickt werden, die jeder Belegung den Wert $1$ zuordnet.
}{Es sei
\mavergleichskette
{\vergleichskette
{W
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Teilmenge. Es gibt die natürliche Abbildung
\maabbeledisp {} { \operatorname{Bel} \, { \left( V \right) } } { \operatorname{Bel} \, { \left( W \right) }
} { \lambda} { \lambda {{|}}_W
} {,}
die jeder Belegung auf $V$ die eingeschränkte Belegung auf der Teilmenge $W$ zuordnet. Diese Abbildung ist surjektiv, da man jede Belegung auf $W$ zu einer Belegung auf $V$ fortsetzen kann, indem man auf
\mathl{V \setminus W}{} willkürlich Wahrheitswerte festlegt
\zusatzklammer {beispielsweise konstant gleich $0$} {} {.}
Mit Hilfe dieser Abbildung ist durch
\maabbeledisp {\Phi_W} {\operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( W \right) } , \{0,1\} \right) } } { \operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( V \right) } , \{0,1\} \right) }
} {\varphi } { { \left( \lambda \mapsto \varphi { \left( \lambda {{|}}_W \right) } \right) }
} {,}
eine Abbildung festgelegt. Diese ist injektiv: wenn zwei Abbildungen
\mathl{\varphi, \theta \in \operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( W \right) } , \{0,1\} \right) }}{} verschieden sind, so gibt es eine Belegung
\mathl{\lambda \in \operatorname{Bel} \, { \left( W \right) }}{} mit
\mavergleichskette
{\vergleichskette
{ \varphi(\lambda)
}
{ \neq }{ \theta(\lambda)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann gilt dies auch für eine Fortsetzung
\mathl{\tilde{\lambda}}{} von $\lambda$ auf ganz $V$, und somit sind die Bilder von $\varphi$ und von $\theta$ in
\mathl{\operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( V \right) } , \{0,1\} \right) }}{} verschieden.
}{Es sei
\mathl{p \in W}{.} Dann ist für jede Belegung
\mathl{\lambda \in \operatorname{Bel} \, { \left( V \right) }}{}
\mavergleichskettedisp
{\vergleichskette
{\Phi_W ( \operatorname{ev}_p) (\lambda)
}
{ =} {\operatorname{ev}_p (\lambda {{|}}_W )
}
{ =} { \lambda {{|}}_W(p)
}
{ =} { \lambda (p)
}
{ =} { \operatorname{ev}_p (\lambda)
}
}
{}{}{,}
also ist
\mavergleichskettedisp
{\vergleichskette
{ \Phi_W ( \operatorname{ev}_p)
}
{ =} { \operatorname{ev}_p
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Für
\mathl{\varphi \in \operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( W \right) } , \{0,1\} \right) }}{} ist
\mavergleichskettealign
{\vergleichskettealign
{ \Phi_W ( \tau \circ \varphi) (\lambda)
}
{ =} {( \tau \circ \varphi) (\lambda{{|}}_W )
}
{ =} { \tau (\varphi(\lambda{{|}}_W))
}
{ =} { \tau (\Phi_W(\varphi) (\lambda ))
}
{ =} { (\tau \circ \Phi_W) (\varphi) (\lambda)
}
}
{}
{}{.}
Für
\mathl{\varphi, \theta \in \operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( W \right) } , \{0,1\} \right) }}{} ist
\mavergleichskettealign
{\vergleichskettealign
{ {\max { \left( \Phi_W (\varphi) , \Phi_W ( \theta) \right) } } (\lambda)
}
{ =} {{\max { \left( \Phi_W (\varphi)(\lambda) , \Phi_W ( \theta)(\lambda) \right) } }
}
{ =} {{\max { \left( \varphi(\lambda{{|}}_W ) , \theta (\lambda {{|}}_W ) \right) } }
}
{ =} { {\max { \left( \varphi , \theta \right) } } (\lambda {{|}}_W )
}
{ =} {\Phi_W { \left( {\max { \left( \varphi , \theta \right) } } \right) } (\lambda)
}
}
{}
{}{}
und ebenso für das Minimum.
}{Wir betrachten die Abbildung
\mathl{\psi \in \operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( V \right) } , \{0,1\} \right) }}{,} die die konstante Nullbelegung auf $0$ und jede andere Belegung auf $1$ abbildet. Wir müssen zeigen, dass diese Abbildung nicht von einer Abbildung aus
\mathl{\operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( W \right) } , \{0,1\} \right) }}{} zu einer endlichen Teilmenge
\mavergleichskette
{\vergleichskette
{W
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
herrührt. Es sei also
\mavergleichskette
{\vergleichskette
{W
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
endlich gegeben. Da $V$ unendlich ist, gibt es ein
\mathbed {p \in V} {}
{p \notin W} {}
{} {} {} {.}
Es sei $\lambda$ die Belegung auf $V$, die auf der Teilmenge $W$ den Wert $0$ hat und an $p$ den Wert $1$
\zusatzklammer {und an den anderen Variablen einen beliebigen Wert} {} {}
und $\lambda_0$ die konstante Nullbewertung auf $V$. Dann ist
\mavergleichskette
{\vergleichskette
{\psi(\lambda)
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{\psi(\lambda_0)
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wegen
\mavergleichskettedisp
{\vergleichskette
{\lambda {{|}}_W
}
{ =} { \lambda_0{{|}}_W
}
{ =} { 0
}
{ } {
}
{ } {
}
}
{}{}{}
besitzen aber die beiden auf $W$ eingeschränkten Belegungen unter jedem
\mathl{\varphi \in \operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( W \right) } , \{0,1\} \right) }}{} den gleichen Wert und somit ist
\mavergleichskettedisp
{\vergleichskette
{ \psi
}
{ \neq} {\varphi
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Es sei $V$ endlich. Die Belegungen auf $V$ entsprechen den Teilmengen aus $V$, indem man $\lambda$ mit
\mathl{\lambda^{-1}(1)}{} identifiziert. Zu jeder Belegung
\mathl{\lambda \in \operatorname{Bel} \, { \left( V \right) }}{} gibt es eine Abbildung $\varphi_\lambda \in \operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( V \right) } , \{0,1\} \right) }$, die diese Belegung auf $1$ und alle anderen Belegungen auf $0$ abbildet. Dabei gilt
\mavergleichskettedisp
{\vergleichskette
{ \varphi_\lambda
}
{ =} { {\min { \left( {\min { \left( \operatorname{ev}_p , p \in \lambda^{-1}(1) \right) } } , {\min { \left( \tau \circ \operatorname{ev}_p , p \in \lambda^{-1}(0) \right) } } \right) } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
da der zweite Ausdruck für eine Belegung $\delta$ genau dann den Wert $1$ liefert, wenn für alle $p$ die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{ev}_p(\delta)
}
{ =} { \delta(p)
}
{ =} {1
}
{ } {
}
{ } {
}
}
{}{}{}
genau dann gilt, wenn
\mathl{p \in \lambda^ {-1}(1)}{} ist, was genau bei
\mavergleichskette
{\vergleichskette
{\delta
}
{ = }{ \lambda
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
der Fall ist. Da die
\mathl{\operatorname{ev}_p}{} zu $N$ gehören und $N$ unter der Verknüpfung mit $\tau$ und unter den Minima von
\zusatzklammer {endlich vielen} {} {}
Abbildungen abgeschlossen ist, gehören die $\varphi_\lambda$ zu $N$.
Ein Abbildung
\mathl{\varphi \in \operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( V \right) } , \{0,1\} \right) }}{} ist dadurch festgelegt, für welche Belegungen sie den Wert $1$ ergibt. Wenn
\mathbed {\lambda_i} {}
{i \in I} {}
{} {} {} {,}
diese Belegungen sind, so ist
\mavergleichskettedisp
{\vergleichskette
{ \varphi
}
{ =} { {\max { \left( \varphi_{\lambda_i} , i \in I \right) } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Da $M$ unter den Maxima von
\zusatzklammer {endlich vielen} {} {}
Abbildungen abgeschlossen ist, gehört $\varphi$ zu $N$.
}{Es sei zuerst
\mathl{\varphi \in N}{.} Dann gibt es eine endliche Teilmenge
\mavergleichskette
{\vergleichskette
{W
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mathl{\varphi \in \operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( W \right) } , \{0,1\} \right) }}{.} Nach Teil (5), angewendet auf $W$, gehört $\varphi$ zu der in
\mathl{\operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( W \right) } , \{0,1\} \right) }}{} mit den gleichen Rekursionsvorschriften erzeugten Menge $M_W$ und damit zu $M$. Wenn umgekehrt
\mathl{\varphi \in M}{} ist, so wird $\varphi$ rekursiv erzeugt. Dabei gehen nur endlich viele Startglieder
\mathl{\operatorname{ev}_{p_1} , \ldots , \operatorname{ev}_{p_n}}{} ein. Den Konstruktionsprozess, der zu $\varphi$ führt, kann man daher auch über der endlichen Menge
\mavergleichskette
{\vergleichskette
{W
}
{ = }{\{p_1 , \ldots , p_n\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
durchführen, und somit ist
\mathl{\varphi \in N}{} nach Teil (3).
}{Den Nachweis, dass zu jedem
\mathl{\alpha}{} das Bild
\mathl{\Psi(\alpha)}{} zu $M$ gehört, führen wir rekursiv über den Aufbau von $L^V$. Zu einer Aussagenvariablen
\mathl{p \in V}{} ist
\mavergleichskettedisp
{\vergleichskette
{ \Psi ( p )
}
{ =} { \operatorname{ev}_p
}
{ \in} {M
}
{ } {
}
{ } {
}
}
{}{}{.}
Zu
\mathl{\alpha \in L^V}{} ist
\mavergleichskettedisp
{\vergleichskette
{\Psi ( \neg \alpha)
}
{ =} { \tau \circ \Psi ( \alpha)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wenn also $\alpha$ nach $M$ abgebildet wird, so auch die Negation. Wegen
\mavergleichskettedisp
{\vergleichskette
{ \Psi (\alpha \wedge \beta)
}
{ =} { {\min { \left( \Psi (\alpha) , \Psi (\beta ) \right) } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ \Psi (\alpha \vee \beta)
}
{ =} { {\max { \left( \Psi (\alpha) , \Psi (\beta) \right) } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
werden mit
\mathkor {} {\Psi (\alpha )} {und} {\Psi (\beta )} {}
auch die Konjunktion und die Disjunktion nach $M$ abgebildet. Da man die Implikation und die Äquivalenz durch die anderen Junktoren ausdrücken kann, und für semantisch äquivalente Ausdrücke der Wert unter
\mathl{\Psi}{} gleich bleibt, werden mit den Bestandteilen auch
\mathl{\alpha \rightarrow \beta}{} und
\mathl{\alpha \leftrightarrow \beta}{} nach $M$ abgebildet.
Zum Nachweis, dass jede Abbildung
\mathl{\varphi \in M}{} zum Bild gehört, gehen wir rekursiv über den Aufbau von $M$ vor. Für die Evaluationen $\operatorname{ev}_p$ gilt
\mavergleichskettedisp
{\vergleichskette
{ \Psi ( p )
}
{ =} { \operatorname{ev}_p
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wenn $\varphi$ zum Bild gehört, sagen wir
\mavergleichskettedisp
{\vergleichskette
{\Psi(\alpha)
}
{ =} { \varphi
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
so gehört wegen
\mavergleichskettedisp
{\vergleichskette
{\Psi ( \neg \alpha)
}
{ =} { \tau \circ \varphi
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
auch
\mathl{\tau \circ \varphi}{} zum Bild. Wenn
\mathkor {} {\varphi} {und} {\theta} {}
zum Bild gehören, sagen wir
\mavergleichskettedisp
{\vergleichskette
{\Psi (\alpha)
}
{ =} { \varphi
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{\Psi (\beta)
}
{ =} { \theta
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
so gehören wegen
\mavergleichskettedisp
{\vergleichskette
{ \Psi (\alpha \wedge \beta)
}
{ =} { {\min { \left( \varphi , \theta \right) } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ \Psi (\alpha \vee \beta)
}
{ =} { {\max { \left( \varphi , \theta \right) } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
auch das Minimum und das Maximum dazu.
}
}
\inputaufgabeklausurloesung
{5}
{
Es sei
\mavergleichskette
{\vergleichskette
{\Gamma
}
{ \subseteq }{L^V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine endliche Menge an Aussagen. Skizziere ein Entscheidungsverfahren, mit dem man feststellen kann, ob $\Gamma$
\definitionsverweis {widersprüchlich}{}{}
ist oder nicht.
}
{
In den endlich vielen Ausdrücken
\mathl{\alpha_1 , \ldots , \alpha_n}{} von $\Gamma$ kommen insgesamt nur endlich viele Aussagenvariablen vor, sagen wir
\mathl{p_1 , \ldots , p_k}{.} Für jede $\pm$-Kombination
\mavergleichskettedisp
{\vergleichskette
{ \gamma
}
{ =} {\pm p_1 \wedge \ldots \wedge \pm p_k
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
untersucht man, ob
\mathl{\Gamma \cup \{ \gamma \}}{} widersprüchlich ist. Da durch $\gamma$ jede Aussagenvariable entweder positiv oder in ihrer Negation aus $\Gamma \cup \{ \gamma\}$ ableitbar ist, kann man für jedes
\mathl{\alpha_i}{} überprüfen, ob $\neg \alpha_i$ aus
\mathl{\Gamma \cup \{ \gamma\}}{} ableitbar ist. Wenn die durch $\gamma$ gegebene Belegung sämtliche $\alpha_i$ erfüllt, so hat man eine Belegung gefunden, die zeigt, dass $\Gamma$ erfüllbar und damit widerspruchsfrei ist. Im andern Fall stellt sich heraus, dass zu jedem $\gamma$ mindestens ein $\alpha_i$ die Belegung falsch bekommt. Nach
Aufgabe 5.28 (Einführung in die mathematische Logik (Osnabrück 2021))
ist
\mathl{\gamma \rightarrow \alpha_i}{} oder
\mathl{\gamma \rightarrow \neg \alpha_i}{} ableitbar, wobei im gegebenen Fall nur die zweite Möglichkeit
\mathdisp {\vdash \gamma \rightarrow \neg \alpha_i} { }
verbleibt. Wegen
\mathl{\alpha_i \in \Gamma}{} erhält man also
\mathdisp {\Gamma \vdash \gamma \rightarrow q \wedge \neg q} { . }
Da dies für jede Kombination $\gamma$ gilt, kann man mit mehrfacher Anwendung der Fallunterscheidungsregel
\mathdisp {\Gamma \vdash q \wedge \neg q} { }
zeigen. In diesem Fall ist also $\Gamma$ widersprüchlich.
}
\inputaufgabeklausurloesung
{3}
{
Es sei $A(n)$ eine Aussage\zusatzklammer {nform} {} {,}
in die man eine natürliche Zahl einsetzen kann. Diskutiere den Unterschied zwischen den beiden Aussagen
\mathdisp {{ \left( \forall n A(n) \right) } \rightarrow { \left( \forall n A(n+1) \right) } \text{ und } \forall n { \left( A(n) \rightarrow A(n+1) \right) }} { . }
Was ist die mathematische Relevanz der beiden Aussagen?
}
{Vollständige Induktion/Allquantor/Aufgabe/Lösung
}
\inputaufgabeklausurloesung
{3}
{
Wir rechnen mit den Zahlen
\mathl{0,1,2,\text{viele}\,\, (v)}{} nach den folgenden Verknüpfungstabellen.
%Daten für folgende Tabelle
\renewcommand{\leitzeilenull}{ $+$ }
\renewcommand{\leitzeileeins}{ $0$ }
\renewcommand{\leitzeilezwei}{ $1$ }
\renewcommand{\leitzeiledrei}{ $2$ }
\renewcommand{\leitzeilevier}{ $v$ }
\renewcommand{\leitzeilefuenf}{ }
\renewcommand{\leitzeilesechs}{ }
\renewcommand{\leitzeilesieben}{ }
\renewcommand{\leitzeileacht}{ }
\renewcommand{\leitzeileneun}{ }
\renewcommand{\leitzeilezehn}{ }
\renewcommand{\leitzeileelf}{ }
\renewcommand{\leitzeilezwoelf}{ }
\renewcommand{\leitspaltenull}{ }
\renewcommand{\leitspalteeins}{ $0$ }
\renewcommand{\leitspaltezwei}{ $1$ }
\renewcommand{\leitspaltedrei}{ $2$ }
\renewcommand{\leitspaltevier}{ $v$ }
\renewcommand{\leitspaltefuenf}{ }
\renewcommand{\leitspaltesechs}{ }
\renewcommand{\leitspaltesieben}{ }
\renewcommand{\leitspalteacht}{ }
\renewcommand{\leitspalteneun}{ }
\renewcommand{\leitspaltezehn}{ }
\renewcommand{\leitspalteelf}{ }
\renewcommand{\leitspaltezwoelf}{ }
\renewcommand{\leitspaltedreizehn}{ }
\renewcommand{\leitspaltevierzehn}{ }
\renewcommand{\leitspaltefuenfzehn}{ }
\renewcommand{\leitspaltesechzehn}{ }
\renewcommand{\leitspaltesiebzehn}{ }
\renewcommand{\leitspalteachtzehn}{ }
\renewcommand{\leitspalteneunzehn}{ }
\renewcommand{\leitspaltezwanzig}{ }
\renewcommand{\aeinsxeins}{ 0 }
\renewcommand{\aeinsxzwei}{ 1 }
\renewcommand{\aeinsxdrei}{ 2 }
\renewcommand{\aeinsxvier}{ v }
\renewcommand{\aeinsxfuenf}{ }
\renewcommand{\aeinsxsechs}{ }
\renewcommand{\aeinsxsieben}{ }
\renewcommand{\aeinsxacht}{ }
\renewcommand{\aeinsxneun}{ }
\renewcommand{\aeinsxzehn}{ }
\renewcommand{\aeinsxelf}{ }
\renewcommand{\aeinsxzwoelf}{ }
\renewcommand{\azweixeins}{ 1 }
\renewcommand{\azweixzwei}{ 2 }
\renewcommand{\azweixdrei}{ v }
\renewcommand{\azweixvier}{ v }
\renewcommand{\azweixfuenf}{ }
\renewcommand{\azweixsechs}{ }
\renewcommand{\azweixsieben}{ }
\renewcommand{\azweixacht}{ }
\renewcommand{\azweixneun}{ }
\renewcommand{\azweixzehn}{ }
\renewcommand{\azweixelf}{ }
\renewcommand{\azweixzwoelf}{ }
\renewcommand{\adreixeins}{ 2 }
\renewcommand{\adreixzwei}{ v }
\renewcommand{\adreixdrei}{ v }
\renewcommand{\adreixvier}{ v }
\renewcommand{\adreixfuenf}{ }
\renewcommand{\adreixsechs}{ }
\renewcommand{\adreixsieben}{ }
\renewcommand{\adreixacht}{ }
\renewcommand{\adreixneun}{ }
\renewcommand{\adreixzehn}{ }
\renewcommand{\adreixelf}{ }
\renewcommand{\adreixzwoelf}{ }
\renewcommand{\avierxeins}{ v }
\renewcommand{\avierxzwei}{ v }
\renewcommand{\avierxdrei}{ v }
\renewcommand{\avierxvier}{ v }
\renewcommand{\avierxfuenf}{ }
\renewcommand{\avierxsechs}{ }
\renewcommand{\avierxsieben}{ }
\renewcommand{\avierxacht}{ }
\renewcommand{\avierxneun}{ }
\renewcommand{\avierxzehn}{ }
\renewcommand{\avierxelf}{ }
\renewcommand{\avierxzwoelf}{ }
\renewcommand{\afuenfxeins}{ }
\renewcommand{\afuenfxzwei}{ }
\renewcommand{\afuenfxdrei}{ }
\renewcommand{\afuenfxvier}{ }
\renewcommand{\afuenfxfuenf}{ }
\renewcommand{\afuenfxsechs}{ }
\renewcommand{\afuenfxsieben}{ }
\renewcommand{\afuenfxacht}{ }
\renewcommand{\afuenfxneun}{ }
\renewcommand{\afuenfxzehn}{ }
\renewcommand{\afuenfxelf}{ }
\renewcommand{\afuenfxzwoelf}{ }
\renewcommand{\asechsxeins}{ }
\renewcommand{\asechsxzwei}{ }
\renewcommand{\asechsxdrei}{ }
\renewcommand{\asechsxvier}{ }
\renewcommand{\asechsxfuenf}{ }
\renewcommand{\asechsxsechs}{ }
\renewcommand{\asechsxsieben}{ }
\renewcommand{\asechsxacht}{ }
\renewcommand{\asechsxneun}{ }
\renewcommand{\asechsxzehn}{ }
\renewcommand{\asechsxelf}{ }
\renewcommand{\asechsxzwoelf}{ }
\renewcommand{\asiebenxeins}{ }
\renewcommand{\asiebenxzwei}{ }
\renewcommand{\asiebenxdrei}{ }
\renewcommand{\asiebenxvier}{ }
\renewcommand{\asiebenxfuenf}{ }
\renewcommand{\asiebenxsechs}{ }
\renewcommand{\asiebenxsieben}{ }
\renewcommand{\asiebenxacht}{ }
\renewcommand{\asiebenxneun}{ }
\renewcommand{\asiebenxzehn}{ }
\renewcommand{\asiebenxelf}{ }
\renewcommand{\asiebenxzwoelf}{ }
\renewcommand{\aachtxeins}{ }
\renewcommand{\aachtxzwei}{ }
\renewcommand{\aachtxdrei}{ }
\renewcommand{\aachtxvier}{ }
\renewcommand{\aachtxfuenf}{ }
\renewcommand{\aachtxsechs}{ }
\renewcommand{\aachtxsieben}{ }
\renewcommand{\aachtxacht}{ }
\renewcommand{\aachtxneun}{ }
\renewcommand{\aachtxzehn}{ }
\renewcommand{\aachtxelf}{ }
\renewcommand{\aachtxzwoelf}{ }
\renewcommand{\aneunxeins}{ }
\renewcommand{\aneunxzwei}{ }
\renewcommand{\aneunxdrei}{ }
\renewcommand{\aneunxvier}{ }
\renewcommand{\aneunxfuenf}{ }
\renewcommand{\aneunxsechs}{ }
\renewcommand{\aneunxsieben}{ }
\renewcommand{\aneunxacht}{ }
\renewcommand{\aneunxneun}{ }
\renewcommand{\aneunxzehn}{ }
\renewcommand{\aneunxelf}{ }
\renewcommand{\aneunxzwoelf}{ }
\renewcommand{\azehnxeins}{ }
\renewcommand{\azehnxzwei}{ }
\renewcommand{\azehnxdrei}{ }
\renewcommand{\azehnxvier}{ }
\renewcommand{\azehnxfuenf}{ }
\renewcommand{\azehnxsechs}{ }
\renewcommand{\azehnxsieben}{ }
\renewcommand{\azehnxacht}{ }
\renewcommand{\azehnxneun}{ }
\renewcommand{\azehnxzehn}{ }
\renewcommand{\azehnxelf}{ }
\renewcommand{\azehnxzwoelf}{ }
\renewcommand{\aelfxeins}{ }
\renewcommand{\aelfxzwei}{ }
\renewcommand{\aelfxdrei}{ }
\renewcommand{\aelfxvier}{ }
\renewcommand{\aelfxfuenf}{ }
\renewcommand{\aelfxsechs}{ }
\renewcommand{\aelfxsieben}{ }
\renewcommand{\aelfxacht}{ }
\renewcommand{\aelfxneun}{ }
\renewcommand{\aelfxzehn}{ }
\renewcommand{\aelfxelf}{ }
\renewcommand{\aelfxzwoelf}{ }
\renewcommand{\azwoelfxeins}{ }
\renewcommand{\azwoelfxzwei}{ }
\renewcommand{\azwoelfxdrei}{ }
\renewcommand{\azwoelfxvier}{ }
\renewcommand{\azwoelfxfuenf}{ }
\renewcommand{\azwoelfxsechs}{ }
\renewcommand{\azwoelfxsieben}{ }
\renewcommand{\azwoelfxacht}{ }
\renewcommand{\azwoelfxneun}{ }
\renewcommand{\azwoelfxzehn}{ }
\renewcommand{\azwoelfxelf}{ }
\renewcommand{\azwoelfxzwoelf}{ }
\renewcommand{\adreizehnxeins}{ }
\renewcommand{\adreizehnxzwei}{ }
\renewcommand{\adreizehnxdrei}{ }
\renewcommand{\adreizehnxvier}{ }
\renewcommand{\adreizehnxfuenf}{ }
\renewcommand{\adreizehnxsechs}{ }
\renewcommand{\adreizehnxsieben}{ }
\renewcommand{\adreizehnxacht}{ }
\renewcommand{\adreizehnxneun}{ }
\renewcommand{\adreizehnxzehn}{ }
\renewcommand{\adreizehnxelf}{ }
\renewcommand{\adreizehnxzwoelf}{ }
\renewcommand{\avierzehnxeins}{ }
\renewcommand{\avierzehnxzwei}{ }
\renewcommand{\avierzehnxdrei}{ }
\renewcommand{\avierzehnxvier}{ }
\renewcommand{\avierzehnxfuenf}{ }
\renewcommand{\avierzehnxsechs}{ }
\renewcommand{\avierzehnxsieben}{ }
\renewcommand{\avierzehnxacht}{ }
\renewcommand{\avierzehnxneun}{ }
\renewcommand{\avierzehnxzehn}{ }
\renewcommand{\avierzehnxelf}{ }
\renewcommand{\avierzehnxzwoelf}{ }
\renewcommand{\afuenfzehnxeins}{ }
\renewcommand{\afuenfzehnxzwei}{ }
\renewcommand{\afuenfzehnxdrei}{ }
\renewcommand{\afuenfzehnxvier}{ }
\renewcommand{\afuenfzehnxfuenf}{ }
\renewcommand{\afuenfzehnxsechs}{ }
\renewcommand{\afuenfzehnxsieben}{ }
\renewcommand{\afuenfzehnxacht}{ }
\renewcommand{\afuenfzehnxneun}{ }
\renewcommand{\afuenfzehnxzehn}{ }
\renewcommand{\afuenfzehnxelf}{ }
\renewcommand{\afuenfzehnxzwoelf}{ }
\renewcommand{\asechzehnxeins}{ }
\renewcommand{\asechzehnxzwei}{ }
\renewcommand{\asechzehnxdrei}{ }
\renewcommand{\asechzehnxvier}{ }
\renewcommand{\asechzehnxfuenf}{ }
\renewcommand{\asechzehnxsechs}{ }
\renewcommand{\asechzehnxsieben}{ }
\renewcommand{\asechzehnxacht}{ }
\renewcommand{\asechzehnxneun}{ }
\renewcommand{\asechzehnxzehn}{ }
\renewcommand{\asechzehnxelf}{ }
\renewcommand{\asechzehnxzwoelf}{ }
\renewcommand{\asiebzehnxeins}{ }
\renewcommand{\asiebzehnxzwei}{ }
\renewcommand{\asiebzehnxdrei}{ }
\renewcommand{\asiebzehnxvier}{ }
\renewcommand{\asiebzehnxfuenf}{ }
\renewcommand{\asiebzehnxsechs}{ }
\renewcommand{\asiebzehnxsieben}{ }
\renewcommand{\asiebzehnxacht}{ }
\renewcommand{\asiebzehnxneun}{ }
\renewcommand{\asiebzehnxzehn}{ }
\renewcommand{\asiebzehnxelf}{ }
\renewcommand{\asiebzehnxzwoelf}{ }
\renewcommand{\aachtzehnxeins}{ }
\renewcommand{\aachtzehnxzwei}{ }
\renewcommand{\aachtzehnxdrei}{ }
\renewcommand{\aachtzehnxvier}{ }
\renewcommand{\aachtzehnxfuenf}{ }
\renewcommand{\aachtzehnxsechs}{ }
\renewcommand{\aachtzehnxsieben}{ }
\renewcommand{\aachtzehnxacht}{ }
\renewcommand{\aachtzehnxneun}{ }
\renewcommand{\aachtzehnxzehn}{ }
\renewcommand{\aachtzehnxelf}{ }
\renewcommand{\aachtzehnxzwoelf}{ }
\tabelleleitvierxvier
und %Daten für folgende Tabelle
\renewcommand{\leitzeilenull}{ $\cdot$ }
\renewcommand{\leitzeileeins}{ $0$ }
\renewcommand{\leitzeilezwei}{ $1$ }
\renewcommand{\leitzeiledrei}{ $2$ }
\renewcommand{\leitzeilevier}{ $v$ }
\renewcommand{\leitzeilefuenf}{ }
\renewcommand{\leitzeilesechs}{ }
\renewcommand{\leitzeilesieben}{ }
\renewcommand{\leitzeileacht}{ }
\renewcommand{\leitzeileneun}{ }
\renewcommand{\leitzeilezehn}{ }
\renewcommand{\leitzeileelf}{ }
\renewcommand{\leitzeilezwoelf}{ }
\renewcommand{\leitspaltenull}{ }
\renewcommand{\leitspalteeins}{ $0$ }
\renewcommand{\leitspaltezwei}{ $1$ }
\renewcommand{\leitspaltedrei}{ $2$ }
\renewcommand{\leitspaltevier}{ $v$ }
\renewcommand{\leitspaltefuenf}{ }
\renewcommand{\leitspaltesechs}{ }
\renewcommand{\leitspaltesieben}{ }
\renewcommand{\leitspalteacht}{ }
\renewcommand{\leitspalteneun}{ }
\renewcommand{\leitspaltezehn}{ }
\renewcommand{\leitspalteelf}{ }
\renewcommand{\leitspaltezwoelf}{ }
\renewcommand{\leitspaltedreizehn}{ }
\renewcommand{\leitspaltevierzehn}{ }
\renewcommand{\leitspaltefuenfzehn}{ }
\renewcommand{\leitspaltesechzehn}{ }
\renewcommand{\leitspaltesiebzehn}{ }
\renewcommand{\leitspalteachtzehn}{ }
\renewcommand{\leitspalteneunzehn}{ }
\renewcommand{\leitspaltezwanzig}{ }
\renewcommand{\aeinsxeins}{ 0 }
\renewcommand{\aeinsxzwei}{ 0 }
\renewcommand{\aeinsxdrei}{ 0 }
\renewcommand{\aeinsxvier}{ 0 }
\renewcommand{\aeinsxfuenf}{ }
\renewcommand{\aeinsxsechs}{ }
\renewcommand{\aeinsxsieben}{ }
\renewcommand{\aeinsxacht}{ }
\renewcommand{\aeinsxneun}{ }
\renewcommand{\aeinsxzehn}{ }
\renewcommand{\aeinsxelf}{ }
\renewcommand{\aeinsxzwoelf}{ }
\renewcommand{\azweixeins}{ 0 }
\renewcommand{\azweixzwei}{ 1 }
\renewcommand{\azweixdrei}{ 2 }
\renewcommand{\azweixvier}{ v }
\renewcommand{\azweixfuenf}{ }
\renewcommand{\azweixsechs}{ }
\renewcommand{\azweixsieben}{ }
\renewcommand{\azweixacht}{ }
\renewcommand{\azweixneun}{ }
\renewcommand{\azweixzehn}{ }
\renewcommand{\azweixelf}{ }
\renewcommand{\azweixzwoelf}{ }
\renewcommand{\adreixeins}{ 0 }
\renewcommand{\adreixzwei}{ 2 }
\renewcommand{\adreixdrei}{ v }
\renewcommand{\adreixvier}{ v }
\renewcommand{\adreixfuenf}{ }
\renewcommand{\adreixsechs}{ }
\renewcommand{\adreixsieben}{ }
\renewcommand{\adreixacht}{ }
\renewcommand{\adreixneun}{ }
\renewcommand{\adreixzehn}{ }
\renewcommand{\adreixelf}{ }
\renewcommand{\adreixzwoelf}{ }
\renewcommand{\avierxeins}{ 0 }
\renewcommand{\avierxzwei}{ v }
\renewcommand{\avierxdrei}{ v }
\renewcommand{\avierxvier}{ v }
\renewcommand{\avierxfuenf}{ }
\renewcommand{\avierxsechs}{ }
\renewcommand{\avierxsieben}{ }
\renewcommand{\avierxacht}{ }
\renewcommand{\avierxneun}{ }
\renewcommand{\avierxzehn}{ }
\renewcommand{\avierxelf}{ }
\renewcommand{\avierxzwoelf}{ }
\renewcommand{\afuenfxeins}{ }
\renewcommand{\afuenfxzwei}{ }
\renewcommand{\afuenfxdrei}{ }
\renewcommand{\afuenfxvier}{ }
\renewcommand{\afuenfxfuenf}{ }
\renewcommand{\afuenfxsechs}{ }
\renewcommand{\afuenfxsieben}{ }
\renewcommand{\afuenfxacht}{ }
\renewcommand{\afuenfxneun}{ }
\renewcommand{\afuenfxzehn}{ }
\renewcommand{\afuenfxelf}{ }
\renewcommand{\afuenfxzwoelf}{ }
\renewcommand{\asechsxeins}{ }
\renewcommand{\asechsxzwei}{ }
\renewcommand{\asechsxdrei}{ }
\renewcommand{\asechsxvier}{ }
\renewcommand{\asechsxfuenf}{ }
\renewcommand{\asechsxsechs}{ }
\renewcommand{\asechsxsieben}{ }
\renewcommand{\asechsxacht}{ }
\renewcommand{\asechsxneun}{ }
\renewcommand{\asechsxzehn}{ }
\renewcommand{\asechsxelf}{ }
\renewcommand{\asechsxzwoelf}{ }
\renewcommand{\asiebenxeins}{ }
\renewcommand{\asiebenxzwei}{ }
\renewcommand{\asiebenxdrei}{ }
\renewcommand{\asiebenxvier}{ }
\renewcommand{\asiebenxfuenf}{ }
\renewcommand{\asiebenxsechs}{ }
\renewcommand{\asiebenxsieben}{ }
\renewcommand{\asiebenxacht}{ }
\renewcommand{\asiebenxneun}{ }
\renewcommand{\asiebenxzehn}{ }
\renewcommand{\asiebenxelf}{ }
\renewcommand{\asiebenxzwoelf}{ }
\renewcommand{\aachtxeins}{ }
\renewcommand{\aachtxzwei}{ }
\renewcommand{\aachtxdrei}{ }
\renewcommand{\aachtxvier}{ }
\renewcommand{\aachtxfuenf}{ }
\renewcommand{\aachtxsechs}{ }
\renewcommand{\aachtxsieben}{ }
\renewcommand{\aachtxacht}{ }
\renewcommand{\aachtxneun}{ }
\renewcommand{\aachtxzehn}{ }
\renewcommand{\aachtxelf}{ }
\renewcommand{\aachtxzwoelf}{ }
\renewcommand{\aneunxeins}{ }
\renewcommand{\aneunxzwei}{ }
\renewcommand{\aneunxdrei}{ }
\renewcommand{\aneunxvier}{ }
\renewcommand{\aneunxfuenf}{ }
\renewcommand{\aneunxsechs}{ }
\renewcommand{\aneunxsieben}{ }
\renewcommand{\aneunxacht}{ }
\renewcommand{\aneunxneun}{ }
\renewcommand{\aneunxzehn}{ }
\renewcommand{\aneunxelf}{ }
\renewcommand{\aneunxzwoelf}{ }
\renewcommand{\azehnxeins}{ }
\renewcommand{\azehnxzwei}{ }
\renewcommand{\azehnxdrei}{ }
\renewcommand{\azehnxvier}{ }
\renewcommand{\azehnxfuenf}{ }
\renewcommand{\azehnxsechs}{ }
\renewcommand{\azehnxsieben}{ }
\renewcommand{\azehnxacht}{ }
\renewcommand{\azehnxneun}{ }
\renewcommand{\azehnxzehn}{ }
\renewcommand{\azehnxelf}{ }
\renewcommand{\azehnxzwoelf}{ }
\renewcommand{\aelfxeins}{ }
\renewcommand{\aelfxzwei}{ }
\renewcommand{\aelfxdrei}{ }
\renewcommand{\aelfxvier}{ }
\renewcommand{\aelfxfuenf}{ }
\renewcommand{\aelfxsechs}{ }
\renewcommand{\aelfxsieben}{ }
\renewcommand{\aelfxacht}{ }
\renewcommand{\aelfxneun}{ }
\renewcommand{\aelfxzehn}{ }
\renewcommand{\aelfxelf}{ }
\renewcommand{\aelfxzwoelf}{ }
\renewcommand{\azwoelfxeins}{ }
\renewcommand{\azwoelfxzwei}{ }
\renewcommand{\azwoelfxdrei}{ }
\renewcommand{\azwoelfxvier}{ }
\renewcommand{\azwoelfxfuenf}{ }
\renewcommand{\azwoelfxsechs}{ }
\renewcommand{\azwoelfxsieben}{ }
\renewcommand{\azwoelfxacht}{ }
\renewcommand{\azwoelfxneun}{ }
\renewcommand{\azwoelfxzehn}{ }
\renewcommand{\azwoelfxelf}{ }
\renewcommand{\azwoelfxzwoelf}{ }
\renewcommand{\adreizehnxeins}{ }
\renewcommand{\adreizehnxzwei}{ }
\renewcommand{\adreizehnxdrei}{ }
\renewcommand{\adreizehnxvier}{ }
\renewcommand{\adreizehnxfuenf}{ }
\renewcommand{\adreizehnxsechs}{ }
\renewcommand{\adreizehnxsieben}{ }
\renewcommand{\adreizehnxacht}{ }
\renewcommand{\adreizehnxneun}{ }
\renewcommand{\adreizehnxzehn}{ }
\renewcommand{\adreizehnxelf}{ }
\renewcommand{\adreizehnxzwoelf}{ }
\renewcommand{\avierzehnxeins}{ }
\renewcommand{\avierzehnxzwei}{ }
\renewcommand{\avierzehnxdrei}{ }
\renewcommand{\avierzehnxvier}{ }
\renewcommand{\avierzehnxfuenf}{ }
\renewcommand{\avierzehnxsechs}{ }
\renewcommand{\avierzehnxsieben}{ }
\renewcommand{\avierzehnxacht}{ }
\renewcommand{\avierzehnxneun}{ }
\renewcommand{\avierzehnxzehn}{ }
\renewcommand{\avierzehnxelf}{ }
\renewcommand{\avierzehnxzwoelf}{ }
\renewcommand{\afuenfzehnxeins}{ }
\renewcommand{\afuenfzehnxzwei}{ }
\renewcommand{\afuenfzehnxdrei}{ }
\renewcommand{\afuenfzehnxvier}{ }
\renewcommand{\afuenfzehnxfuenf}{ }
\renewcommand{\afuenfzehnxsechs}{ }
\renewcommand{\afuenfzehnxsieben}{ }
\renewcommand{\afuenfzehnxacht}{ }
\renewcommand{\afuenfzehnxneun}{ }
\renewcommand{\afuenfzehnxzehn}{ }
\renewcommand{\afuenfzehnxelf}{ }
\renewcommand{\afuenfzehnxzwoelf}{ }
\renewcommand{\asechzehnxeins}{ }
\renewcommand{\asechzehnxzwei}{ }
\renewcommand{\asechzehnxdrei}{ }
\renewcommand{\asechzehnxvier}{ }
\renewcommand{\asechzehnxfuenf}{ }
\renewcommand{\asechzehnxsechs}{ }
\renewcommand{\asechzehnxsieben}{ }
\renewcommand{\asechzehnxacht}{ }
\renewcommand{\asechzehnxneun}{ }
\renewcommand{\asechzehnxzehn}{ }
\renewcommand{\asechzehnxelf}{ }
\renewcommand{\asechzehnxzwoelf}{ }
\renewcommand{\asiebzehnxeins}{ }
\renewcommand{\asiebzehnxzwei}{ }
\renewcommand{\asiebzehnxdrei}{ }
\renewcommand{\asiebzehnxvier}{ }
\renewcommand{\asiebzehnxfuenf}{ }
\renewcommand{\asiebzehnxsechs}{ }
\renewcommand{\asiebzehnxsieben}{ }
\renewcommand{\asiebzehnxacht}{ }
\renewcommand{\asiebzehnxneun}{ }
\renewcommand{\asiebzehnxzehn}{ }
\renewcommand{\asiebzehnxelf}{ }
\renewcommand{\asiebzehnxzwoelf}{ }
\renewcommand{\aachtzehnxeins}{ }
\renewcommand{\aachtzehnxzwei}{ }
\renewcommand{\aachtzehnxdrei}{ }
\renewcommand{\aachtzehnxvier}{ }
\renewcommand{\aachtzehnxfuenf}{ }
\renewcommand{\aachtzehnxsechs}{ }
\renewcommand{\aachtzehnxsieben}{ }
\renewcommand{\aachtzehnxacht}{ }
\renewcommand{\aachtzehnxneun}{ }
\renewcommand{\aachtzehnxzehn}{ }
\renewcommand{\aachtzehnxelf}{ }
\renewcommand{\aachtzehnxzwoelf}{ }
\tabelleleitvierxvier
Zeige, dass es sich dabei um einen
\definitionsverweis {kommutativen Halbring}{}{}
handelt. Gilt für diesen die
\definitionsverweis {Abziehregel}{}{?}
}
{
Es sei $H$ die in Frage stehende Struktur mit der angegebenen Addition und Multiplikation. Die Abbildung
\maabbdisp {\varphi} {\N} {H
} {,}
die $0$ auf $0$, $1$ auf $1$, $2$ auf $2$ und jede weitere Zahl auf $v$ abbildet, ist surjektiv und sie respektiert, wie eine direkte Durchsicht zeigt, die Addition und die Multiplikation. Somit übertragen sich die Gesetze eines kommutativen Halbringes von $\N$ nach $H$. Die Abziehregel gilt in $H$ nicht, da
\mavergleichskettedisp
{\vergleichskette
{1+v
}
{ =} {v
}
{ =} {2+v
}
{ } {
}
{ } {
}
}
{}{}{}
ist, aber
\mavergleichskettedisp
{\vergleichskette
{1
}
{ \neq} {2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputaufgabeklausurloesung
{0}
{
}
{/Aufgabe/Lösung
}
\inputaufgabeklausurloesung
{0}
{
}
{/Aufgabe/Lösung
}
\inputaufgabeklausurloesung
{3}
{
Erstelle ein Programm für eine Registermaschine, das abwechselnd \mathkor {} {1} {und} {0} {} ausdruckt, das mit sechs Befehlszeilen auskommt und lediglich einen Sprungbefehl verwendet.
}
{
Die Register $R_1$ und $R_2$ seien zu Beginn leer.
\mathdisp {1. \,\, 1+} { }
\mathdisp {2. \,\, \text{Drucke}} { }
\mathdisp {3. \,\, 1-} { }
\mathdisp {4. \,\, \text{Drucke}} { }
\mathdisp {5. \,\, C(2,1)} { }
\mathdisp {6. \,\, \text{ Halte an}} { }
Am Anfang wird der erste Register auf $1$ erhöht und dies wird im zweiten Befehl ausgedruckt. Im dritten Befehl wird dieser Registerinhalt auf $0$ reduziert und dies im vierten Befehl ausgedruckt. Mit dem fünften Befehl wird auf den ersten Befehl umgeleitet, da der zweite Register stets auf $0$ bleibt, so dass sich alles wiederholt.
}
\inputaufgabeklausurloesung
{10}
{
Beweise den Fixpunktsatz der Prädikatenlogik.
}
{
\teilbeweis {}{}{}
{Wir betrachten die Abbildung
\maabbeledisp {F} {\N \times \N} {\N
} {(m,n)} {F(m,n)
} {,}
die durch
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ F(m,n)
}
{ \defeq} {\begin{cases} GN( \alpha(n)),\, \text { falls } m \text{ die } GN \text{ eines } \alpha \in L^{\rm Ar}_1 \text{ ist}\, , \\ 0 \text{ sonst} \, ,\end{cases}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
festgelegt ist. Bei der Berechnung von $F$ wird also zuerst geschaut, ob das erste Argument, also $m$, die Gödelnummer eines arithmetischen Ausdrucks mit genau einer freien Variablen ist. Falls nicht, so ist
\mavergleichskette
{\vergleichskette
{ F(m,n)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
unabhängig von $n$. Falls ja, so ist also
\mavergleichskette
{\vergleichskette
{m
}
{ = }{GN(\alpha)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ \alpha
}
{ \in }{ L^{\rm Ar}_1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
In diesem Ausdruck wird dann die einzige freie Variable durch das zweite Argument der Abbildung, also $n$, ersetzt, wobei man einen Satz
\mathl{\alpha(n)}{} erhält. Dessen Gödelnummer ist nach Definition der Wert der Abbildung
\mathl{F(m,n)}{.} In diesem Fall ist also
\mavergleichskette
{\vergleichskette
{ F(m,n)
}
{ = }{ GN(\alpha(n))
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Diese Erläuterungen zeigen zugleich, dass $F$
\definitionsverweis {berechenbar}{}{}
ist.}
{}\teilbeweis {}{}{}
{Da $\Gamma$ nach Voraussetzung Repräsentierungen erlaubt, gibt es einen Ausdruck
\mathl{\varphi(x,y,z)}{} mit drei freien Variablen, der diese Abbildung repräsentiert. D.h. es gilt für jede Belegung der Variablen mit natürlichen Zahlen
\mathl{m,n,k}{} die Beziehungen
\zusatzklammer {wir können annehmen, dass $\Gamma$
\definitionsverweis {widerspruchsfrei}{}{}
ist, da andernfalls das Resultat trivial ist} {} {}
\mathdisp {F(m,n)=k \text{ genau dann, wenn } \Gamma \vdash \varphi(m,n,k)} { , }
\mathdisp {F(m,n) \not = k \text{ genau dann, wenn } \Gamma \vdash \neg \varphi(m,n,k)} { }
und
\zusatzklammer {für jede Belegung $m,n$ für $x$ und $y$} {} {}
\mathdisp {\Gamma \vdash \exists ! z \varphi (m,n,z)} { . }
}
{}
\teilbeweis {}{}{}
{Den Fixpunkt zu einem vorgegebenen
\mavergleichskette
{\vergleichskette
{ \alpha
}
{ \in }{L^{\rm Ar}_1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
erhalten wir nun durch eine trickreiche Anwendung von $\varphi$. Wir setzen
\mavergleichskettedisp
{\vergleichskette
{s
}
{ \defeq} {\forall z { \left( \varphi(x,x,z) \rightarrow \alpha(z) \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Der Ausdruck $s$ besitzt die Gödelnummer
\mathl{GN(s)}{.} Wir behaupten nun, dass der Satz
\mavergleichskettedisp
{\vergleichskette
{q
}
{ \defeq} { s \frac{ GN(s)}{x}
}
{ =} {\forall z { \left( \varphi (GN(s),GN(s),z) \rightarrow \alpha(z) \right) }
}
{ } {
}
{ } {
}
}
{}{}{}
die zu beweisende Ableitungsbeziehung
\mathl{\Gamma \vdash q \leftrightarrow \alpha ( GN(q))}{} erfüllt.}
{}
\teilbeweis {}{}{}
{Der Ausdruck $s$ besitzt die einzige freie Variable $x$, daher gilt
\mavergleichskettedisp
{\vergleichskette
{ F(GN(s),GN(s))
}
{ =} { GN { \left( s \frac{GN(s)}{x} \right) }
}
{ =} { GN(q)
}
{ } {
}
{ } {
}
}
{}{}{.}
Aufgrund der Repräsentierungseigenschaft ist daher
\mathdisp {\Gamma \vdash \varphi (GN(s),GN(s),GN(q))} { . }
Aus der Allaussage $q$ erhält man durch
\definitionsverweis {Spezialisierung}{}{}
\zusatzklammer {man ersetzt die Variable $z$ durch den Term \mathlk{GN(q)}{}} {} {}
\mathdisp {\vdash q \rightarrow { \left( \varphi(GN(s), GN(s), GN(q)) \rightarrow \alpha (GN(q)) \right) }} { . }
Da das Antezedens der rechten Implikation aus $\Gamma$ ableitbar ist, folgt
\mathdisp {\Gamma \vdash q \rightarrow \alpha(GN(q))} { . }
}
{\leerzeichen{}Dies besagt also die Ableitbarkeit der Hinrichtung.}
\teilbeweis {}{}{}
{Die aufgrund der Repräsentierbarkeit oben angeführte eindeutige Existenzaussage führt zu
\mathdisp {\Gamma \vdash \forall z { \left( \varphi(GN(s), GN(s),z) \rightarrow (z = GN(q)) \right) }} { . }
Durch
\definitionsverweis {Substitution}{}{}
ergibt sich
\mathdisp {\vdash ( z = GN(q)) \rightarrow ( \alpha (GN(q)) \rightarrow \alpha (z) )} { }
und somit nach einer prädikatenlogischen Umformulierung
\mathdisp {\Gamma \vdash \forall z { \left( \varphi(GN(s), GN(s),z) \wedge \alpha (GN(q)) \rightarrow \alpha (z) \right) }} { . }
Da hierbei
\mathl{\alpha(GN(q))}{} keine freie Variablen besitzt, ist auch
\mathdisp {\Gamma \vdash \alpha (GN(q)) \rightarrow { \left( \forall z (\varphi(GN(s), GN(s),z) \rightarrow \alpha (z)) \right) }} { , }
und das Sukzedens ist gerade $q$, so dass auch die Rückrichtung ableitbar ist.}
{}
}
\inputaufgabeklausurloesung
{0}
{
}
{/Aufgabe/Lösung
}
\inputaufgabeklausurloesung
{0}
{
}
{/Aufgabe/Lösung
}
\inputaufgabeklausurloesung
{0}
{
}
{/Aufgabe/Lösung
}
\inputaufgabeklausurloesung
{0}
{
}
{/Aufgabe/Lösung
}
\inputaufgabeklausurloesung
{0}
{
}
{/Aufgabe/Lösung
}