Aussagenlogik/Wahrheitsbelegung/Interpretation/Definition/Begriff/Inhalt

Die zugehörige Interpretation wird rekursiv über den Aufbau der Sprache wie folgt festgelegt.

  1. für jede Aussagenvariable .
  2. Bei ist
  3. Bei ist
  4. Bei ist
  5. Bei ist
  6. Bei ist