Examens corriges

Logique propositionnelle modale

Un modèle, M, de logique modale est composé d'un ensemble W, d'une relation R et d'une fonction V . ... Corrigé. Exercice 2. 1. 2. Calculez (dans M) :.





Télécharger Logique propositionnelle modale pdf