Lemma

ช่องด้านซ้ายจะแสดงตัวเลข สิ่งที่ได้รับ และเป้าหมาย ศูนย์กลางคือบัญชีแยกประเภทสองคอลัมน์ของใบแจ้งยอดและเหตุผลที่คุณสร้างขึ้น จากกลุ่มขั้นตอนของผู้สมัคร ให้เพิ่มทีละขั้นตอน ขั้นตอนจะได้รับการยอมรับก็ต่อเมื่อมีการพิสูจน์ข้อกำหนดเบื้องต้นแล้วเท่านั้น บรรลุเป้าหมายในการพิสูจน์ให้เสร็จสิ้น

• คลิกขั้นตอนผู้สมัครเพื่อลองเพิ่มลงในบัญชีแยกประเภท
• ขั้นตอนการล็อกจนกว่าจะมีการสร้างรายการข้อกำหนดเบื้องต้น
• การกระโดดที่ไม่ถูกต้องจะถูกปฏิเสธ บางครั้งอาจมีตัวอย่างโต้แย้งด้วย
• บรรลุเป้าหมายด้วยเส้นน้อยลงพร้อมคำใบ้น้อยลงเพื่อให้ได้คะแนนที่สูงขึ้น

• รายวัน: หลักฐานคงที่จะถูกแบ่งปันในแต่ละวัน
• แนวปฏิบัติ: ปัญหาสุ่มใหม่

• เดสก์ท็อป: คลิกขั้นตอนในพูลเพื่อเพิ่ม เลิกทำ คำแนะนำ และใหม่อยู่บนแถบเครื่องมือ
• โทรศัพท์และแท็บเล็ต: แตะขั้นตอนเพื่อเพิ่ม แล้วแตะปุ่มแถบเครื่องมือ (เมาส์หรือระบบสัมผัสเท่านั้น)

• ทำงานต่อจากที่ได้รับ — มองหาขั้นตอนที่คุณมีข้อกำหนดเบื้องต้นในบัญชีแยกประเภทอยู่แล้ว
• ใช้คำแนะนำเท่าที่จำเป็น แต่ละบรรทัดจะวางบรรทัดตามรูปแบบบัญญัติถัดไป แต่จะลดคะแนนสุดท้ายของคุณลง

เลมมาสอนการพิสูจน์แบบนิรนัยที่เข้มงวด โดยบังคับให้ทุกขั้นตอนมีความชอบธรรม

• ทักษะ: การพิสูจน์แบบนิรนัย, ตรรกะที่เป็นทางการ, ความเข้มงวดทางคณิตศาสตร์
• เหมาะสำหรับ: มัธยมปลาย/วิทยาลัยขั้นสูง
• สำหรับผู้ปกครองและครู: หลักฐานนิรนัยที่เข้มงวด

Lemma เป็นเกมลอจิกเบราว์เซอร์ต้นฉบับฟรีที่สอนการพิสูจน์นิรนัยอย่างเข้มงวด โดยบังคับให้ทุกการกล่าวอ้างได้รับการพิสูจน์ด้วยบรรทัดก่อนหน้า เช่นเดียวกับความต้องการการพิสูจน์เรขาคณิตสองคอลัมน์จริง

เรียกดูเกมทั้งหมด →