Kurs:Einführung in die mathematische Logik (Osnabrück 2018)/Arbeitsblatt 24

Übungsaufgaben

Aufgabe

Überprüfe, um die folgenden Wörter korrekt gebildete (einschließlich Klammerung) modallogische Ausdrücke sind.

1. $◻((p)\wedge (q))$,
2. $(p)\to ◻(q)$,
3. $(p)\to (◻(q))$,
4. $(◊(p))\to ((◻(q))\to (r))$.

Aufgabe

Zeige, dass das $K$-Axiom äquivalent zu

$⊢◊\alpha \to (◊\mathrm{\neg }\beta \vee ◊(\alpha \wedge \beta ))$

ist.

Aufgabe

Formuliere die in Bemerkung 23.7 aufgeführten Eigenschaften für das Ableitungsprädikat in der Sprache der Modallogik.

Aufgabe *

Zeige, dass im $K$-System der Ausdruck

$◻(\alpha \to \beta )\to (◊\alpha \to ◊\beta )$

ableitbar ist.

Aufgabe

Wir betrachten eine formale Modallogik, die durch das Axiomenschema

$⊢◻\alpha \leftrightarrow \mathrm{\neg }\alpha$

gegeben sei.

1. Erfüllt diese Modallogik das Axiomenschema K?
2. Erfüllt diese Modallogik die Nezessisierungsregel?
3. Erfüllt diese Modallogik das Ideologieaxiom?

Aufgabe

Es sei $p_i$ $i\in I$, eine Familie von Aussagenvariablen und sei $L$ die zugehörige modallogische Sprache. Es sei $S$ ein prädikatenlogisches Symbolalphabet, das unter anderem Konstanten $c_i$, $i\in I$, und eine fixierte Variable $x$ enthalte.

1. Definiere eine natürliche injektive Abbildung

   $\Psi :L⟶L^S,$

   bei der $p_i$ auf $x=c_i$ und $◻\alpha$ auf $\mathrm{\forall }x\Psi (\alpha )$ abgebildet wird.

2. Was ist $\Psi (◊\alpha )$?
3. Zeige, dass zu jeder in der $K$-Modallogik ableitbaren modallogischen Aussage $\alpha$ auch $\Psi (\alpha )$ im Prädikatenkalkül ableitbar ist.

Aufgabe

1. Zeige, dass in einer $K$-Modallogik das Axiomenschema

   $◊(\alpha \wedge \beta )\to ◊\alpha \wedge ◊\beta$

   gilt.

2. Zeige, dass in einer $K$-Modallogik das Axiomenschema

   $◊\alpha \wedge ◊\beta \to ◊(\alpha \wedge \beta )$

   nicht gelten muss.

Aufgabe

1. Zeige, dass in einer $K$-Modallogik das Axiomenschema

   $◊\alpha \vee ◊\beta \to ◊(\alpha \vee \beta )$

   gilt.

2. Zeige, dass in einer $K$-Modallogik das Axiomenschema

   $◊(\alpha \vee \beta )\to ◊\alpha \vee ◊\beta$

   nicht gelten muss.

Zur folgenden Aufgabe vergleiche auch Aufgabe 8.24.

Aufgabe

Zeige, dass in einer $K$-Modallogik das Axiomenschema

$◊(\alpha \to \beta )\to (◊\alpha \to ◊\beta )$

nicht gelten muss.

Aufgaben zum Abgeben

Aufgabe (2 Punkte)

Überprüfe, um die folgenden Wörter korrekt gebildete (einschließlich Klammerung) modallogische Ausdrücke sind.

1. $◻((p)\wedge (q)$,
2. $(p)\to ◊((q)\vee (r))$,
3. $(◻(◻((p))))\to (◻(q))$,
4. $((◊(p))\to ((◻(q))\to (r)))$.

Aufgabe (2 Punkte)

Zeige, dass in einer $K$-Modallogik

$⊢◊\mathrm{\neg }\mathrm{\neg }\alpha \leftrightarrow \mathrm{\neg }\mathrm{\neg }◊\alpha$

ableitbar ist.

Aufgabe (2 Punkte)

Zeige, dass die $K$-Modallogik widerspruchsfrei ist.