Natural Deduction 1.5
Licence: Gratuit Taille du fichier: 1.15 MB
Note des utilisateurs: 0.0/5 - 0 Votes
Veuillez patienter... Votre lien de téléchargement est en cours de vérification pour le contenu malveillant.
Vous pourrez télécharger en 5 secondes.
Vous pourrez télécharger en 5 secondes.
Sur Natural Deduction
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