Thunnder Empire
Construisez des démonstrations rigoureuses et devenez expert en raisonnement logique
Télécharger Thunnder EmpireChoisissez votre formule d'apprentissage
Accès gratuit
- Chapitre 1 intégralement accessible
- 20 preuves de conjonction
- Tables de vérité interactives
196 preuves
- 7 chapitres progressifs débloqués
- Du Modus Ponens au Reductio ad Absurdum
- Sandbox illimité pour expérimenter
Défi journalier
- Une preuve inédite chaque jour
- Suivi de séries consécutives
- Difficulté évaluée par étoiles
Les codes promotionnels sont valables pour les nouvelles installations. Contenu éducatif sans publicités invasives.
Architecture pédagogique
Système d'apprentissage structuré
Thunnder Empire repose sur une progression pédagogique rigoureuse : chaque chapitre introduit de nouvelles règles d'inférence tout en consolidant les acquis précédents. Vous commencez par manipuler la conjonction et la réitération avant d'aborder les implications conditionnelles.
Le moteur de vérification analyse vos démonstrations ligne par ligne. Chaque étape doit s'appuyer sur une règle formelle valide issue de la bibliothèque intégrée : introduction, élimination, preuve conditionnelle ou démonstration par l'absurde. L'algorithme détecte instantanément les erreurs logiques.
Les tables de vérité interactives permettent de visualiser la validité d'un argument. Vous devez identifier les rangées où toutes les prémisses sont vraies mais la conclusion fausse pour réfuter un raisonnement fallacieux comme l'affirmation du conséquent.
Spécifications vérifiées
| Plateforme | Android |
| Package | co.ajaib.jimba.suite |
| Exercices totaux | 196 preuves |
| Chapitres | 7 modules progressifs |
| Règles logiques | 15+ inférences formelles |
| Mode hors ligne | Entièrement fonctionnel |
| Langue interface | Notation symbolique universelle |
| Dernière mise à jour | October 2026 |
Fonctionnalités de construction logique
Preuves interactives
Construisez des démonstrations formelles en appliquant les règles d'inférence étape par étape. Chaque ligne ajoutée doit justifier sa présence par une référence logique valide.
Tables de vérité
Vérifiez la validité des arguments en explorant toutes les combinaisons de valeurs de vérité. Identifiez visuellement les rangées critiques qui réfutent un raisonnement.
Bibliothèque de règles
Accédez instantanément à la liste complète des inférences disponibles : Modus Ponens, Modus Tollens, élimination de la négation, introduction de la disjonction et bien d'autres.
Progression chapitres
Déverrouillez les niveaux avancés en complétant les preuves précédentes. Chaque chapitre exige un quota minimum de réussite avant d'autoriser le suivant.
Défi quotidien
Résolvez une preuve inédite chaque jour pour maintenir votre série active. La difficulté est évaluée par un système d'étoiles pour adapter l'entraînement.
Sandbox libre
Expérimentez sans contrainte dans un environnement de pratique ouvert. Testez vos propres hypothèses et explorez les limites des systèmes déductifs.
Méthodes déductives implémentées
Règles d'introduction
- Conjonction : combinez deux propositions vraies en une seule formule A ∧ B
- Disjonction : déduisez A ∨ B à partir d'une seule prémisse vraie
- Conditionnel : construisez A → B en assumant temporairement A puis en dérivant B
- Négation : démontrez ¬A en assumant A et en dérivant une contradiction ⊥
Règles d'élimination
- Conjonction : extrayez A ou B individuellement depuis A ∧ B
- Modus Ponens : déduisez B à partir de A → B et A simultanément vrais
- Modus Tollens : déduisez ¬A depuis A → B et ¬B connus
- Ex Falso Quodlibet : dérivez n'importe quelle proposition depuis une contradiction ⊥
Conception pédagogique rigoureuse
L'application s'inspire des cursus universitaires en logique formelle et philosophie analytique. Chaque règle d'inférence suit les standards de la déduction naturelle utilisés dans les manuels académiques. Le système de déblocage progressif évite la surcharge cognitive en introduisant les concepts complexes seulement après maîtrise des fondamentaux. Les étudiants en mathématiques, informatique théorique et philosophie y trouvent un outil d'entraînement rigoureux sans fioritures inutiles.
Maîtrisez le raisonnement formel dès aujourd'hui
Android • Gratuit avec options avancées • Installation immédiate
Télécharger Thunnder EmpireVersion 05.10.2026 • Android 5.0 minimum recommandé • Aucune donnée personnelle collectée • Tout public