Costruisci una dimostrazione una riga giustificata alla volta: ogni passaggio deve seguire da ciò che è già presente nel registro e ogni salto logico viene eliminato.
Come giocare
Il riquadro di sinistra mostra la figura, i dati e l'obiettivo. Il centro è un registro a due colonne di dichiarazioni e giustificazioni che costruisci. Dal pool di passaggi candidati, aggiungerne uno alla volta; un passo è accettato solo quando i suoi prerequisiti sono già dimostrati. Derivare l'obiettivo per completare la dimostrazione.
Fare clic su un passaggio candidato per provare ad aggiungerlo al registro
I passaggi si bloccano finché non vengono stabilite le linee dei prerequisiti
I salti non validi vengono rifiutati, a volte con un controesempio
Raggiungi l'obiettivo in meno righe, con meno suggerimenti, per un punteggio più alto
Modalità di gioco
Giornaliero: una prova fissa condivisa ogni giorno
Esercizio: nuovi problemi randomizzati
Controlli
Desktop: fare clic sui passaggi nel pool per aggiungerli; Annulla, Suggerimento e Nuovo si trovano sulla barra degli strumenti
Telefono e tablet: tocca un passaggio per aggiungerlo e tocca i pulsanti della barra degli strumenti (solo mouse o tocco)
Suggerimenti e strategia
Procedi partendo dai dati: cerca il passaggio di cui hai già i prerequisiti nel registro
Usa i suggerimenti con parsimonia; ognuno posiziona la riga canonica successiva ma abbassa il punteggio finale
Cosa imparerai
Lemma insegna una rigorosa dimostrazione deduttiva, imponendo che ogni passo sia giustificato.
Per genitori e insegnanti: prova deduttiva rigorosa.
A proposito di Lemma
Lemma è un originale gioco di logica per browser gratuito che insegna una rigorosa dimostrazione deduttiva, imponendo che ogni affermazione sia giustificata dalle righe precedenti proprio come richiede una vera dimostrazione geometrica a due colonne.
