und 
zwei assoziative Netze und 
bzw. 
die
zugehörigen logischen Formeln. Gehe dabei davon aus, daß die in
bzw. vorkommenden Variablen implizit allquantifiziert bzw.
existenzquantifiziert sind. paßt auf (engl. matches)
genau dann, wenn es eine Substitution 
gibt, so daß
logisch aus folgt.
Betrachte nun das folgende assoziative Netz ( ).
Beantworte die nachfolgenden Fragen, indem Du zu jeder Frage das entsprechende
assoziative Netz ( ) konstruierst und prüfst, ob es auf das gegebenen
Netz paßt. Wenn es nicht paßt, dann antworte mit ``nein'', ansonsten
antworte mit der gefundenen Substitution. Alle Antworten sind zu
begründen.
