Message d'erreur

User warning: The following module is missing from the file system: flexifilter. For information about how to fix this, see the documentation page. in _drupal_trigger_error_with_delayed_logging() (line 1143 of /usr/share/drupal7/includes/bootstrap.inc).

Enseignement de la logique

Michel Lévy

Trois outils pour l'enseignement de la logique.

Accès direct

Déduction naturelle propositionnelle

Étant donné une formule, le logiciel en construit une preuve ou une interprétation la falsifiant.

Étant donné une formule et une preuve, le logiciel annote la preuve en indiquant les règles appliquées.

 

Méthode des tableaux pour la logique modale S4

Étant donné une formule, le logiciel en construit une preuve par la méthode des tableaux ou une interprétation la falsifiant.

 

Méthode des tableaux pour la logique propositionnelle intuitioniste

Étant donné une formule A de la logique intuitionniste, le logiciel la transforme en une formule A' qui est valide dans S4 si et seulement si A est valide en logique intuitionniste. Si A' est valide, le logiciel en construit une preuve dans S4, sinon, il construit une interprétation intuitionniste falsifiant A.