Çıkarım kuralı bloklarını bir kanıt grafiği halinde bir araya getirin ve hedef düğüm yeşil yanana kadar öncülleri kurallarla besleyin.
Tahta öncül bloklarınız ve bir hedefle başlar. Paletten bir çıkarım kuralı seçin ve ardından ihtiyaç duyduğu giriş bloklarına tıklayın; eğer uyuyorlarsa, kural girişlerine bağlanan yeni bir blok türetir. Hedefi elde edene kadar kuralları zincirleyin. Bir çıkarımı kanıtlamak için, bir varsayım ekleyin ve onu çıkarım-giriş ile boşaltın.
Wirelogic, resmi kanıt kurallarını bir bağlantı bulmacasına dönüştüren doğal çıkarım üzerine kurulmuştur.
Öncül bloklarından başlayıp çıkarım kuralları seçerek bir hedefe ulaşmak, Aristoteles'in kıyasından modern ispat sistemlerine uzanan uygulama olan biçimsel tümdengelimdir.
Bir şey öğreten tasarım ayrıntısı, bir kuralın ancak girdileri gerçekten uyuyorsa işlemesidir.
Akıl yürütmek ile öne sürmek arasındaki farkın tamamı budur. Doğru hissettiren ama geçerli herhangi bir kuralın biçimine uymayan bir argüman, biçimsel mantığın yakalamak için icat edildiği hatanın ta kendisidir ve bağlantıyı zorla kuramamak, yanlış olarak işaretlenmekten daha öğreticidir.
Wirelogic, doğal çıkarım üzerine kurulu, resmi kanıt kurallarını kablolanabilir bloklara dönüştüren, böylece geçerli bir argümanın yapısını görebileceğiniz ve oluşturabileceğiniz bir şey haline getiren orijinal bir ücretsiz tarayıcı mantık oyunudur.