Jouez avec cette application et construisez quelques preuves dans le style de déduction naturelle. Cliquer sur une formule l’élargit automatiquement avec des règles possibles. Les hypothèses sont imprimées en bleu. Sélectionné l’un d’eux génère un nouveau sous-tre. Attacher deux arbres se fait en faisant glisser la racine du premier à la feuille du second. S’il n’y a qu’une seule possibilité, cette pièce jointe est exécutée automatiquement. La preuve est faite lorsque l’arbre est entouré d’un rectangle rouge.
Amusez-vous! La logique est amusante
historique de la version
- Version 1.5 posté sur 2015-05-07
Meilleur affichage
Détails du programme
- Catégorie: Éducation > Outils d’enseignement et de formation
- Éditeur: Laurent Théry
- Licence: Gratuit
- Prix: N/A
- Version: 1.5
- Plate-forme: android