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
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Introduction<br />
• objets : points et droites<br />
Géométrie affine :<br />
• relations <strong>en</strong>tre objets : incid<strong>en</strong>ce, colinéarité,<br />
parallélisme, orthogonalité · · ·<br />
notations :<br />
P o : <strong>en</strong>semble de points : X, Y, · · ·<br />
Li : Ensemble de lignes : x, y, · · ·<br />
in : relation d’incid<strong>en</strong>ce<br />
‖ : relation de parallélisme<br />
⊥ : relation d’orthogonalité<br />
48