Construisez une preuve une ligne justifiée à la fois - chaque étape doit découler de ce qui est déjà dans le grand livre, et tout saut logique est rejeté.
Comment jouer
Le volet de gauche montre le chiffre, les données et l'objectif. Le centre est un registre à deux colonnes de déclarations et de justifications que vous construisez. À partir du pool d’étapes candidates, ajoutez-en une à la fois ; une démarche n'est acceptée que lorsque ses prérequis sont déjà prouvés. Dérivez l’objectif pour compléter la preuve.
Cliquez sur une étape candidate pour essayer de l'ajouter au grand livre
Les étapes se verrouillent jusqu'à ce que leurs lignes préalables soient établies
Les sauts invalides sont rejetés, parfois avec un contre-exemple
Atteignez l'objectif en moins de lignes, avec moins d'indices, pour un score plus élevé
Modes de jeu
Quotidien : une épreuve fixe partagée chaque jour
Pratique : nouveaux problèmes randomisés
Contrôles
Bureau : cliquez sur les étapes dans le pool pour les ajouter ; Annuler, Astuce et Nouveau sont sur la barre d'outils
Téléphone et tablette : appuyez sur une étape pour l'ajouter et appuyez sur les boutons de la barre d'outils (souris ou toucher uniquement)
Conseils et stratégie
Travaillez à partir des données - recherchez l'étape dont vous avez déjà les prérequis dans le grand livre
Utilisez les indices avec parcimonie ; chacun place la ligne canonique suivante mais abaisse votre score final
Ce que vous apprendrez
Lemma enseigne une preuve déductive rigoureuse, affirmant que chaque étape est justifiée.
Pour les parents et les enseignants : preuve déductive rigoureuse.
À propos de Lemme
Lemma est un jeu de logique par navigateur original et gratuit qui enseigne une preuve déductive rigoureuse, exigeant que chaque affirmation soit justifiée par des lignes antérieures, tout comme l'exige une véritable preuve géométrique à deux colonnes.
Un jeu original et gratuit dans votre navigateur — sans téléchargement. Voir tous les jeux →
