Bei der auf dem Übungsblatt angegebene CTL-Syntax fehlt die Alternative, dass eine Formel auch einfach 'true' sein kann. Darf man das trotzdem in den Aufgaben verwenden?

Hallo

„True“ und „false“ fehlen nicht in der CTL-Syntax, da beide atomare Aussagen sind. Nimmt man an, dass true und false nicht in der CTL-Syntax enthalten währe konnte man mit „a“ atomare Aussage
- (a und nicht a) false und mit
- (a oder nicht a) true erzeugen.

MfG
Stefan Hillebrecht

Okay, danke - ich kannte das einfach nur so, dass true auch extra definiert ist, aber du hast natürlich recht, da stand ich auf dem Schlauch...