Lemma

Xây dựng bằng chứng từng dòng một - mỗi bước phải tuân theo những gì đã có trên sổ cái và bất kỳ bước nhảy vọt hợp lý nào đều bị loại bỏ.

Cách chơi

Khung bên trái hiển thị hình ảnh, nội dung đã cho và mục tiêu. Phần trung tâm là một sổ cái hai cột chứa các tuyên bố và biện minh mà bạn xây dựng. Từ nhóm các bước ứng cử viên, hãy thêm từng bước một; một bước chỉ được chấp nhận khi các điều kiện tiên quyết của nó đã được chứng minh. Suy ra mục tiêu để hoàn thành chứng minh.

• Nhấp vào một bước ứng viên để thử thêm nó vào sổ cái
• Khóa các bước cho đến khi các dòng tiên quyết của chúng được thiết lập
• Các bước nhảy không hợp lệ sẽ bị từ chối, đôi khi kèm theo một phản ví dụ
• Đạt được mục tiêu trong ít dòng hơn, với ít gợi ý hơn để có điểm cao hơn

Chế độ trò chơi

• Hàng ngày: một bằng chứng cố định được chia sẻ mỗi ngày
• Thực hành: các vấn đề ngẫu nhiên mới

Điều khiển

• Máy tính để bàn: nhấp vào các bước trong nhóm để thêm chúng; Hoàn tác, Gợi ý và Mới nằm trên thanh công cụ
• Điện thoại và máy tính bảng: nhấn vào một bước để thêm bước đó và nhấn vào các nút trên thanh công cụ (chỉ dùng chuột hoặc cảm ứng)

Mẹo & chiến lược

• Tiếp tục làm việc từ những điều đã cho — tìm kiếm bước mà bạn đã có sẵn các điều kiện tiên quyết trên sổ cái
• Sử dụng gợi ý một cách tiết kiệm; mỗi người đặt dòng chuẩn tiếp theo nhưng làm giảm điểm cuối cùng của bạn

Bạn sẽ học được gì

Bổ đề dạy cách chứng minh suy diễn nghiêm ngặt, đảm bảo rằng mọi bước đều hợp lý.

• Kỹ năng: chứng minh suy diễn, logic hình thức, tính chặt chẽ trong toán học
• Tốt nhất cho: trường trung học / đại học nâng cao
• Dành cho phụ huynh và giáo viên: bằng chứng suy luận chặt chẽ.

Về bổ đề

Bổ đề là một trò chơi logic trình duyệt miễn phí nguyên bản dạy cách chứng minh suy diễn nghiêm ngặt, thực thi rằng mọi tuyên bố đều được chứng minh bằng các dòng trước giống như yêu cầu chứng minh hình học hai cột thực sự.

Duyệt tất cả các trò chơi → /