Her seferinde haklı bir satır olacak şekilde bir kanıt oluşturun; her adım, halihazırda defterde bulunandan takip edilmelidir ve herhangi bir mantıksal sıçrama atılır.
Nasıl oynanır
Sol bölme rakamı, verilenleri ve hedefi gösterir. Merkez, oluşturduğunuz iki sütunlu beyan ve gerekçe defteridir. Aday adımlar havuzundan birer birer ekleyin; bir adım yalnızca önkoşullarının zaten kanıtlanmış olması durumunda kabul edilir. İspatı tamamlamak için hedefi türetin.
Genel muhasebeye eklemeyi denemek için bir aday adıma tıklayın
Adımlar, önkoşul çizgileri oluşturulana kadar kilitlenir
Geçersiz sıçramalar bazen karşı örnekle reddedilir
Daha yüksek bir puan için hedefe daha az satırda, daha az ipucuyla ulaşın
Oyun modları
Günlük: Her gün paylaşılan sabit bir kanıt
Alıştırma: yeni rastgele problemler
Kontroller
Masaüstü: eklemek için havuzdaki adımları tıklayın; Geri al, İpucu ve Yeni araç çubuğundadır
Telefon ve tablet: eklemek için bir adıma dokunun ve araç çubuğu düğmelerine dokunun (yalnızca fare veya dokunma)
İpuçları ve strateji
Verilenlerden ileriye doğru çalışın; önkoşulları zaten defterde bulunan adımı arayın
İpuçlarını dikkatli kullanın; her biri bir sonraki kanonik çizgiyi yerleştirir ancak nihai puanınızı düşürür
Ne öğreneceksin
Lemma, her adımın haklı olduğunu zorlayan kesin tümdengelimli kanıt öğretir.
Ebeveynler ve öğretmenler için: kesin tümdengelimli kanıt.
Lemma Hakkında
Lemma, gerçek bir iki sütunlu geometri kanıtının gerektirdiği gibi, her iddianın önceki satırlarla gerekçelendirilmesini zorlayan, titiz tümdengelimli kanıt öğreten orijinal bir ücretsiz tarayıcı mantık oyunudur.
