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.
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 →
