Hubungkan blok aturan inferensi menjadi grafik bukti, masukkan premis melalui aturan hingga simpul tujuan menyala hijau.
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.
Wirelogic dibangun berdasarkan deduksi alami, mengubah aturan pembuktian formal menjadi teka-teki pengkabelan.
Memulai dari blok-blok premis dan mencapai sebuah tujuan dengan memilih aturan-aturan inferensi adalah deduksi formal, praktik yang membentang dari silogisme Aristoteles hingga sistem pembuktian modern.
Detail rancangan yang mengajarkan sesuatu adalah sebuah aturan hanya berlaku jika masukannya benar-benar cocok.
Itulah seluruh perbedaan antara bernalar dan sekadar menegaskan. Argumen yang terasa benar tetapi tidak cocok dengan bentuk aturan sah mana pun adalah persis kesalahan yang hendak ditangkap logika formal, dan tidak mampu memaksakan sambungan lebih mendidik daripada sekadar dinilai salah.
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.