Aussagenlogik/Variablenmenge/Junktoren/Definition/Begriff/Inhalt

Die Sprache der Aussagenlogik wird rekursiv durch folgende Regeln definiert.

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