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

Aus Wikiversity
Zur Navigation springen Zur Suche springen



Übungsaufgaben

Aufgabe Referenznummer erstellen

Zeige, dass in einem -System, in dem das Axiomenschema

gilt, bereits das Leerheitsaxiom gilt.


Aufgabe Referenznummer erstellen

Zeige die Äquivalenz (innerhalb der -Modallogik) der folgenden modallogischen Axiomenschemata.

  1. Das Reflexivitätsaxiom ist äquivalent zu
  2. Das Symmetrieaxiom ist äquivalent zu
  3. Das Transitivitätsaxiom ist äquivalent zu
  4. Das euklidische Axiom ist äquivalent zu


Zur folgenden Aufgabe vergleiche auch Aufgabe 22.17.

Aufgabe * Referenznummer erstellen

Es sei ein -modallogisches System, in dem zusätzlich das Transitivitätsaxiom gelte. Ferner sei ein modallogischer Ausdruck, für den

gelte. Zeige für einen beliebigen Ausdruck die Ableitbarkeit


Aufgabe Referenznummer erstellen

Zeige, dass das Löb-Axiom äquivalent zu

ist.


Die Aussage „ich weiß, dass ich nichts weiß“ wird Sokrates zugeschrieben. In einer epistemischen -Modallogik folgt daraus, dass Sokrates alles weiß.

Aufgabe * Referenznummer erstellen

Wir interpretieren den Satz von Sokrates, „Ich weiß, dass ich nichts weiß“, als modallogisches Axiomenschema

Zeige die folgenden Aussagen.

  1. Dieses Axiomenschema ist paradox.
  2. Dieses Axiomenschema ist innerhalb der -Modallogik äquivalent zu
  3. Dieses Axiomenschema ist innerhalb der -Modallogik äquivalent zu

    also zum Leerheitsaxiom.


Aufgabe * Aufgabe 25.6 ändern

Es sei die durch das Löb-Axiom gegebene -Modallogik, also die Beweisbarkeitslogik. Wir setzen

(als Abkürzung für einen Widerspruch). Zeige, dass

ableitbar ist.


Aufgabe Referenznummer erstellen

Es sei eine Menge von modallogischen Ausdrücken, die allesamt nicht paradox seien und es sei

eine Ableitung. Zeige, dass ebenfalls nicht paradox ist.


Aufgabe Referenznummer erstellen

Welche modallogischen Axiomenschemata gelten in der Prädikatenlogik, wenn man den Notwendigkeitsoperator als mit einer fixierten Variablen interpretiert?


Aufgabe Referenznummer erstellen

Zeige, dass ein gerichteter Graph, der sowohl euklidisch als auch symmetrisch ist, auch transitiv ist.


Aufgabe Referenznummer erstellen

Zeige, dass ein gerichteter Graph genau dann reflexiv ist, wenn für die Nachfolgermengen zu jeder Teilmenge die Beziehung

gilt.


Auf einer Menge nennt man eine Abbildung

einen Hüllenoperator, wenn die folgende Eigenschaften für alles Teilmengen gelten.

  1. Mit

    ist auch


Aufgabe Referenznummer erstellen

Es sei ein gerichteter Graph. Welche der Eigenschaften eines Hüllenoperators erfüllt die Abbildung

welche nicht?


Auf einer Menge nennt man eine Abbildung

einen topologischen Hüllenoperator, wenn die folgenden Eigenschaften für alle Teilmengen gelten.


Aufgabe Referenznummer erstellen

Zeige die folgenden Aussagen.

  1. Es sei ein topologischer Raum. Dann ist die Zuordnung

    die also einer Teilmenge ihren Abschluss (oder ihre abgeschlossene Hülle) zuordnet, ein topologischer Hüllenoperator.

  2. Auf sei ein topologischer Hüllenoperator gegeben. Dann erhält man eine Topologie auf , indem man die Teilmengen mit als abgeschlossen erklärt.


Aufgabe Referenznummer erstellen

Es sei ein gerichteter Graph. Wie kann man graphentheoretisch charakterisieren, dass die Abbildung

ein topologischer Hüllenoperator ist?




Aufgaben zum Abgeben

Aufgabe (4 Punkte)Referenznummer erstellen

Zeige, dass das modallogische Leerheitsaxiom das Autismusaxiom und dass das Autismusaxiom das Phantasiearmutsaxiom impliziert. Zeige ferner, dass diese Implikationen nicht umkehrbar sind.


Aufgabe (2 Punkte)Referenznummer erstellen

Zeige, dass eine fatalistische -Modallogik, die einen paradoxen Ausdruck enthält, bereits widersprüchlich ist.


Aufgabe (2 Punkte)Referenznummer erstellen

Zeige, dass das Löb-Axiom paradox ist.


Aufgabe (4 Punkte)Referenznummer erstellen

Zeige, dass für einen gerichteten Graphen die folgenden Eigenschaften äquivalent sind.

  1. ist reflexiv und euklidisch.
  2. ist symmetrisch, transitiv und sackgassenfrei.
  3. ist eine Äquivalenzrelation.


Aufgabe (2 Punkte)Referenznummer erstellen

Zeige, dass ein gerichteter Graph genau dann transitiv ist, wenn für die Nachfolgermengen zu jeder Teilmenge die Beziehung

gilt.



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

PDF-Version dieses Arbeitsblattes

Zur Vorlesung (PDF)