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ẽ.
Nguồn gốc
Xây dựng một bảng hai cột gồm mệnh đề và lý do từ một kho các bước ứng viên là chứng minh toán học như nó được dạy trong hình học.
Cung cấp các bước ứng viên là giàn giáo độc đáo.
Đưa ra các bước loại bỏ phần chủ yếu là sáng tạo và để lại phần chủ yếu là logic: quyết định điều gì suy ra từ điều gì, và theo thứ tự nào. Một bước đúng nhưng chưa được biện minh là lỗi đặc trưng, và nó chỉ hiện rõ trong dạng hai cột.
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ự.
