Übung 6.3 b) i) rwht rwhf

Flashed
Neuling
Neuling
Beiträge: 4
Registriert: 16. Jun 2011 12:01

Übung 6.3 b) i) rwht rwhf

Beitrag von Flashed » 6. Sep 2017 18:20

Hi,

bei der Aufgabe ist uns nicht ganz klar, warum bei der Herleitung von H4 bei while nicht beide Fälle betrachtet werden.
Also nur rwht und nicht zusätzlich auch rwhf benutzt wird.
Bild

Vermutlich stehen wir da gerade einfach auf dem Schlach.
Sind für jeden Tipp dankbar.


:)

yokop
Windoof-User
Windoof-User
Beiträge: 28
Registriert: 13. Apr 2016 12:49

Re: Übung 6.3 b) i) rwht rwhf

Beitrag von yokop » 7. Sep 2017 08:26

Weil die Bedingung (x leq 0) im Zustand sigma'' zu true ausgewertet wird. Es soll ja eine gültige Ableitung hergeleitet werden. Der Fall rwhf kann mit der Bedingung in dem Zustand nicht auftreten und muss daher nicht betrachtet werden.

Antworten

Zurück zu „Archiv“