قم بتوصيل كتل قاعدة الاستدلال معًا في رسم بياني إثباتي، مما يؤدي إلى تغذية المباني من خلال القواعد حتى تضيء عقدة الهدف باللون الأخضر.
تبدأ اللوحة بكتل فرضيتك وهدفًا. اختر قاعدة الاستدلال من اللوحة، ثم انقر فوق كتل الإدخال التي تحتاجها؛ إذا كانت مناسبة، فإن القاعدة تستمد كتلة جديدة موصلة بمدخلاتها. قواعد السلسلة حتى تستمد الهدف. لإثبات التضمين، أضف افتراضًا وتخلص منه بمقدمة التضمين.
تم بناء Wirelogic على الاستنتاج الطبيعي، مما يحول قواعد الإثبات الرسمية إلى لغز أسلاك.
الانطلاق من كتل المقدمات وبلوغ هدف باختيار قواعد الاستدلال هو الاستنتاج الصوري، الممارسة الممتدة من قياس أرسطو إلى أنظمة البرهان الحديثة.
تفصيل التصميم الذي يعلّم شيئًا هو أن القاعدة لا تنطلق إلا إذا لاءمتها مدخلاتها حقًا.
هذا هو الفرق كله بين الاستدلال والتأكيد. فالحجة التي تبدو صحيحة لكنها لا تطابق شكل أي قاعدة صحيحة هي بالضبط الخطأ الذي اختُرع المنطق الصوري لالتقاطه، والعجز عن فرض الصلة أكثر إفادة من أن يُحكم عليك بالخطأ.
Wirelogic هي لعبة منطق متصفح أصلية مجانية مبنية على الاستنتاج الطبيعي، وتحول قواعد الإثبات الرسمية إلى كتل قابلة للربط بحيث يصبح هيكل الوسيطة الصحيحة شيئًا يمكنك رؤيته وبناءه.