Wirelogic

قم بتوصيل كتل قاعدة الاستدلال معًا في رسم بياني إثباتي، مما يؤدي إلى تغذية المباني من خلال القواعد حتى تضيء عقدة الهدف باللون الأخضر.

كيف تلعب

تبدأ اللوحة بكتل فرضيتك وهدفًا. اختر قاعدة الاستدلال من اللوحة، ثم انقر فوق كتل الإدخال التي تحتاجها؛ إذا كانت مناسبة، فإن القاعدة تستمد كتلة جديدة موصلة بمدخلاتها. قواعد السلسلة حتى تستمد الهدف. لإثبات التضمين، أضف افتراضًا وتخلص منه بمقدمة التضمين.

• اختر قاعدة مثل modus ponens أو المقدمة أو الإزالة
• انقر فوق كتل الإدخال الخاصة بها لاستخلاص اقتراح جديد
• أضف افتراضًا لإثبات التضمين، ثم قم بتطبيق المقدمة التضمينية
• قم بإضاءة الهدف بأقل عدد ممكن من القواعد للتغلب على التعادل

أوضاع اللعبة

• يوميًا: يتم مشاركة لغز ثابت كل يوم
• الممارسة: ألغاز عشوائية جديدة

الضوابط

• سطح المكتب: انقر فوق إحدى القواعد، ثم انقر فوق كتل الإدخال الموجودة على اللوحة القماشية؛ التراجع، إلغاء القاعدة، مسح اللوحة والجديدة متوفرة
• الهاتف والجهاز اللوحي: انقر على القاعدة وانقر على الكتل لتوصيلها (الماوس أو اللمس فقط)

نصائح واستراتيجية

• اعمل بشكل عكسي بدءًا من الهدف لمعرفة القاعدة التي تنتجه، ثم استخرج مدخلات تلك القاعدة
• عندما يكون الهدف ضمنا، افترض سابقته مبكرا واهدف إلى استخلاص النتيجة قبل التفريغ

ما ستتعلمه

تم بناء Wirelogic على الاستنتاج الطبيعي، مما يحول قواعد الإثبات الرسمية إلى لغز أسلاك.

• المهارات: الاستنباط الطبيعي، المنطق الرسمي، قواعد الإثبات
• الأفضل لـ: المدرسة الثانوية / الكلية المتقدمة
• للآباء والمعلمين: الخصم الطبيعي، والإثبات الرسمي.

حول ويرولوجيك

Wirelogic هي لعبة منطق متصفح أصلية مجانية مبنية على الاستنتاج الطبيعي، وتحول قواعد الإثبات الرسمية إلى كتل قابلة للربط بحيث يصبح هيكل الوسيطة الصحيحة شيئًا يمكنك رؤيته وبناءه.

تصفح جميع الألعاب → /