Prove You Can Win

zqh games

2025년 1월 4일

Steam 상점

5 조회수

1 리뷰 수

75+ 추정 판매량

100% 긍정 평가

게임 정보

출시일:	2025년 1월 4일
개발사:	zqh games
퍼블리셔:	zqh games
플랫폼:	Windows, Mac
출시 가격:	5,600 원
장르:	인디

링크

Steam 스토어

업적 목록

게임 소개

Prove You Can Win

This is a puzzle game like a mathematical book, based on logic and deduction. In this game, you don't need to beat the level, but need to prove it is beatable. Your goal is not to win, but to prove you can win.

상세 설명

This is a puzzle game based on logic and deduction. In this game, you can learn and understand a brand new deduction system, and then take the axioms and rules of deduction as tools, to prove the propositions by entering the code.

Features:

Understand the axioms and rules of deduction (just like when you are reading a mathematical book)

Enter the code and prove the proposition (just like when you are solving a math problem)

"Q.E.D.", "Eureka!", and get into the next loop

Elements which might be frustrating:

No good artwork. (That's less important than the other three)

Amounts of text to read, and it requires a little comprehension of math. (Playing this game is virtually like reading a math book)

The only way to create a new proof step is entering the right code, which is not the core of the game essentially. (It's due to my limited programming ability)

No custom-corollary function. Only the axioms and rules of deduction are available. (Welcome to the CLASSIC deduction system)

If all of them are okay for you, then this game may be suitable for you.

FAQs:

Q: Which players are the game mainly for?

A: If you have some experience of reading math books and you are interested in logic, this game may be the one you like.

Q: Is it a hard game?

A: At the first, the difficulty of this game are mainly about the understanding the rules, and it's easy to work out the puzzle. But the problem will become very hard if you keep playing. Anyway, reading and comprehending themselves will form a part of difficulty.

Q: Are you inspired by something when designing this game?

A: This game is inspired by mathematical logic, mainly about natural deduction of statement calculus and first-order predicate calculus.

Q: How long does it take to beat the game?

A: About 20~40 hours.

Q: Is there any difference between this game and a mathematical exercise book?

A: Nothing. And I just let it be. If some players mind that, it's fine by me to use "the executable file" or "the exercise book" while talking with them, instead of "this game".