Aussagenlogik/Variablenmenge/Junktoren/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Sprache der Aussagenlogik

Es sei eine Menge (deren Elemente wir als Aussagenvariable bezeichnen). Dann wird die zugehörige Sprache der Aussagenlogik (zu ) rekursiv durch folgende Regeln definiert.

  1. Jedes gehört zu .
  2. Wenn , so ist auch .
  3. Wenn , so sind auch .