तार अनुमान-नियम एक प्रूफ़ ग्राफ़ में एक साथ ब्लॉक हो जाता है, नियमों के माध्यम से परिसर को तब तक फीड करता है जब तक कि लक्ष्य नोड हरा न हो जाए।
कैसे खेलें
बोर्ड आपके परिसर ब्लॉक और एक लक्ष्य से शुरू होता है। पैलेट से एक अनुमान नियम चुनें, फिर उसके लिए आवश्यक इनपुट ब्लॉक पर क्लिक करें; यदि वे फिट होते हैं, तो नियम इसके इनपुट से जुड़ा एक नया ब्लॉक प्राप्त करता है। जब तक आप लक्ष्य प्राप्त नहीं कर लेते तब तक नियम बनाये रखें। किसी निहितार्थ को सिद्ध करने के लिए, एक धारणा जोड़ें और उसे निहितार्थ-परिचय के साथ निर्वहन करें।
मोडस पोनेन्स, और-परिचय, या और-उन्मूलन जैसा कोई नियम चुनें
नया प्रस्ताव प्राप्त करने के लिए इसके इनपुट ब्लॉक पर क्लिक करें
किसी निहितार्थ को सिद्ध करने के लिए एक धारणा जोड़ें, फिर निहितार्थ-परिचय लागू करें
बराबर को हराने के लिए यथासंभव कम नियमों में लक्ष्य को हल्का करें
गेम मोड
दैनिक: प्रत्येक दिन साझा की जाने वाली एक निश्चित पहेली
अभ्यास करें: ताज़ा यादृच्छिक पहेलियाँ
नियंत्रण
डेस्कटॉप: एक नियम पर क्लिक करें, फिर कैनवास पर इनपुट ब्लॉक पर क्लिक करें; पूर्ववत करें, नियम रद्द करें, साफ़ बोर्ड और नया उपलब्ध हैं
फ़ोन और टैबलेट: एक नियम टैप करें और ब्लॉकों को तार करने के लिए उन्हें टैप करें (केवल माउस या स्पर्श करें)
युक्तियाँ एवं रणनीति
यह देखने के लिए लक्ष्य से पीछे की ओर काम करें कि कौन सा नियम इसे उत्पन्न करता है, फिर उस नियम के इनपुट प्राप्त करें
जब लक्ष्य एक निहितार्थ हो, तो उसके पूर्ववृत्त को पहले ही मान लें और निर्वहन करने से पहले परिणाम प्राप्त करने का लक्ष्य रखें
आप क्या सीखेंगे
वायरलॉजिक प्राकृतिक कटौती पर बनाया गया है, जो औपचारिक प्रमाण नियमों को वायरिंग पहेली में बदल देता है।
कौशल: प्राकृतिक कटौती, औपचारिक तर्क, प्रमाण नियम
इसके लिए सर्वोत्तम: उन्नत हाई स्कूल/कॉलेज
माता-पिता और शिक्षकों के लिए: प्राकृतिक कटौती, औपचारिक प्रमाण।
वायरलॉजिक के बारे में
वायरलॉजिक एक मूल मुफ्त ब्राउज़र लॉजिक गेम है जो प्राकृतिक कटौती पर बनाया गया है, जो औपचारिक प्रमाण नियमों को वायरेबल ब्लॉक में बदल देता है ताकि एक वैध तर्क की संरचना कुछ ऐसी बन जाए जिसे आप देख और बना सकें।
