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



Übungsaufgaben

Aufgabe

Baby Category 2.svg

Für die Aussagenvariablen gelte

Bestimme in beiden Weltpunkten die Wahrheitswerte von

  1. ,
  2. ,
  3. ,
  4. .


Aufgabe

Definiere die modallogische Verschachtelungstiefe für modallogische Ausdrücke.


Aufgabe

Zeige, dass bei einer Belegung der Aussagenvariablen durch die Definition 26.2 der Wahrheitswert für jeden modallogischen Ausdruck in jedem Punkt eines modallogischen Modelles eindeutig festgelegt ist.


Aufgabe

Es sei der trivale Graph in dem Sinne, dass einpunktig ist und dieser Punkt mit sich in Relation steht. Zeige, dass

genau dann bei jeder Belegung gilt, wenn nicht paradox ist.


Aufgabe *

Zeige durch Angabe eines modallogischen Modelles, dass im -System der Ausdruck

nicht ableitbar ist (dabei seien Aussagenvariablen).


Aufgabe

Zeige durch Angabe eines modallogischen Modelles, dass im -System der Ausdruck

nicht ableitbar ist. Insbesondere lässt sich also Lemma 24.5  (1) nicht internalisieren.


Aufgabe

Zeige durch Angabe eines modallogischen Modelles, dass im -System der Ausdruck

nicht ableitbar ist.


Aufgabe

Zeige durch Angabe eines modallogischen Modelles, dass im -System der Ausdruck

nicht ableitbar ist.


Aufgabe

Zeige durch Angabe eines modallogischen Modelles, dass im -System der Ausdruck

nicht ableitbar ist.


Aufgabe

Zeige semantisch, dass eine -Modallogik, in der das Möglichkeitsaxiom und das Löb-Axiom gelten, bereits widersprüchlich ist.


Aufgabe

Es sei . Charakterisiere das modallogische Axiomenschema

graphentheoretisch.


Aufgabe

Es seien . Charakterisiere das modallogische Axiomenschema

graphentheoretisch.


Aufgabe

Zeige, dass für eine modallogische Aussage die folgenden Aussagen äquivalent sind.

  1. Es ist .
  2. Es ist für jede Äquivalenzrelation auf einer Menge .
  3. Es ist für jede volle Relation auf einer Menge .


Aufgabe *

Zu einem modallogischen Modell und einem modallogischen Ausdruck setzen wir

Zeige


Aufgabe

Zu einem modallogischen Modell und einem modallogischen Ausdruck setzen wir

Zeige, dass

genau dann gilt, wenn

gilt.


Aufgabe

Beweise Satz 26.10 mit Hilfe von Aufgabe 26.14 und Aufgabe 26.15 und mit geeigneten Charakterisierungen von relationstheoretischen Eigenschaften mit Vorgängermengen.




Aufgaben zum Abgeben

Aufgabe (6 Punkte)

Relación binaria 01.svg

Für die Aussagenvariablen gelte

Bestimme in den vier Weltpunkten die Wahrheitswerte von

  1. ,
  2. ,
  3. .


Aufgabe (2 Punkte)

Zeige, dass in jedem modallogischen Modell das Schema

gilt.


Aufgabe (2 Punkte)

Zeige durch Angabe eines modallogischen Modelles, dass im -System der Ausdruck

nicht ableitbar ist.


Aufgabe (2 Punkte)

Zeige durch Angabe eines modallogischen Modelles, dass das System S4 nicht äquivalent zum System S5 ist.


Aufgabe (3 Punkte)

Charakterisiere die modallogischen Rahmen, in denen (bei jeder Wahrheitsbelegung) das Axiomenschema

gilt.


Aufgabe (3 Punkte)

Zeige, dass aus dem -modallogischen Axiomenschema

nicht das Axiomenschema

ableitbar ist.


Aufgabe (5 Punkte)

Zeige die folgenden modelltheoretischen Charakterisierungen für modallogische Axiomenschemata.

  1. In einem gerichteten Graphen gilt das Leerheitsaxiom genau dann, wenn die Relation leer ist (wenn es also gar keine Pfeile gibt).
  2. In einem gerichteten Graphen gilt das Autismusaxiom genau dann, wenn nur aus Schleifen besteht.
  3. In einem gerichteten Graphen gilt das Fatalismusaxiom genau dann, wenn genau aus allen Schleifen besteht.
  4. In einem gerichteten Graphen gilt das Phantasiearmutsaxiom genau dann, wenn von jedem Punkt höchstens ein Pfeil ausgeht.
  5. In einem gerichteten Graphen gilt das Ideologieaxiom genau dann, wenn von jedem Punkt genau ein Pfeil ausgeht.



<< | Kurs:Einführung in die mathematische Logik (Osnabrück 2021) | >>

PDF-Version dieses Arbeitsblattes

Zur Vorlesung (PDF)