Description
Ce programme est un assistant de démonstrations d'équivalences multiples. Supposons que vous ayez un certain nombre de propriétés (mathématiques, physiques, ...) et que vous vouliez montrer qu'elles sont toutes équivalentes. Ceci se fait en démontrant des implications et en essayant de faire des rondes. Or lorsque le nombre de propriétés devient important, on s'y perd facilement.
Ce programme vous permet de synthétiser : vous rentrez l'ensemble des implications que vous avez démontrées et il donne l'ensemble des équivalences démontrées et des implications, sous forme simplifiée.
Exemple : pour 4 propositions, si vous rentrez 1 => 2 puis 2 => 3 ainsi que 3 => 4 et 4 => 2, le programme vous répond que 2, 3 et 4 sont équivalents et 1 implique 2.
Lorsque vous avez assez d'implications pour terminer, le programme vous l'indique.

Autres remarques
Trois modes d'affichage distincts.

TELECHARGER (116 Ko)

> Haut de la page