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ự.
