Sử dụng suy luận để chứng minh tính hợp lệ của một đối số không giống như chơi một trong nhiều trò chơi trên bảng. Trong kiểm tra, ví dụ, có một bảng và một bộ mã thông báo. Bạn di chuyển các mã thông báo trên bảng theo một bộ quy tắc để đạt được một mục tiêu cụ thể. Trong một bằng chứng suy diễn có một bộ các tiền đề và một kết luận. Mục tiêu là để thao túng các tiền đề với một bộ quy tắc suy luận để rút ra kết luận. Không có điều kiện tiên quyết là cần thiết để sử dụng ứng dụng này. Nó chứa tài liệu phong phú cho người dùng.
Thưởng thức ứng dụng.
English