Les Modèles de Kripke
6 déc. 2004 ... Exercice. Soit le modèle de Kripke A : u1 eeeeeeee u2. }}}}}}}} u0 où u0 p et u1 q.
1. Donnez les valeurs de IA pour p et q. 2. Annotez les mondes qui forcent p ?q,
p ?q, p ? q ...


 





Exercicescorriges.com