CTL Basisoperatoren

Hi

In der Aufgabenstellung müßte/sollte eigentlich noch ein "Erläutern Sie Ihre Lösungen" stehen... Mist.

Ich sage es mal so: Es ist auf jeden Fall sinnvoll, zu jeder Teilaufgabe einen Satz zu schreiben, wie man auf die entsprechende Lösung kam (bei 'f)' vielleicht auch zwei), denn falls Euere Lösung nicht korrekt ist, gibts je nach Begründung vielleicht noch Teilpunkte von den Tutoren. Formal beweisen braucht Ihr Euere Aussagen nicht.

Grüße
Tobias Nopper

Hi Tobias,

gibt es auch sowas wie "true" und "false", so daß ich schreiben kann

"AG true" statt AG(a or !a) respektive "false" und "and"

irgendwie brauch ich das bei der f)


ciao,
felix

Hi

Es ist ok, wenn Du "true" oder "false" verwendst, andererseits k"onntest Du f"ur so einen Fall eigentlich auch eine Tautologie (phi v !phi) resp. eine Kontradiktion (phi n !phi) verwenden. "true"/"false" (oder ganz einfach "1"/"0") ist aber zugegebenermaßen deutlich besser lesbar.

Grüße
Tobias Nopper

Ein Hinweis zu EF: Vergleiche mal EFb und EaUb. Folgt eines der beiden aus dem anderen?

Nein.
Aus EFb folgt nicht EaUb, da ersteres nichts über a aussagt.
Aus EaUb folgt nicht AFb, da a ja immer war sein könnte und damit b niemals
wahr werden müßte.

Hi

Falsch: Wenn es keinen Pfad gibt, in dem b irgendwann wahr wird, gilt auch EaUb nicht. Lies nochmal die Definition von EU, beachte dabei das "schließlich".

Grüße
Tobias Nopper