وائر انفرنس رول کو ایک پروف گراف میں ایک ساتھ بلاک کرتا ہے، اصولوں کے ذریعے احاطے کو کھانا کھلاتا ہے جب تک کہ گول نوڈ کی روشنی سبز نہ ہو۔
بورڈ آپ کے بنیادی بلاکس اور ایک مقصد سے شروع ہوتا ہے۔ پیلیٹ سے ایک قیاس اصول چنیں، پھر ان پٹ بلاکس پر کلک کریں جن کی اسے ضرورت ہے۔ اگر وہ فٹ ہوجاتے ہیں تو، اصول ایک نیا بلاک اخذ کرتا ہے جو اس کے ان پٹس پر وائرڈ ہوتا ہے۔ جب تک آپ مقصد حاصل نہ کر لیں تب تک سلسلہ کے اصول۔ کسی مضمرات کو ثابت کرنے کے لیے، ایک مفروضہ شامل کریں اور اسے مضمرات-تعارف کے ساتھ خارج کریں۔
Wirelogic قدرتی کٹوتی پر بنایا گیا ہے، رسمی ثبوت کے اصولوں کو وائرنگ پہیلی میں بدل دیتا ہے۔
مقدمات کے بلاکوں سے شروع کر کے استنتاج کے قواعد چن کر ہدف تک پہنچنا صوری استنباط ہے، وہ عمل جو ارسطو کے قیاس سے جدید ثبوتی نظاموں تک جاتا ہے۔
جو ڈیزائنی تفصیل کچھ سکھاتی ہے وہ یہ کہ قاعدہ صرف اسی وقت چلتا ہے جب اس کے ان پٹ واقعی فٹ ہوں۔
یہی استدلال اور دعوے کا پورا فرق ہے۔ ایک دلیل جو درست محسوس ہو مگر کسی درست قاعدے کی شکل سے میل نہ کھائے، ٹھیک وہ غلطی ہے جسے پکڑنے کے لیے صوری منطق ایجاد ہوئی، اور ربط کو زبردستی نہ جوڑ سکنا غلط قرار دیے جانے سے زیادہ سبق آموز ہے۔
وائر لاجک ایک اصل مفت براؤزر لاجک گیم ہے جو قدرتی کٹوتی پر بنایا گیا ہے، باضابطہ ثبوت کے اصولوں کو وائر ایبل بلاکس میں تبدیل کرتا ہے تاکہ ایک درست دلیل کی ساخت ایسی بن جائے جسے آپ دیکھ اور بنا سکتے ہیں۔