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
Meilleur affichage
![[DIA 2] CBSoft 2020 | SBLP - Palestra: Propositions as Types screenshot 4](https://i.ytimg.com/vi/DU846DP7K68/mqdefault.jpg)
9Apps 4.9
