s

1
Additional figures to the solutions of Exercises 2
Ex3. Distinguishing models
?
?
3.
1.
s
s
?
?
?
??
??
5.
7.
?
?
s
s
??
?
2
Ex4. Distinguishing models
s ? AFG p s ? AF AG p
1.
s
?p
p
p
s ? AGF p s ? AG EF p
2.
s
?p
p
s ? A (p U r) v (q U r) s ? A (p v q) U r
3.
s
q
r
p
s ? EGF p s ? EG EF p
4.
s
?p
? p
p