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.
Le langage (propositionnel)<br />
<strong>un</strong> <strong>en</strong>semble infini dénombrable de propositions<br />
les constantes : 0 (Faux) et 1 (Vrai)<br />
les connecteurs : ¬, , ∧, ∨, →, ↔<br />
les modalités : □,<br />
♦<br />
• 0 et 1 sont des formules<br />
Les formules bi<strong>en</strong> formées :<br />
• <strong>un</strong>e variable propositionnelle est <strong>un</strong>e formule<br />
• si A et B sont des formules alors ¬ A, A ∧ B, A ∨ B,<br />
A → B, A ↔ B , □A, ♦A sont des formules<br />
6