Kurs:Einführung in die mathematische Logik/5/Klausur/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}{ 14 }
\renewcommand{\afuenf}{ 5 }
\renewcommand{\asechs}{ 8 }
\renewcommand{\asieben}{ 4 }
\renewcommand{\aacht}{ 5 }
\renewcommand{\aneun}{ 3 }
\renewcommand{\azehn}{ 4 }
\renewcommand{\aelf}{ 4 }
\renewcommand{\azwoelf}{ 3 }
\renewcommand{\adreizehn}{ 7 }
\renewcommand{\avierzehn}{ 64 }
\renewcommand{\afuenfzehn}{ }
\renewcommand{\asechzehn}{ }
\renewcommand{\asiebzehn}{ }
\renewcommand{\aachtzehn}{ }
\renewcommand{\aneunzehn}{ }
\renewcommand{\azwanzig}{ }
\renewcommand{\aeinundzwanzig}{ }
\renewcommand{\azweiundzwanzig}{ }
\renewcommand{\adreiundzwanzig}{ }
\renewcommand{\avierundzwanzig}{ }
\renewcommand{\afuenfundzwanzig}{ }
\renewcommand{\asechsundzwanzig}{ }
\punktetabelledreizehn
\klausurnote
\newpage
\setcounter{section}{0}
\inputaufgabegibtloesung
{3}
{
Definiere die folgenden \zusatzklammer {kursiv gedruckten} {} {} Begriffe. \aufzaehlungsechs{Die zu einer \zusatzklammer {aussagenlogischen} {} {} Wahrheitsbelegung \maabbdisp {\lambda} { V} { \{0,1\} } {} auf einer Aussagenvariablenmenge $V$ zugehörige \stichwort {Interpretation} {} auf der Sprache $L^V$.
}{Das \stichwort {Alphabet einer Sprache erster Stufe} {.}
}{Ein \stichwort {Nichtstandardmodell} {} zu einem fixierten $S$-Modell $M$.
}{Die \stichwort {Arithmetische Repräsentierbarkeit} {} einer Abbildung \maabbdisp {F} {\N^r} {\N^s } {.}
}{Eine
\stichwort {vollständige} {}
Theorie
\mathl{T \subseteq L^S_0}{.}
}{Das \stichwort {universelle modallogische Modell} {} zu einem $K$-\definitionsverweis {modallogischen System}{}{} $\Gamma$. }
}
{} {}
\inputaufgabegibtloesung
{3}
{
Formuliere die folgenden Sätze. \aufzaehlungdrei{Der Satz von Henkin.}{Der Satz über das \stichwort {Halteproblem} {.}}{Der Satz über die Unvollständigkeit der Peano-Arithmetik.}
}
{} {}
\inputaufgabegibtloesung
{1}
{
Beurteile die Snookerweisheit \anfuehrung{Ein Snookerspiel kann man in der ersten Session nicht gewinnen, aber verlieren}{} vom logischen Standpunkt aus.
}
{} {}
\inputaufgabegibtloesung
{14 (2+5+2+5)}
{
Es sei
\mathbed {p_i} {}
{i \in I} {}
{} {} {} {,}
eine Familie von Aussagenvariablen und $L$ die zugehörige aussagenlogische Sprache. Es sei $S$ ein
\definitionsverweis {Symbolalphabet}{}{}
bestehend aus den Variablen
\mathbed {x_i} {}
{i \in I} {}
{} {} {} {,}
und dem einen Konstantensymbol $c$ und es sei $L^S$ die zugehörige prädikatenlogische Sprache. Es sei
\mavergleichskettedisp
{\vergleichskette
{ \beta_i
}
{ \defeq} { x_i = c
}
{ \in} { L^S
}
{ } {
}
{ } {
}
}
{}{}{.}
\aufzaehlungvier{Definiere rekursiv eine natürliche Abbildung
\maabbdisp {\Psi} {L} {L^S
} {,}
die $p_i$ auf $\beta_i$ abbildet.
}{Ist $\Psi$ injektiv?
}{Ist $\Psi$ surjektiv?
}{Zeige für alle
\mathl{\alpha \in L}{,} dass
\mathl{\vdash \alpha}{}
\zusatzklammer {im Ableitungskalkül der Aussagenlogik} {} {}
genau dann gilt, wenn
\mathl{\vdash \Psi ( \alpha)}{}
\zusatzklammer {im Ableitungskalkül der Prädikatenlogik} {} {} gilt.
}
}
{} {}
\inputaufgabegibtloesung
{5}
{
Es seien
\mathl{A,B,C}{} einstellige Relationssymbole. Zeige, dass der \stichwort {Modus Barbara} {,} also die Aussage
\mathdisp {( \forall x (Ax \rightarrow Bx) \wedge \forall x (Bx \rightarrow Cx) ) \rightarrow ( \forall x (Ax \rightarrow Cx) )} { }
im Prädikatenkalkül
\definitionsverweis {ableitbar}{}{}
ist.
}
{} {}
\inputaufgabegibtloesung
{8}
{
Beweise den Satz über die induktive Definition einer Abbildung auf einem Peano-Dedekind-Modell $(N,0,\prime)$.
}
{} {}
\inputaufgabegibtloesung
{4}
{
Es sei $S$ ein
\definitionsverweis {Symbolalphabet}{}{}
und
\mavergleichskette
{\vergleichskette
{\Gamma
}
{ \subseteq }{L^S
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {Ausdrucksmenge}{}{.}
Begründe, warum man im Allgemeinen bei der Hinzunahme von Beispielen
\zusatzklammer {innerhalb des Beweises des Vollständigkeitssatzes} {} {}
nicht für alle Existenzaussagen
\mathl{\exists x \alpha \in L^S}{} mit einer einzigen neuen Variablen $z$ arbeiten kann.
}
{} {}
\inputaufgabegibtloesung
{5}
{
In einem Zugabteil sitzen die sechs Personen
\mathl{A,B,C,D,E,F}{.} Wir betrachten die folgenden Relationen:
\aufzaehlungdrei{$Mx$ bedeutet, dass $x$ über die deutsche Bahn motzt.
}{$Px$ bedeutet, dass $x$ einen Fensterplatz hat.
}{$Sxy$ bedeutet, dass $x$ der Person $y$ die Fahrkarte klaut.
}
Es gelten die Beziehungen
\mathdisp {MA,MB,MC,MD,ME,MF, PA,PD, SAD,SBE} { . }
\aufzaehlungfuenf{Für welche Personen ist die Äquivalenzklasse zur elementaren Äquivalenz einelementig, für welche nicht?
}{Bestimme die
\definitionsverweis {Automorphismengruppe}{}{}
des Zugabteils.
}{Charakterisiere umgangssprachlich die Person $A$ allein unter Bezugnahme auf die gegebenen Relationen.
}{Charakterisiere prädikatenlogisch durch einen Ausdruck mit der einzigen freien Variablen $x$ und den Relationssymbolen
\mathl{M,P,S}{} die Person $E$.
}{Charakterisiere prädikatenlogisch durch einen Ausdruck mit der einzigen freien Variablen $x$ und den Relationssymbolen
\mathl{M,P,S}{} diejenigen Äquivalenzklassen, die aus mindestens zwei Personen bestehen.
}
}
{} {}
\inputaufgabegibtloesung
{3 (1+1+1)}
{
Die Registerabteilung des VW-Konzerns hat
\zusatzgs {ohne Wissen des Vorstandes und am Aufsichtsrat vorbei} {}
in jedes real existierende Registerprogramm $P$ an einer willkürlich gewählten Stelle die aufeinanderfolgenden Befehlszeilen eingebaut
\zusatzklammer {und dabei die Zeilennummern und die Sprungbefehlsnummern angepasst, $k$ ist die Nummer eines in $P$ nicht verwendeten Registers und $h'$ ist die neue Haltebefehlsnummer} {} {}
\mathdisp {k+} { }
\mathdisp {k+} { }
\mathdisp {\text{Drucke}} { }
\mathdisp {C(k,h')} { . }
\aufzaehlungdrei{Ändert sich durch diese Manipulation die Halteeigenschaft des Programms?
}{Ändert sich durch diese Manipulation die Programmabbildung?
}{Nachdem der Skandal herauskommt und die Öffentlichkeit eine Erklärung fordert, diskutieren Vorstand, Aufsichtsrat und Abteilungsleiter die folgenden möglichen Stellungsnahmen für die anstehende Pressekonferenz:
a) Man wollte Speicherplatz sparen.
b) Man wollte aus Werbezwecken erreichen, dass jedes Registerprogramm mindestens einmal \anfuehrung{VW}{} ausdruckt.
c) Man wollte einen Beitrag zur Entschleunigung leisten, indem man manche Programme etwas langsamer macht.
d) Man wollte einen Beitrag zur Entschleunigung leisten, indem man alle Programme etwas langsamer macht.
Welche dieser Erklärungen passen inhaltlich zu den Manipulationen? }
}
{} {}
\inputaufgabe
{4}
{
Erläutere die Unentscheidbarkeit der Arithmetik und skizziere in Grundzügen, wie man sie beweisen kann.
}
{} {}
\inputaufgabegibtloesung
{4}
{
Es sei
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine fixierte natürliche Zahl und
\mavergleichskettedisp
{\vergleichskette
{ \alpha (x)
}
{ \defeq} { x = n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei $n$ durch die $n$-fache Summe der $1$ mit sich selbst realisiert werde. Zeige direkt, dass es Sätze
\mavergleichskette
{\vergleichskette
{ p,q
}
{ \in }{ L^{\rm Ar}_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mathdisp {\N \vDash \alpha(GN(p)) \leftrightarrow p} { }
und mit
\mathdisp {\N \vDash \neg \alpha(GN(q)) \leftrightarrow q} { }
gibt.
}
{} {}
\inputaufgabegibtloesung
{3}
{
Zeige, dass im
$K$-\definitionsverweis {System}{}{}
der Ausdruck
\mathdisp {\Box ( \alpha \rightarrow \beta ) \rightarrow ( \Diamond \alpha \rightarrow \Diamond \beta )} { }
\definitionsverweis {ableitbar}{}{}
ist.
}
{} {}
\inputaufgabegibtloesung
{7}
{
Zeige, dass in einem
\definitionsverweis {gerichteten Graphen}{}{}
\mathl{(M,R)}{} das modallogische
\definitionsverweis {Löb-Axiom}{}{}
genau dann gilt, wenn $R$
\definitionsverweis {transitiv}{}{}
ist und es in $M$ keine unendlichen Ketten gibt.
}
{} {}