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?
„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.
