Aufgabe:
Jeder aussagenlogische Ausdruck lässt sich als Wort uber einem Alphabet Σ auffassen . Die Menge aller dieser W ¨ örter bezeichnen wir dann als die Sprache ausd.
1. Definieren Sie eine Funktion f, die jedem Wort der Sprache ausd die Menge der
darin vorkommenden Buchstaben zuordnet. Geben Sie jeweils den Definitions- und
Wertebereich von f an.
2. Beweisen Sie, dass es kein H ∈ ausd gibt, sodass H ∈ ag und ¬H ∈ ag
Problem/Ansatz:
kann jemand es lösen