Kurs:Einführung in die mathematische Logik (Osnabrück 2014)/Arbeitsblatt 11/latex

\setcounter{section}{11}

\zwischenueberschrift{Übungsaufgaben}

\inputaufgabe
{}
{

Zeige, dass der Ausdruck
\mathdisp {{ \left( \alpha { \frac{ y }{ x } } \rightarrow \beta \right) } \rightarrow { \left( \exists x \alpha \rightarrow \beta \right) }} { }
keine \definitionsverweis {Tautologie}{}{} ist \zusatzklammer {auch nicht, wenn $y$ weder in $\exists x \alpha$ noch in $\beta$ frei vorkommt} {} {.}

}
{} {}

\inputaufgabe
{}
{

Beweise aus der Existenzeinführung im Antezedens die \stichwort {All\-einführung im Sukzedens} {.} Sie besagt, dass man aus
\mathdisp {\vdash \beta \rightarrow \alpha \frac{y}{x}} { }
unter der Bedingung, dass $y$ weder in $\forall x \alpha$ noch in $\beta$ frei vorkommt, auf
\mathdisp {\vdash \beta \rightarrow \forall x \alpha} { }
schließen kann.

}
{} {}

\inputaufgabe
{}
{

Zeige
\mathdisp {\vDash \exists x (x=y)} { . }

}
{} {}

\inputaufgabe
{}
{

Zeige
\mathdisp {\vdash \exists x (x=y)} { . }

}
{} {}

\inputaufgabe
{}
{

a) Zeige
\mathdisp {\vdash \exists x (\alpha \wedge \beta) \rightarrow \exists x \alpha \wedge \exists x \beta} { . }

b) Zeige, dass
\mathdisp {\exists x \alpha \wedge \exists x \beta \rightarrow \exists x (\alpha \wedge \beta)} { }
keine \definitionsverweis {Tautologie}{}{} ist.

}
{} {}

\inputaufgabe
{}
{

Es sei $S$ ein \definitionsverweis {erststufiges Symbolalphabet}{}{} und
\mathl{f \in S}{} ein $n$-stelliges Funktionssymbol. Erstelle eine Ableitung für den Ausdruck
\mathdisp {\exists y { \left( { \left( fx_1 { \ldots } x_n = y \right) } \wedge \forall z { \left( { \left( fx_1 { \ldots } x_n = z \right) } \rightarrow y = z \right) } \right) }} { . }

}
{} {}

\inputaufgabegibtloesung
{}
{

Es seien
\mathl{x,y,u,v}{} Variablen und
\mathl{\Gamma =\{ \forall x \forall y { \left( x = y \right) } \}}{} und
\mathl{\Delta = \{ x = y \}}{.} \aufzaehlungdrei{Zeige \zusatzklammer {ohne Bezug auf den Vollständigkeitssatz} {} {}
\mathl{\Gamma \vdash u= v}{.} }{Charakterisiere die \definitionsverweis {Modelle}{}{} $M$ mit
\mathl{M \vDash \Gamma}{.} }{Zeige
\mathl{\Delta \not\vdash u= v}{.} }

}
{} {}

\inputaufgabegibtloesung
{}
{

Es sei $G$ ein dreistelliges Relationssymbol und $L$ die zugehörige prädikatenlogische Sprache. Es sei $I$ die \definitionsverweis {Interpretation}{}{,} bei der die Grundmenge die euklidische Ebene ist und $G$ durch die dreistellige Relation interpretiert wird, bei der
\mathl{G(A,B,C)}{} zutrifft, wenn die Punkte
\mathl{A,B,C}{} auf einer Geraden liegen. \aufzaehlungfuenf{Zeige
\mathl{I \vDash Gxyz \leftrightarrow Gyxz}{.} }{Zeige, dass im Allgemeinen nicht
\mathl{I \vDash \forall x \forall y \forall z { \left( Gxyz \rightarrow Gxyu \right) }}{} gelten muss. }{Es sei
\mathl{\Gamma=\{ \forall x \forall y \forall z { \left( Gxyz \leftrightarrow Gyxz \right) } , \, \forall x \forall y \forall z { \left( Gxyz \leftrightarrow Gxzy \right) } \}}{.} Erstelle eine Ableitung für
\mathl{\Gamma \vdash Gxyz \leftrightarrow Gyzx}{.} }{Zeige, dass der Ausdruck
\mathl{Gxyz \wedge Gxyu}{} bei der gegebenen Interpretation nicht bedeutet, dass die die freien Variablen
\mathl{x,y,z,u}{} belegenden Punkte auf einer Geraden liegen. }{Formuliere einen Ausdruck aus $L$ in vier freien Variablen, der bei der gegebenen Interpretation besagt, dass die die freien Variablen belegenden Punkte auf einer Geraden liegen. }

}
{} {}

