Wirelogic
Hubungkan blok aturan inferensi menjadi grafik bukti, masukkan premis melalui aturan hingga simpul tujuan menyala hijau.
Cara bermain
Papan dimulai dengan blok premis Anda dan sebuah tujuan. Pilih aturan inferensi dari palet, lalu klik blok masukan yang diperlukan; jika cocok, aturan tersebut akan memperoleh blok baru yang dihubungkan ke inputnya. Aturan rantai sampai Anda mendapatkan tujuannya. Untuk membuktikan suatu implikasi, tambahkan asumsi dan keluarkan dengan pengenalan implikasi.
- Pilih aturan seperti modus ponens, dan-introduksi, atau dan-eliminasi
- Klik blok masukannya untuk mendapatkan proposisi baru
- Tambahkan asumsi untuk membuktikan suatu implikasi, lalu terapkan pengenalan implikasi
- Nyalakan gawang dengan aturan sesedikit mungkin untuk mengalahkan par
Mode permainan
- Harian: teka-teki tetap dibagikan setiap hari
- Latihan: teka-teki acak baru
Kontrol
- Desktop: klik aturan, lalu klik blok masukan di kanvas; Urungkan, Batalkan aturan, Hapus papan, dan Baru tersedia
- Ponsel & tablet: ketuk aturan dan ketuk blok untuk menyambungkannya (hanya mouse atau sentuh)
Kiat & strategi
- Bekerja mundur dari tujuan untuk melihat aturan mana yang menghasilkannya, lalu dapatkan masukan dari aturan tersebut
- Ketika tujuannya adalah sebuah implikasi, asumsikan pendahulunya sejak dini dan usahakan untuk memperoleh konsekuensinya sebelum melaksanakannya
Apa yang akan Anda pelajari
Wirelogic dibangun berdasarkan deduksi alami, mengubah aturan pembuktian formal menjadi teka-teki pengkabelan.
- Keterampilan: deduksi alami, logika formal, aturan pembuktian
- Terbaik untuk: sekolah menengah atas/perguruan tinggi
- Untuk orang tua & guru: deduksi alami, bukti formal.
Tentang Wirelogic
Wirelogic adalah permainan logika browser gratis asli yang dibangun berdasarkan deduksi alami, mengubah aturan pembuktian formal menjadi blok kabel sehingga struktur argumen yang valid menjadi sesuatu yang dapat Anda lihat dan bangun.
Game orisinal gratis di browser Anda — tanpa unduhan. Lihat semua game → /
