Exo 1
======
      w1 w2 w3 w4
q     T  T  T  F
♦q    T  T  F  F
♦¬q   F  F  T  F 
[]q   T  T  F  T
[]¬q  F  F  T  T


Exo2 (en se basant sur les resultats de l'exo 1)
=====

M, w1 |= ♦[]q
oui car w1 R W2 et w2 \= [q]

M, w2 |= ([]q) ∧ (♦q) ∧ q
juste a` regarder la colonne de w2

M, w 4 |= ([]q) ∧ ([]¬q) ∧ (¬♦q) ∧ (¬♦¬q)
juste a` regarder la colonne de w2