Die beiden folgenden Aufgaben sind vermutlich mühselig.


\inputaufgabe
{}
{

Man gebe einen \definitionsverweis {formalen Beweis}{}{} für die Aussage, dass die \definitionsverweis {Hintereinanderschaltung}{}{} von zwei \definitionsverweis {surjektiven Abbildungen}{}{} auf einer Menge wieder surjektiv ist.

}
{} {}

\inputaufgabe
{}
{

Man gebe einen \definitionsverweis {formalen Beweis}{}{} für die Aussage, dass die \definitionsverweis {Hintereinanderschaltung}{}{} von zwei \definitionsverweis {injektiven Abbildungen}{}{} auf einer Menge wieder injektiv ist.

}
{} {}

\inputaufgabe
{}
{

Es sei $\Gamma$ eine Ausdrucksmenge aus einer \definitionsverweis {Sprache erster Stufe}{}{} und $\alpha$ ein weiterer Ausdruck. Es sei $\alpha$ nicht aus $\Gamma$ \definitionsverweis {ableitbar}{}{.} Zeige, dass man aus
\mathl{\Gamma \cup \{\neg \alpha \}}{} keinen Widerspruch \zusatzklammer {also keinen Ausdruck der Form
\mathl{\beta \wedge \neg \beta}{}} {} {} ableiten kann.

}
{} {}

\inputaufgabe
{}
{

Begründe die folgenden Ableitungsregeln \zusatzklammer {es seien $s,t$ Terme, $\alpha, \beta$ Ausdrücke und $\Gamma$ eine Ausdrucksmenge} {} {.} \aufzaehlungdrei{Wenn $\Gamma \vdash s= t$, dann ist auch $\Gamma \vdash \alpha { \frac{ s }{ x } } \rightarrow \alpha { \frac{ t }{ x } }$, }{Wenn $\Gamma \vdash \alpha { \frac{ t }{ x } }$, dann ist auch $\Gamma \vdash \exists x \alpha$, }{Wenn $\Gamma \vdash \alpha \frac{y}{x} \rightarrow \beta$, dann ist auch $\Gamma \vdash \exists x \alpha \rightarrow \beta$, unter der Bedingung, dass $y$ nicht frei in $\Gamma, \exists x \alpha, \beta$ vorkommt. }

}
{} {}

\zwischenueberschrift{Aufgaben zum Abgeben}

\inputaufgabe
{}
{

Es sei
\mathl{\alpha \in L^S}{.} Zeige die \definitionsverweis {Ableitbarkeit}{}{}
\mathdisp {\vdash \exists x \exists x \alpha \leftrightarrow \exists x \alpha} { . }

}
{} {}

\inputaufgabe
{}
{

Es sei
\mathl{\alpha \in L^S}{.} Zeige die \definitionsverweis {Ableitbarkeit}{}{}
\mathdisp {\vdash \exists x \forall y \alpha \rightarrow \forall y \exists x \alpha} { . }
Zeige, dass
\mathdisp {\forall y \exists x \alpha \rightarrow \exists x \forall y \alpha} { }
nicht ableitbar ist.

}
{} {}

\inputaufgabe
{}
{

Formuliere mit dem zweistelligen Funktionssymbol $\cdot$ die Aussage, dass wenn eine Zahl $a$ die Zahl $b$ teilt und $b$ die Zahl $c$ teilt, dass dann $a$ auch $c$ teilt.

Erstelle eine \definitionsverweis {Ableitung}{}{} für diese Aussage.

}
{} {}

\inputaufgabe
{}
{

Zeige, dass es eine \definitionsverweis {Ausdrucksmenge}{}{} $\Gamma$ mit der Eigenschaft gibt, dass für jede \definitionsverweis {Interpretation}{}{} $I$ genau dann
\mathl{I \vDash \Gamma}{} gilt, wenn die Grundmenge der Interpretation unendlich ist.

}
{} {}