Mathematische Logik/Gemischte Definitionsabfrage/Erster Teil/2/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Definiere die folgenden (kursiv gedruckten) Begriffe.

  1. Eine Mersennesche Primzahl.
  2. Eine widersprüchliche Ausdrucksmenge in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge .
  3. Die Produktmenge aus zwei Mengen und .
  4. Die Bestandteile einer Grundtermmenge.
  5. Ein allgemeingültiger prädikatenlogischer Ausdruck .
  6. Die Ableitbarkeit eines Ausdrucks im prädikatenlogischen Kalkül.
Zur Lösung, Alternative Lösung erstellen