Vorlesung Modellierung WS 2001/2002 - Folie Nr. 314
Ziele
:
Regel verstehen
in der Vorlesung
:
Beide Zweige müssen auf dieselbe Aussage führen
Beispiele zeigen
Konsequenzregeln mitverwendet