Induktives Deinieren :
1) Führen Sie folgende syntaktische Substitution Boolescher Terme unter schrittweiser Anwendung der induktiven Deinition durch:
\( ((X \wedge Z) \vee(\neg(Y \vee Z)))[Z \mapsto T] \)
2. Werten Sie für Ihren erhaltenen substituierten Term schrittweise die Semantikfunktion
\( [[\cdot]]_{\boldsymbol{B}} \)
aus, gegeben der Variablenbelegung β : {X, Y, Z} → {w, f} mit :
\( \beta(X)=f \)
\( \beta(Y)=f \)
\( \beta(Z)= \omega \)
Hinweis: Sie dürfen mehrere Schritte parallel anwenden, solange die Einzelschritte erkenntlich
bleibe