Peanoware
Présentation
Construisez vos arbres de déduction naturelle. Appliquez les règles de la déduction en selection les feuilles de l'arbre. Les…
Construisez vos arbres de déduction naturelle. Appliquez les règles de la déduction en selection les feuilles de l'arbre. Les hypothèses sont en bleu, en les sélectionnannt vous créez un nouveau sous-arbre. Vous pouvez greffer un arbre à un autre en déplaçant la racine du premier vers la feuille du deuxième. La preuve est finie quand elle est entourée par un rectangle rouge Amusez vous! La logique c'est sympa
Détails
- Version1.4
- Dernière mise à jour10 avril 2015
- Taille1.1MiB
- Langues54 langues
- Non-professionnelCe développeur ne s'est pas identifié comme professionnel. Pour les consommateurs de l'Union européenne, veuillez noter qu'il est possible que les droits des consommateurs ne s'appliquent pas aux contrats entre vous et ce développeur.
Confidentialité
Gérez les extensions et découvrez comment elles sont utilisées dans votre organisation
Le développeur n'a pas fourni d'informations sur la collecte ni sur l'utilisation de vos données.