Représenter l'espace en logique modale : un panorama - IRIT
Représenter l'espace en logique modale : un panorama - IRIT
Représenter l'espace en logique modale : un panorama - IRIT
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Exemple 1 : on lance <strong>un</strong>e pièce de monnaie<br />
p : ”on obti<strong>en</strong>t PILE”<br />
f : ”on obti<strong>en</strong>t FACE”<br />
p est possible<br />
f est possible<br />
p ∨ f est nécessairem<strong>en</strong>t VRAI<br />
p ∧ f est impossible : nécessairem<strong>en</strong>t FAUX<br />
p<br />
f<br />
p<br />
¬f<br />
¬p<br />
¬f<br />
¬p<br />
f<br />
mondes possibles<br />
8