Buatlah bukti satu baris yang dibenarkan pada satu waktu - setiap langkah harus mengikuti apa yang sudah ada di buku besar, dan lompatan logis apa pun akan dibuang.
Cara bermain
Panel kiri menunjukkan gambar, hal yang diberikan, dan tujuannya. Bagian tengahnya adalah buku besar pernyataan dan pembenaran dua kolom yang Anda buat. Dari kumpulan langkah kandidat, tambahkan satu per satu; suatu langkah diterima hanya jika prasyaratnya sudah terbukti. Turunkan tujuan untuk melengkapi pembuktian.
Klik salah satu langkah kandidat untuk mencoba menambahkannya ke buku besar
Langkah-langkah dikunci hingga garis prasyaratnya ditetapkan
Lompatan yang tidak valid ditolak, terkadang dengan contoh tandingan
Capai tujuan dalam garis yang lebih sedikit, dengan petunjuk yang lebih sedikit, untuk skor yang lebih tinggi
Mode permainan
Harian: bukti tetap dibagikan setiap hari
Latihan: soal acak baru
Kontrol
Desktop: klik langkah-langkah di kumpulan untuk menambahkannya; Undo, Hint dan New ada di toolbar
Ponsel & tablet: ketuk satu langkah untuk menambahkannya dan ketuk tombol toolbar (hanya mouse atau sentuh)
Kiat & strategi
Berusahalah berdasarkan apa yang ada - carilah langkah yang prasyaratnya sudah Anda miliki di buku besar
Gunakan petunjuk dengan hemat; masing-masing menempatkan garis kanonik berikutnya tetapi menurunkan skor akhir Anda
Apa yang akan Anda pelajari
Lemma mengajarkan pembuktian deduktif yang ketat, menegaskan bahwa setiap langkah dapat dibenarkan.
Terbaik untuk: sekolah menengah atas/perguruan tinggi
Untuk orang tua & guru: bukti deduktif yang ketat.
Tentang Lemma
Lemma adalah permainan logika browser gratis asli yang mengajarkan pembuktian deduktif yang ketat, menegakkan bahwa setiap klaim dibenarkan oleh baris sebelumnya seperti yang diminta oleh pembuktian geometri dua kolom yang sebenarnya.
Game orisinal gratis di browser Anda — tanpa unduhan. Lihat semua game →
