Logik:Klausuren/27.02.2004/2.6 Aufgabe
Aus Tudwiki
Inhaltsverzeichnis
1. Aufgabenstellung
Bezeichne $ \mathcal{P} $ die Menge der prädikatenlogischen Formeln und bezeichne $ \mathbb{N} $ die Menge der
natürlichen Zahlen. Definieren Sie eine rekursive Funktion $ \mathsf{f} : \mathcal{P} \times \mathcal{P} \rightarrow \mathbb{N} $, die die Anzahl
der Vorkommen einer Teilformel $ G\ $ in einer Formel $ F\ $ bestimmt. Z.B. soll
$ f(((\forall X)(p(X) \wedge q(Y )) \vee \neg (\exists Y )(p(X) \wedge q(Y ))), (p(X) \wedge q(Y ))) = 2 $
sein.
