Hallo,
ich habe eine Frage zu den Kripke Strukturen.
Und zwar heißt es bei der Hintereinanderausführung:
C(l, (P1; l'' : P2), l') = C(l, P1, l'') ODER C(l'', P2, l')

Kann mir jemand erklären, warum an dieser Stelle ein ODER steht?
Intuitiv hätte ich auf UND getippt, aber da gibt es ja sicher einen Grund für das ODER.

Danke!

geh in die Vorlesung!

Kann mir jemand erklären, warum an dieser Stelle ein ODER steht?

geh in die Vorlesung!

Du hast vielleicht Recht, aber warst Du in der Vorlesung? In der Vorlesung hat er etwas schwammig erklärt, man kann sich das ODER wie ein [img]http://mokrates.de/cgi-bin/texstring?%5Ccup[/img] vorstellen (Vereinigungsmenge).
Ich würde es eher erklären als

ENTWEDER wir sind bei Zeile l und kommen mit der Ausführung von P1 zu Zeile l'' ODER wir sind bei Zeile l'' und kommen mit der Ausführung von P2 zu Zeile l'.

Schonmal vielen Dank für Deine Hilfe, aber bei der Hintereinanderausführung muss doch das zweite auch ausgeführt werden, oder bin ich da ganz falsch?
Demnach muss man doch eigentlich immer bei l' landen?!