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

Übungsaufgaben

Aufgabe Referenznummer erstellen

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

1. ${}\Box ((p)\wedge (q))$,
2. ${}(p)\rightarrow \Box (q)$,
3. ${}(p)\rightarrow (\Box (q))$,
4. ${}(\Diamond (p))\rightarrow ((\Box (q))\rightarrow (r))$.

Aufgabe Aufgabe 24.2 ändern

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

$\vdash \Diamond \alpha \rightarrow (\Diamond \neg \beta \vee \Diamond (\alpha \wedge \beta ))$

ist.

Aufgabe Referenznummer erstellen

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

Aufgabe * Referenznummer erstellen

Zeige, dass in der ${}K$- Modallogik das Schema

$\Box \alpha \wedge \Box \neg \alpha \rightarrow \Box \beta$

ableitbar ist.

Aufgabe * Referenznummer erstellen

Zeige, dass im ${}K$- System der Ausdruck

$\Box (\alpha \rightarrow \beta )\rightarrow (\Diamond \alpha \rightarrow \Diamond \beta )$

ableitbar ist.

Aufgabe Referenznummer erstellen

Wir betrachten eine formale Modallogik, die durch das Axiomenschema

$\vdash \Box \alpha \leftrightarrow \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 Referenznummer erstellen

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 \colon L\longrightarrow L^{S},$

   bei der ${}p_{i}$ auf ${}x=c_{i}$ und ${}\Box \alpha$ auf ${}\forall x\Psi (\alpha )$ abgebildet wird.

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

Aufgabe Referenznummer erstellen

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

   $\Diamond (\alpha \wedge \beta )\rightarrow \Diamond \alpha \wedge \Diamond \beta$

   gilt.

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

   $\Diamond \alpha \wedge \Diamond \beta \rightarrow \Diamond (\alpha \wedge \beta )$

   nicht gelten muss.

Aufgabe Referenznummer erstellen

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

   $\Diamond \alpha \vee \Diamond \beta \rightarrow \Diamond (\alpha \vee \beta )$

   gilt.

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

   $\Diamond (\alpha \vee \beta )\rightarrow \Diamond \alpha \vee \Diamond \beta$

   nicht gelten muss.

Zur folgenden Aufgabe vergleiche auch Aufgabe 8.24.

Aufgabe Referenznummer erstellen

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

$\Diamond (\alpha \rightarrow \beta )\rightarrow (\Diamond \alpha \rightarrow \Diamond \beta )$

nicht gelten muss.

Aufgaben zum Abgeben

Aufgabe (2 Punkte)Referenznummer erstellen

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

1. ${}\Box ((p)\wedge (q)$,
2. ${}(p)\rightarrow \Diamond ((q)\vee (r))$,
3. ${}(\Box (\Box ((p))))\rightarrow (\Box (q))$,
4. ${}((\Diamond (p))\rightarrow ((\Box (q))\rightarrow (r)))$.

Aufgabe (2 Punkte)Referenznummer erstellen

Zeige, dass in einer ${}K$- Modallogik

$\vdash \Diamond \neg \neg \alpha \leftrightarrow \neg \neg \Diamond \alpha$

ableitbar ist.

Aufgabe (3 Punkte)Referenznummer erstellen

Zeige, dass in der ${}K$- Modallogik das Schema

$\Box \alpha \wedge \Diamond \beta \rightarrow \Diamond \alpha$

ableitbar ist.

Aufgabe (2 Punkte)Referenznummer erstellen

In einem ${}K$- modallogischen System ${}S$ gelte das Axiomenschema

$\alpha \rightarrow \Diamond \Box \alpha .$

Zeige, dass man in ${}S$ das Möglichkeitsaxiom

$\Box \alpha \rightarrow \Diamond \alpha$

ableiten kann.

Aufgabe (2 Punkte)Referenznummer erstellen

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