Pot A B ” ≡ ” B ∨ (A ∧ Ex Pot A B)

Inev A B ” ≡ ” B ∨ (A ∧ Ax Inev A B)


Ordre de parcours : 1 → 2 → 3 . . . → 8

Evaluation   I    A          B1     B2    B    C           f
1                 ?          ?                 - Inev T1
2           A1    ?          ?                 - Inev T1
3                 ?          ?                 - Inev T1
4           T1    Inev T1    ""
5           A1    ?          ?                 - Inev T1
6                 ?          ?                 - Inev T1
7           T1    Inev T1    ""
8           A1    ?          ?                 - Inev T1

X => Y   - X \/ Y

Quels etats satisfont A1 => Inev T1  = {1,3,4,6,7} 


===============================================================

Exo 2 page 69
Calcul Inev T1 sur l'exemple d'allocation Equitable

Ordre de parcours : 1 → 2 → 3 . . . → 8 -> 9


Evaluation   I    A           B1        B2          B3        B4   C         f
1                             ?         ?           ?         ?    - Inev T1
2          A1                 ?        Inev T1      ""        ""
3                             ?         ?           ?         ?     - Inev T1
4          T1    Inev T1      ""        ""          ""        ""
5          A1                Inev T1    ""          ""        ""
6          A1                ?          ?           Inev T1   ""
7                            ?          ?           ?         ?      - Inev T1
8          T1    Inev T1     ""         ""          ""        ""
9          A1                ?         Inev T1      ""        ""

avec cet Ordre de parcours : 4 -> 8 -> 5 -> 2 → 9 -> 6 -> 1 -> 3 ->7
2 iterations dans B



AG (A1 => Inev T1)

A1 = {2,5,6,9}
Inev T1 = S \ {1,3,7}

A1 => Inev T1
(f => g = -f V g)

(A1 => Inev T1) = S
AG (A1 => Inev T1) = S


===========================================================