Prove You Can Win

Đây là một trò chơi giải đố dựa trên logic và suy diễn. Trong trò chơi này, bạn có thể học và hiểu một hệ thống suy diễn hoàn toàn mới, sau đó sử dụng các tiên đề và quy tắc suy diễn như công cụ để chứng minh các mệnh đề bằng cách nhập mã.

Tính năng:

• Hiểu các tiên đề và quy tắc suy diễn (giống như khi bạn đọc một cuốn sách toán học)

• Nhập mã và chứng minh mệnh đề (giống như khi bạn giải một bài toán)

• "Q.E.D.", "Eureka!", và bước vào vòng lặp tiếp theo

Các yếu tố có thể gây khó chịu:

• Không có hình ảnh đẹp. (Điều đó ít quan trọng hơn ba yếu tố còn lại)

• Khối lượng văn bản cần đọc, và nó yêu cầu một chút hiểu biết về toán học. (Chơi trò chơi này thực chất giống như đọc một cuốn sách toán học)

• Cách duy nhất để tạo một bước chứng minh mới là nhập đúng mã, điều này về bản chất không phải là cốt lõi của trò chơi. (Đó là do khả năng lập trình hạn chế của tôi)

• Không có chức năng hệ quả tùy chỉnh. Chỉ có các tiên đề và quy tắc suy diễn. (Chào mừng đến với hệ thống suy diễn CỔ ĐIỂN)

Nếu tất cả những điều đó đều ổn với bạn, thì trò chơi này có thể phù hợp với bạn.

Câu hỏi thường gặp:

H: Trò chơi này chủ yếu dành cho những người chơi nào?

Đ: Nếu bạn có một chút kinh nghiệm đọc sách toán học và bạn quan tâm đến logic, trò chơi này có thể là trò chơi bạn thích.

H: Đây có phải là trò chơi khó không?

Đ: Ban đầu, độ khó của trò chơi này chủ yếu là về việc hiểu các quy tắc, và việc giải câu đố khá dễ. Nhưng vấn đề sẽ trở nên rất khó nếu bạn tiếp tục chơi. Dù sao, việc đọc và hiểu bản thân nó cũng là một phần của độ khó.

H: Bạn có được truyền cảm hứng từ điều gì khi thiết kế trò chơi này không?

Đ: Trò chơi này được lấy cảm hứng từ logic toán học, chủ yếu về suy diễn tự nhiên của phép tính mệnh đề và phép tính vị từ bậc nhất.

H: Mất bao lâu để hoàn thành trò chơi?

Đ: Khoảng 20~40 giờ.

H: Có sự khác biệt nào giữa trò chơi này và một cuốn sách bài tập toán học không?

Đ: Không có gì. Và tôi cứ để vậy. Nếu một số người chơi phiền lòng về điều đó, tôi không ngại dùng "tệp thực thi" hoặc "cuốn sách bài tập" khi nói chuyện với họ, thay vì "trò chơi này".