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

Aus Wikiversity
Zur Navigation springen Zur Suche springen



Übungsaufgaben

Aufgabe Referenznummer erstellen

Ersetze in den folgenden aussagenlogischen Tautologien

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


Aufgabe Referenznummer erstellen

Unterscheide zwischen den verschiedenen Bedeutungen von Gleichheit.

  1. Gleichheit von Elementen in einer Menge.
  2. Gleichheit von Zeichenketten.
  3. Das Gleichheitssymbol in einer erststufigen Sprache.


Aufgabe Referenznummer erstellen

Es sei ein Symbolalphabet einer Sprache erster Stufe. Es seien -Terme mit

gegeben. Zeige, dass es sich bei und um eine identische Zeichenreihe handelt.


Aufgabe Referenznummer erstellen

Es sei ein Symbolalphabet und seien -Terme. Zeige die Ableitbarkeit


Aufgabe * Aufgabe 10.5 ändern

Es seien Terme und ein -stelliges Funktionssymbol. Zeige, dass die Ableitbarkeit

gilt.


Aufgabe Referenznummer erstellen

Zeige direkt (ohne die Verwendung der Ableitungsbeziehung), dass die folgenden Ausdrücke allgemeingültig sind (dabei seien Terme, ein -stelliges Funktionssymbol und ein -stelliges Relationssymbol).


Aufgabe Referenznummer erstellen

Es seien Terme einer prädikatenlogischen Sprache und sei eine Variable. Zeige durch ein Beispiel, dass

nicht ableitbar sein muss.[1]


Aufgabe * Referenznummer erstellen

Zeige durch ein Beispiel, dass für Terme und eine Variable einer prädikatenlogischen Sprache der Ausdruck

nicht ableitbar sein muss.


Aufgabe Referenznummer erstellen

Gehört in einem Ausdruck der Form die Symbolfolge zur prädikatenlogischen Sprache? Gehört dazu?




Aufgaben zum Abgeben

Aufgabe (4 Punkte)Aufgabe 10.10 ändern

Es seien Terme einer prädikatenlogischen Sprache und seien verschiedene Variablen. Zeige durch Induktion über den Aufbau des Termes die Ableitbarkeit


Aufgabe (4 Punkte)Referenznummer erstellen

Es seien Terme einer prädikatenlogischen Sprache und seien verschiedene Variablen.

  1. Es sei ein -stelliges Relationssymbol und seien Terme. Zeige die Ableitbarkeit
  2. Es seien und Terme. Zeige die Ableitbarkeit

Tipp: Verwende Aufgabe 10.10

Aufgabe (4 Punkte)Referenznummer erstellen

Es sei ein Symbolalphabet, seien -Terme, verschiedene Variablen und sei ein -Ausdruck. Zeige die Allgemeingültigkeit


Aufgabe (4 Punkte)Referenznummer erstellen

Zeige durch ein Beispiel, dass bei einem ableitbaren Ausdruck der Form

die durch die Existenzquantoren gebundenen Variablen (nach der durchgeführten Substitution) nicht übereinstimmen müssen.




Fußnoten
  1. Die Nicht-Ableitbarkeit wird durch die Angabe eines Modells gezeigt; dies verwendet die Korrektheit des Ableitungskalküls, den wir noch nicht vollständig behandelt haben.


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

PDF-Version dieses Arbeitsblattes

Zur Vorlesung (PDF)