Logik:Klausuren/27.02.2004/2.6 Aufgabe

Aus Tudwiki
Wechseln zu: Navigation, Suche

1. Aufgabenstellung[Bearbeiten]


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.

2. Lösung[Bearbeiten]

3. Lösungsweg[Bearbeiten]

4. Alternativen/Diskussion/Hinweise etc.[Bearbeiten]


zur Klausur 27.02.2004