LaLIC

LOGIC

Exercices animés et interactifs pour l'apprentissage de la logique des propositions et des prédicats selon la méthode de déduction naturelle

Logique des propositions *** Logique des prédicats

 

 

 

Publications ** Installation ** Aide à l'utilisation

réalisation, mars 2005, mise à jour juin 2009, optimisé pour Firefox, contact