PlayPendium
PlayPendium · About · Contact · Privacy · Terms · Cookies · Accessibility · Copyright · Browse all games · Inspirations · © 2026

Lemma

هر بار یک خط توجیهی اثبات بسازید - هر مرحله باید از آنچه قبلاً در دفتر است پیروی کند، و هر جهشی منطقی از بین می رود.

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

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

حالت های بازی

کنترل ها

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

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

لما اثبات قیاسی دقیقی را آموزش می‌دهد، که هر مرحله را توجیه می‌کند.

درباره لما

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

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