Construeer een bewijs, regel voor regel uitgelijnd; elke stap moet volgen uit wat al in het grootboek staat, en elke logische sprong wordt weggegooid.
Hoe te spelen
Het linkerdeelvenster toont de figuur, de gegevens en het doel. Het midden is een grootboek met twee kolommen met verklaringen en rechtvaardigingen dat u opbouwt. Voeg één voor één toe uit de verzameling kandidaatstappen; een stap wordt alleen geaccepteerd als de voorwaarden ervan al zijn bewezen. Leid het doel af om het bewijs te voltooien.
Klik op een kandidaatstap om te proberen deze aan het grootboek toe te voegen
Stappen worden vergrendeld totdat de vereiste regels zijn vastgesteld
Ongeldige sprongen worden verworpen, soms met een tegenvoorbeeld
Bereik het doel in minder lijnen, met minder hints, voor een hogere score
Spelmodi
Dagelijks: een vast bewijs dat elke dag wordt gedeeld
Oefening: nieuwe gerandomiseerde problemen
Controles
Desktop: klik op stappen in de pool om ze toe te voegen; Ongedaan maken, Hint en Nieuw staan op de werkbalk
Telefoon en tablet: tik op een stap om deze toe te voegen en tik op de werkbalkknoppen (alleen muis of aanraking)
Tips & strategie
Werk vooruit vanuit de gegeven gegevens – zoek naar de stap waarvan je al de vereisten hebt in het grootboek
Wees spaarzaam met hints; elk plaatst de volgende canonieke lijn, maar verlaagt je eindscore
Wat je gaat leren
Lemma onderwijst rigoureus deductief bewijs en dwingt af dat elke stap gerechtvaardigd is.
Beste voor: gevorderde middelbare school/universiteit
Voor ouders en leerkrachten: rigoureus deductief bewijs.
Over Lemma
Lemma is een origineel, gratis browserlogicaspel dat rigoureus deductief bewijs leert, waarbij wordt afgedwongen dat elke claim wordt gerechtvaardigd door voorgaande regels, net zoals een echt geometriebewijs met twee kolommen vereist.
