Wirelogic

قاعده استنتاج سیم با هم در یک گراف اثبات بلوک می شود و محل را از طریق قوانین تغذیه می کند تا زمانی که گره هدف سبز شود.

چگونه بازی کنیم

هیئت مدیره با بلوک های فرضی شما و یک هدف شروع می شود. یک قانون استنتاج را از پالت انتخاب کنید، سپس بر روی بلوک های ورودی مورد نیاز کلیک کنید. اگر مناسب باشند، این قانون یک بلوک جدید را به ورودی های آن متصل می کند. قوانین زنجیره ای تا زمانی که هدف را به دست آورید. برای اثبات یک استلزام، یک فرض اضافه کنید و آن را با مفهوم - مقدمه تخلیه کنید.

• قاعده ای مانند مدوس پوننس، و معرفی، یا حذف را انتخاب کنید
• برای استخراج یک گزاره جدید، روی بلوک های ورودی آن کلیک کنید
• یک فرض برای اثبات یک استلزام اضافه کنید، سپس Implication-Introduction را اعمال کنید
• هدف را در کمترین قوانین ممکن روشن کنید تا برابر باشید

حالت های بازی

• روزانه: یک پازل ثابت که هر روز به اشتراک گذاشته می شود
• تمرین: پازل های تصادفی تازه

کنترل ها

• دسکتاپ: روی یک قانون کلیک کنید، سپس روی بلوک های ورودی روی بوم کلیک کنید. لغو، قانون لغو، پاک کردن تابلو و جدید در دسترس هستند
• تلفن و رایانه لوحی: روی یک قانون ضربه بزنید و برای سیم‌کشی روی بلوک‌ها ضربه بزنید (فقط ماوس یا لمس)

نکات و استراتژی

• به عقب از هدف کار کنید تا ببینید کدام قانون آن را تولید می کند، سپس ورودی های آن قانون را استخراج کنید
• وقتی هدف یک مفهوم است، مقدمه آن را زودتر فرض کنید و قبل از تخلیه، نتیجه را استخراج کنید.

چیزی که یاد خواهید گرفت

Wirelogic بر اساس کسر طبیعی ساخته شده است و قوانین اثبات رسمی را به یک پازل سیم کشی تبدیل می کند.

• مهارت ها: استنتاج طبیعی، منطق رسمی، قواعد اثبات
• بهترین برای: دبیرستان / کالج پیشرفته
• برای والدین و معلمان: کسر طبیعی، اثبات رسمی.

درباره Wirelogic

Wirelogic یک بازی منطقی رایگان مرورگر اصلی است که بر اساس کسر طبیعی ساخته شده است، قوانین اثبات رسمی را به بلوک های قابل سیم تبدیل می کند تا ساختار یک آرگومان معتبر به چیزی تبدیل شود که می توانید ببینید و بسازید.

همه بازی ها را مرور کنید → /