9. Gruppen¨ubung, Mathematische Logik, WS 2007/08
Aufgabe 1
Werten Sie folgende ML-Formeln auf der gegebenen Struktur aus.
(a) ϕa = haihaiQ;
(b) ϕb = hbi[a]0;
(c) ϕc = hai(P ∨[b]0);
(d) ϕd = [b]Q∧ hai0.
1
P 2
3
P, Q 4 5 Q
b a
a, b b
a a
a b
b
b
Aufgabe 2
Geben Sie jeweils eine Bisimulation zwischen den folgenden Transitionssyste- men an, oder beweisen Sie, dass eine solche nicht existiert. Geben Sie zus¨atzlich f¨ur jedes nicht-bisimilare Zustandspaar eine ML-Formel mit minimaler Modal- tiefe an, welche die beiden Zust¨ande unterscheidet.
K : 1 2
3
4 5
a, b
a
b b b a
a
b
K0 : r s
t
u v
b
a b b
a b
a
b
Aufgabe 3
Geben Sie zu den folgenden Formeln jeweils eine ¨aquivalente Formel der Mo- dallogik an, oder beweisen Sie, dass eine solche nicht existiert :
(a) ϕa(x) := ∃yExy
(b) ϕb(x) := ∃y(Exy∧ Eyx) (c) ϕc(x) := ∃y∃z(Exy∧Exz)
(d) ϕd(x) := ∃y∃z(Exy ∧Exz∧x 6= y) (e) ϕe(x) := ∀y(Exy ∧P y)