Kurs:Einführung in die mathematische Logik/7/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}{ 1 }
\renewcommand{\avier}{ 7 }
\renewcommand{\afuenf}{ 7 }
\renewcommand{\asechs}{ 2 }
\renewcommand{\asieben}{ 4 }
\renewcommand{\aacht}{ 0 }
\renewcommand{\aneun}{ 5 }
\renewcommand{\azehn}{ 5 }
\renewcommand{\aelf}{ 3 }
\renewcommand{\azwoelf}{ 0 }
\renewcommand{\adreizehn}{ 0 }
\renewcommand{\avierzehn}{ 4 }
\renewcommand{\afuenfzehn}{ 0 }
\renewcommand{\asechzehn}{ 4 }
\renewcommand{\asiebzehn}{ 48 }
\renewcommand{\aachtzehn}{ }
\renewcommand{\aneunzehn}{ }
\renewcommand{\azwanzig}{ }
\renewcommand{\aeinundzwanzig}{ }
\renewcommand{\azweiundzwanzig}{ }
\renewcommand{\adreiundzwanzig}{ }
\renewcommand{\avierundzwanzig}{ }
\renewcommand{\afuenfundzwanzig}{ }
\renewcommand{\asechsundzwanzig}{ }
\punktetabellesechzehn
\klausurnote
\newpage
\setcounter{section}{0}
\inputaufgabeklausurloesung
{3}
{
Definiere die folgenden \zusatzklammer {kursiv gedruckten} {} {} Begriffe. \aufzaehlungsechs{Ein Primzahl\stichwort {zwilling} {.}
}{Eine \stichwort {Wahrheitsbelegung} {} für eine Menge an Aussagenvariablen.
}{Eine
\stichwort {maximal widerspruchsfreie} {}
Teilmenge
\mathl{\Gamma \subseteq L^V}{} zu einer Menge $V$ an
\definitionsverweis {Aussagenvariablen}{}{.}
}{Die \stichwort {Interpretation der Terme} {} zu einem \definitionsverweis {Symbolalphabet}{}{} $S$ in einer gegebenen $S$-\definitionsverweis {Interpretation}{}{} auf einer Grundmenge $M$.
}{Ein \stichwort {allgemeingültiger} {} prädikatenlogischer Ausdruck $\alpha \in L^S$.
}{Ein \stichwort {gerichteter Graph} {.} }
}
{
\aufzaehlungsechs{Ein Primzahlzwilling ist ein Paar bestehend aus
\mathkor {} {p} {und} {p+2} {,}
wobei diese beiden Zahlen
\definitionsverweis {Primzahlen}{}{}
sind.
}{Unter einer
Wahrheitsbelegung
versteht man eine
\definitionsverweis {Abbildung}{}{}
\maabbdisp {\lambda} {V} {\{0,1\}
} {.}
}{Die Teilmenge
\mathl{\Gamma \subseteq L^V}{} heißt
maximal widerspruchsfrei,
wenn $\Gamma$
\definitionsverweis {widerspruchsfrei}{}{}
ist und jede echt größere Menge
\mathl{\Gamma \subset \Gamma'}{} widersprüchlich ist.
}{Die Terminterpretation
\mathl{I(t) \in M}{} wird induktiv über den Aufbau der Terme für jeden
$S$-\definitionsverweis {Term}{}{}
$t$ definiert.
\aufzaehlungzwei {Für jede Konstante $c$ und jede Variable $x$ ist die Terminterpretation durch die Interpretation bzw. die Belegung direkt gegeben, also
\mathl{I(c)=c^M}{} und
\mathl{I(x)=x^M}{.}
} {Wenn
\mathl{t_1 , \ldots , t_n}{} Terme mit Interpretationen
\mathl{I(t_1) , \ldots , I(t_n)}{} sind und wenn $f$ ein $n$-stelliges Funktionssymbol ist, so wird der Term
\mathl{ft_1 \ldots t_n}{} als
\mathl{f^M(I(t_1) , \ldots , I(t_n))}{} interpretiert.
}
}{Man nennt $\alpha$ allgemeingültig, wenn er in jeder
$S$-\definitionsverweis {Interpretation}{}{}
$I$ gilt.
}{Ein
gerichteter Graph
ist eine Menge $M$ versehen mit einer fixierten
\definitionsverweis {Relation}{}{}
\mathl{R \subseteq M \times M}{.}
}
}
\inputaufgabeklausurloesung
{3}
{
Formuliere die folgenden Sätze. \aufzaehlungdrei{Das \stichwort {Lemma von Zorn} {.}}{Der \stichwort {Vollständigkeitssatz der Aussagenlogik} {.}}{Der \stichwort {Satz über die induktive Definition einer Abbildung} {} auf einem Peano-Dedekind-Modell $(N,0,\prime)$.}
}
{
\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 $V$ eine Menge an
\definitionsverweis {Aussagenvariablen}{}{}
und
\mathl{\Gamma \subseteq L^V}{} eine Teilmenge der zugehörigen
\definitionsverweis {Sprache der Aussagenlogik}{}{.}
Es sei
\mathl{\alpha \in L^V}{.} Dann ist
\mathdisp {\Gamma \vdash \alpha \text{ genau dann, wenn } \Gamma \vDash \alpha} { . }
}{Es sei $M$ eine Menge mit einem fixierten Element
\mathl{s \in M}{} und einer
\definitionsverweis {Abbildung}{}{}
\maabb {F} {M} {M
} {.}
Dann gibt es genau eine Abbildung
\maabbeledisp {\varphi} {N} {M
} {n} {\varphi(n)
} {,}
die die beiden Eigenschaften
\mathdisp {\varphi(0) = s \text{ und } \varphi(n^\prime) = F ( \varphi(n)) \text { für alle } n \in \N} { }
erfüllt.}
}
\inputaufgabeklausurloesung
{1}
{
Negiere die Aussage \anfuehrung{Martina findet alle Jungs im Kurs außer Markus zuckersüß}{} durch eine Aussage, in der eine Existenzaussage und eine Oder-Verknüpfung vorkommen.
}
{
Martina findet Markus zuckersüß oder es gibt im Kurs einen von Markus verschiedenen Jungen, den sie nicht zuckersüß findet.
}
\inputaufgabeklausurloesung
{7}
{
Beweise den Satz über die Auffüllung widerspruchsfreier aussagenlogischer Mengen im abzählbaren Fall.
}
{
Es sei
\mathbed {p_n} {}
{n \in \N_+} {}
{} {} {} {,}
eine
\zusatzklammer {surjektive, aber nicht notwendigerweise injektive} {} {}
Aufzählung der Aussagenvariablen. Die Voraussetzung bedeutet, dass
\mavergleichskette
{\vergleichskette
{ \Gamma_0
}
{ \defeq }{ \Gamma^\vdash
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
keinen Widerspruch enthält. Wir konstruieren eine
\zusatzklammer {endliche oder abzählbar unendliche} {} {}
Folge von aufsteigenden widerspruchsfreien Teilmengen
\mavergleichskette
{\vergleichskette
{\Gamma_n
}
{ \subseteq }{\Gamma_{n+1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
wobei in $\Gamma_n$ für jede Variable
\mathbed {p_i} {}
{1 \leq i \leq n} {}
{} {} {} {,}
die Alternative entweder
\mavergleichskette
{\vergleichskette
{p_i
}
{ \in }{\Gamma_n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder
\mavergleichskette
{\vergleichskette
{\neg p_i
}
{ \in }{\Gamma_n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt. Das Konstruktionsverfahren definieren und diese Aussage beweisen wir durch Induktion über
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{\N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Für $\Gamma_0$ ist dies richtig. Es sei
\mathl{\Gamma_n}{} schon konstruiert. Bei
\mavergleichskette
{\vergleichskette
{p_{n+1}
}
{ \in }{\Gamma_n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder
\mavergleichskette
{\vergleichskette
{\neg p_{n+1}
}
{ \in }{\Gamma_n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
setzen wir
\mavergleichskettedisp
{\vergleichskette
{\Gamma_{n+1}
}
{ \defeq} { \Gamma_n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wegen der Widerspruchsfreiheit von $\Gamma_n$ können nicht sowohl
\mathkor {} {p_{n+1}} {als auch} {\neg p_{n+1}} {}
zu $\Gamma_n$ gehören. Wenn weder
\mathl{p_{n+1}}{} noch
\mathl{\neg p_{n+1}}{} zu $\Gamma_n$ gehören, so setzen wir
\mavergleichskettedisp
{\vergleichskette
{\Gamma_{n+1}
}
{ \defeq} { { \left( \Gamma_n \cup {p_{n+1} } \right) }^\vdash
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {man könnte genauso gut
\mathl{\neg p_{n+1}}{} hinzunehmen} {} {.}
Nach Konstruktion ist
\mathl{\Gamma_{n+1}}{} abgeschlossen unter der Ableitungsbeziehung und erfüllt die
\zusatzklammer {Oder} {} {-}Alterna\-tive für alle Variablen
\mathbed {p_i} {}
{i \leq n +1} {}
{} {} {} {.}
Wenn
\mathl{\Gamma_{n+1}}{} widersprüchlich wäre, so gelte insbesondere
\mathl{\Gamma_n \cup \{ p_{n+1} \} \vdash \neg p_{n+1}}{.} Dann würde aber auch
\mathl{\Gamma_n \vdash p_{n+1} \rightarrow \neg p_{n+1}}{} gelten und somit nach der Fallunterscheidungsregel auch
\mathl{\Gamma_n \vdash \neg p_{n+1}}{,} also
\mavergleichskette
{\vergleichskette
{\neg p_{n+1}
}
{ \in }{\Gamma_n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
im Widerspruch zu dem Fall, in dem wir uns befinden. Daher liegt für die Aussagenvariablen auch die Entweder-Oder-Alternative vor.
Mit dieser induktiven Definition setzen wir
\mavergleichskettedisp
{\vergleichskette
{\Gamma'
}
{ \defeq} { \bigcup_{n \in \N} \Gamma_n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Diese Menge $\Gamma'$ ist widerspruchsfrei, da andernfalls schon eines der $\Gamma_n$ einen Widerspruch enthalten würde, und auch abgeschlossen unter Ableitungen, da dies für die einzelnen $\Gamma_n$ gilt und eine Ableitung nur endlich viele Voraussetzungen besitzt. Ferner gilt für jedes
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{\N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Alternative
\mathkor {} {p_n \in \Gamma'} {oder} {\neg p_n \in \Gamma'} {.}
Damit sind die Voraussetzungen von
Lemma 4.7 (Einführung in die mathematische Logik (Osnabrück 2021))
erfüllt und $\Gamma'$ ist maximal widerspruchsfrei.
}
\inputaufgabeklausurloesung
{7 (1+1+2+3)}
{
Der Planet Trigeno wird von einer einzigen Tierart bevölkert, den Trigos. Diese Tierart besitzt drei Geschlechter: Antilopen (A), Büffel (B) und Cnus (C). Bei der Paarung treffen zwei Individuen zusammen und erzeugen ein neues Individuum. Wenn das Paar gleichgeschlechtlich ist, so ist das Ergebnis wieder dieses Geschlecht, wenn das Paar gemischtgeschlechtlich ist, so ist das Ergebnis das dritte unbeteiligte Geschlecht. Alle Tiere gehören einer eindeutigen Generation an. \aufzaehlungvier{Die $n$-te Generation bestehe nur aus einem einzigen Geschlecht. Zeige, dass jede weitere Generation auch nur aus diesem Geschlecht besteht. }{Die $n$-te Generation bestehe nur aus zwei Individuen unterschiedlichen Geschlechts. Zeige, dass diese Geschlechter mit ihrer Generation aussterben. }{Es gelte nun die zusätzliche Bedingung, dass jedes Paar nur einen Nachkommen erzeugen darf. Zeige, dass die Tierart genau dann aussterben muss, wenn es in einer Generation nur zwei oder weniger Individuen gibt. }{Es gelte nun die zusätzliche Bedingung, dass jedes Paar nur einen Nachkommen erzeugen darf, und in jeder Generation gebe es genau drei Individuen. Beschreibe die möglichen Generationsabfolgen. Welche Periodenlängen treten auf? }
}
{
\aufzaehlungvier{Wenn die Generation nur aus dem Geschlecht $X$ besteht, so sind nur Paarungen innerhalb dieses Geschlechts möglich und das Ergebnis gehört stets diesem Geschlecht an. Mit Induktion folgt, dass dies über alle folgenden Generationen so bleibt.
}{Die Generation bestehe aus einem Individuum des Geschlechts $X$ und aus einem Individuum des Geschlechts
\mavergleichskette
{\vergleichskette
{Y
}
{ \neq }{X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die Folgegeneration besteht dann ausschließlich aus dem dritten Geschlecht $Z$ und nach Teil (1) überträgt sich das auf alle folgenden Generationen.
}{Wenn es nur ein oder kein Individuum gibt, so ist keine Paarung möglich und die nächste Generation ist leer. Wenn es zwei Individuen gibt, so ist nur eine Paarung möglich und es gibt nur einen Nachkommen, der sich allein nicht fortpflanzen kann. Wenn es dagegen mindestens drei Individuen, egal welchen Geschlechts, gibt, so sind auch mindestens drei Paarungen möglich und die nächste Generation besitzt mindestens wieder drei Individuen.
}{Wenn drei gleichgeschlechtliche Individuen in einer Generation leben, so erzeugen die drei möglichen Paare stets wieder ebendieses Geschlecht. Die Möglichkeiten sind
\mathl{A,A,A}{} oder
\mathl{B,B,B}{} oder
\mathl{C,C,C}{} und die Periodenlänge ist $1$.
Wenn drei unterschiedliche Geschlechter vertreten sind, so ist jedes Geschlecht durch genau ein Individuum vertreten, es liegt also
\mathl{A,B,C}{} vor. Die drei Paarungen führen dann wieder zu
\mathl{A,B,C}{} und die Periodenlänge ist ebenfalls $1$.
Wenn ein Geschlecht durch zwei Individuen vertreten ist und ein zweites Geschlecht durch ein Individuum, sagen wir
\mathl{X,X,Y}{,} so wird daraus
\mathl{X,Z,Z}{} und daraus
\mathl{Y,Y,Z}{} und daraus
\mathl{X,X,Y}{.} Die Periodenlänge ist also $3$. Von diesem Typ gibt es zwei Generationsabfolgen, nämlich die mit
\mathl{A,A,B}{}
\zusatzklammer {mit \mathlk{A,C,C}{} und \mathlk{B,B,C}{}} {} {}
und die mit
\mathl{A,B,B}{}
\zusatzklammer {mit \mathlk{B,C,C}{} und \mathlk{A,A,C}{}} {} {.}
}
}
\inputaufgabeklausurloesung
{2}
{
Es seien
\mathl{p,q}{} verschiedene Aussagenvariablen. Begründe die
\zusatzklammer {Un} {} {}Richtigkeit der beiden folgenden Aussagen.
\aufzaehlungzwei {
\mathl{\vdash p}{} genau dann, wenn
\mathl{\vdash q}{.}
} {
\mathl{\vdash p \leftrightarrow q}{.}
}
}
{
\aufzaehlungzwei {Da
\mathl{\vdash p}{} ebensowenig wie
\mathl{\vdash q}{} gilt, ist die Äquivalenz der beiden Ableitungen gegeben.
} {Der Ausdruck
\mathl{p \leftrightarrow q}{} ist nicht ableitbar, da er keine semantische Tautologie ist, wie man sieht, wenn man $p$ mit $1$ und $q$ mit $0$ belegt.
}
}
\inputaufgabeklausurloesung
{4}
{
Es sei ein Symbolalphabet $S$ einer
\definitionsverweis {Sprache erster Stufe}{}{}
gegeben. Es seien
\mathl{x_1 , \ldots , x_k}{} paarweise verschiedene Variablen und
\mathl{t_1 , \ldots , t_k}{} fixierte
$S$-\definitionsverweis {Terme}{}{.}
Zeige, dass für jeden $S$-Satz
\mathl{\alpha \in L^S_0}{} die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ \alpha { \frac{ t_1 , \ldots , t_k }{ x_1 , \ldots , x_k } }
}
{ =} { \alpha
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}
{
Für Sätze
\mathl{\alpha \in L^S_0}{} gibt es mi rekursiven Aufbau grundsätzlich zwei Möglichkeiten. Entweder sind sie von der Form
\mathl{\forall x \beta}{} oder
\mathl{\exists x \beta}{,} wobei in $\alpha$ höchstens die Variable $x$ frei vorkommt, oder sie entstehen durch aussagenlogische Verknüpfungen aus Sätzen.
Im ersten Fall ergibt sich aus der Voraussetzung
\mathl{\alpha= \forall x \beta \in L^S_0}{,} dass in $\alpha$ keine Variable frei vorkommt. Somit ist die relevante Variablenmenge und entsprechend die relevante Termmenge leer. Daher ist als \anfuehrung{Hilfsvariable}{}
\mavergleichskettedisp
{\vergleichskette
{v
}
{ =} {x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
zu wählen, und es ist
\mavergleichskettedisp
{\vergleichskette
{ (\forall x \beta ) { \frac{ t_1 , \ldots , t_k }{ x_1 , \ldots , x_k } }
}
{ =} { \forall x (\beta { \frac{ x }{ x } } )
}
{ =} { \forall x \beta
}
{ } {
}
{ } {
}
}
{}{}{.}
Bei aussagenlogisch zusammengesetzten Sätzen ergibt sich die Behauptung unmittelbar.
}
\inputaufgabeklausurloesung
{0}
{
}
{/Aufgabe/Lösung
}
\inputaufgabeklausurloesung
{5}
{
Beweise den Satz über die Division mit Rest in einem Peano-Halbring.
}
{
Wir betrachten zum Nachweis der Existenz die erststufige Aussage
\mathdisp {\forall d { \left( d \geq 1 \rightarrow \exists q \exists r { \left( m = dq+r \wedge r \leq d \wedge \neg r = d \right) } \right) }} { , }
die $m$ als einzige freie Variable besitzt. Für
\mavergleichskette
{\vergleichskette
{m
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist die Aussage mit
\mavergleichskette
{\vergleichskette
{q
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{r
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
richtig. Zum Beweis des Induktionsschritts sei
\mavergleichskettedisp
{\vergleichskette
{m
}
{ =} { dq +r
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit den angegebenen Eigenschaften. Daher ist
\mavergleichskettedisp
{\vergleichskette
{m+1
}
{ =} {dq + r+1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wenn
\mavergleichskette
{\vergleichskette
{r'
}
{ = }{r+1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kleiner als $d$ ist, so erfüllen
\mathl{q,r'}{} die geforderten Eigenschaften. Bei
\mavergleichskette
{\vergleichskette
{r+1
}
{ \geq }{d
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
muss
\mavergleichskette
{\vergleichskette
{r+1
}
{ = }{d
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nach
Aufgabe 12.23 (Einführung in die mathematische Logik (Osnabrück 2021))
gelten.
Dann ist
\mavergleichskettedisp
{\vergleichskette
{m+1
}
{ =} { dq+r+1
}
{ =} { dq+d
}
{ =} { d(q+1)
}
{ } {
}
}
{}{}{,}
so dass
\mathkor {} {q+1} {und} {0} {}
das Geforderte leisten. Für die Eindeutigkeit siehe
Aufgabe 13.22 (Einführung in die mathematische Logik (Osnabrück 2021)).
}
\inputaufgabeklausurloesung
{5 (3+2)}
{
Es sei $S$ ein Symbolalphabet ohne Funktionssymbole und sei $M$ eine endliche $S$-\definitionsverweis {Struktur}{}{.} \aufzaehlungzwei {Charakterisiere die Automorphismengruppe von $M$ mit Hilfe der \definitionsverweis {elementaren Äquivalenzklassen}{}{.} } {Beweise Satz 17.6 (Einführung in die mathematische Logik (Osnabrück 2021)) in diesem Fall. }
}
{
\aufzaehlungzwei {Es seien
\mavergleichskette
{\vergleichskette
{M_1 , \ldots , M_k
}
{ \subseteq }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die elementaren Äquivalenzklassen. Ein Automorphismus muss bijektiv sein und ein Element aus $M_j$ nach
Satz 16.7 (Einführung in die mathematische Logik (Osnabrück 2021))
auf ein Element aus $M_j$ abbilden. Wir behaupten, dass jede bijektive Abbildung, die diese Bedingung erfüllt, bereits ein Automorphismus ist, also
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{Aut} \, M
}
{ =} { \operatorname{Perm} \,( M_1) \times \cdots \times \operatorname{Perm} \,( M_k)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Eine Abbildung aus der Menge rechts führt aber Konstanten in sich und erhält nach
Lemma 16.14 (Einführung in die mathematische Logik (Osnabrück 2021))
die Relationen. Da es keine Funktionssymbole gibt, handelt es sich bereits um einen Isomorphismus.
} {Es seien
\mathkor {} {M} {und} {N} {}
zueinander elementar äquivalent und seien
\mavergleichskette
{\vergleichskette
{M_1 , \ldots , M_k
}
{ \subseteq }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die elementare Äquivalenzklassen von $M$. Diese werden nach
Lemma 16.11 (Einführung in die mathematische Logik (Osnabrück 2021))
durch Ausdrücke
\mathl{\alpha_1 , \ldots , \alpha_k}{} in einer freien Variablen charakterisiert. Mit Hilfe von $\exists x \alpha_j$ ergibt sich, dass es in $N$ die entsprechenden Äquivalenzklassen
\mavergleichskette
{\vergleichskette
{N_1 , \ldots , N_k
}
{ \subseteq }{ N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt. Die Argumente aus Teil (1) zeigen, dass jede Bijektion, die jedes $M_j$ in das zugehörige $N_j$ überführt, bereits ein Isomorphismus ist.
}
}
\inputaufgabeklausurloesung
{3}
{
Erstelle ein Programm für eine Registermaschine, das abwechselnd \mathkor {} {1} {und} {0} {} ausdruckt, das mit sechs Befehlszeilen auskommt und lediglich einen Druckbefehl verwendet.
}
{
Der Register $R_1$ sei zu Beginn leer.
\mathdisp {1. \,\, 1+} { }
\mathdisp {2. \,\, \text{Drucke}} { }
\mathdisp {3. \,\, C(1,1)} { }
\mathdisp {4. \,\, 1-} { }
\mathdisp {5. \,\, C(1,2)} { }
\mathdisp {6. \,\, \text{ Halte an}} { }
Am Anfang wird $1$ ausgedruckt. Wenn im Befehl 2 eine $1$ ausgedruckt wird, so steht im ersten Register eine $1$ und im Befehl 3 wird nicht auf Befehl 1 umgeleitet, sondern nach Befehl 4 weitergeleitet. Danach steht im ersten Register eine $0$ und Befehl 5 leitet nach Befehl 2 um, wo die $0$ gedruckt wird. Wenn im Befehl 2 eine $0$ ausgedruckt wird, so steht im ersten Register eine $0$ und im Befehl 3 wird auf Befehl 1 umgeleitet. Dort wird der erste Register auf $1$ erhöht und dies wird im Befehl 2 ausgedruckt.
}
\inputaufgabeklausurloesung
{0}
{
}
{/Aufgabe/Lösung
}
\inputaufgabeklausurloesung
{0}
{
}
{/Aufgabe/Lösung
}
\inputaufgabeklausurloesung
{4}
{
Es sei $M$ eine beliebige Menge. Zeige, dass es keine \definitionsverweis {surjektive Abbildung}{}{} von $M$ in die \definitionsverweis {Potenzmenge}{}{} $\mathfrak {P} \, (M )$ geben kann.
}
{
Wir nehmen an, dass es eine surjektive Abbildung
\maabbeledisp {F} {M} { \mathfrak {P} \, (M ) } {x} {F(x) } {,}
gibt, und müssen dies zu einem Widerspruch führen. Dazu betrachten wir
\mavergleichskettedisp
{\vergleichskette
{ T
}
{ =} { { \left\{ x \in M \mid x \notin F(x) \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Da dies eine Teilmenge von $M$ ist, muss es wegen der Surjektivität ein
\mavergleichskette
{\vergleichskette
{y
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
geben mit
\mavergleichskettedisp
{\vergleichskette
{ F(y)
}
{ =} { T
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Es gibt nun zwei Fälle, nämlich
\mathkor {} {y \in F(y)} {oder} {y \not\in F(y)} {.} Im ersten Fall ist also
\mavergleichskette
{\vergleichskette
{y
}
{ \in }{T
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
und damit, nach der Definition von $T$, auch
\mavergleichskette
{\vergleichskette
{y
}
{ \notin }{ F(y)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
Widerspruch. Im zweiten Fall ist, wieder aufgrund der Definition von $T$,
\mavergleichskette
{\vergleichskette
{y
}
{ \in }{T
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
und das ist ebenfalls ein Widerspruch.
}
\inputaufgabeklausurloesung
{0}
{
}
{/Aufgabe/Lösung
}
\inputaufgabeklausurloesung
{4}
{
Zeige, dass in einem
\definitionsverweis {gerichteten Graphen}{}{}
\mathl{(M,R)}{} das modallogische
\definitionsverweis {Möglichkeitsaxiom}{}{}
genau dann gilt, wenn in $M$ jeder Punkt einen Nachfolger besitzt.
}
{
Es sei
\mathl{(M,R)}{} gegeben. Es sei zunächst vorausgesetzt, dass in $R$ jedes Element einen Nachfolger besitzt und sei
\mathdisp {w \vDash \Box \alpha} { }
für eine Welt
\mavergleichskette
{\vergleichskette
{w
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es sei
\mavergleichskette
{\vergleichskette
{v
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mathl{wRv}{.} Dann ist
\mathdisp {v \vDash \alpha} { }
und somit
\mathdisp {w \vDash \Diamond \alpha} { , }
also
\mathdisp {w \vDash \Box \alpha \rightarrow \Diamond \alpha} { . }
Es sei umgekehrt angenommen, dass $M$ eine Sackgassenwelt $w$ besitzt. Dann ist für eine beliebige Aussagenvariable $p$
\mathdisp {w \vDash \Box p} { , }
aber
\mathdisp {w \not\vDash \Diamond p} { , }
und das Möglichkeitsaxiom kann nicht gelten.
}