Mathematische Logik/Gemischte Definitionsabfrage/8/Aufgabe

Aus Wikiversity

Definiere die folgenden (kursiv gedruckten) Begriffe.

  1. Eine widersprüchliche Ausdrucksmenge in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge .
  2. Die Produktmenge aus zwei Mengen und .
  3. Die Ableitbarkeit eines Ausdrucks im prädikatenlogischen Kalkül.
  4. Die Repräsentierbarkeit einer Funktion

    in einer Menge von arithmetischen Ausdrücken.

  5. Das modallogische Möglichkeitsaxiom.
  6. Die Nachfolgermenge in einem gerichteten Graphen.