Shuri's Mafia

Real Gangster Shit

Prove You Can Win

Shop Info

Developers Publishers Release Date Price Buy Prove You Can Win

zqh games

zqh games

4 Jan, 2025 (3 months ago) 4.99$ STEAM
Kinguin
KeyForSteam
SteamDB

Description

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

Windows Requirements

Minimum:
  • Requires a 64-bit processor and operating system
  • OS *: Windows 7 or later
  • Processor: 1.6GHz
  • Memory: 2 GB RAM
  • Storage: 80 MB available space
Recommended:
  • Requires a 64-bit processor and operating system

Mac Requirements

Minimum:
  • Storage: 150 MB available space
Recommended:

    Linux Requirements

    Minimum:
      Recommended:
        Achievement Icon

        Prove You Can Win

        Not unlocked yet

        Achievement Icon

        Locks and Keys

        Not unlocked yet

        Achievement Icon

        Prove You Can't Win

        Not unlocked yet

        Achievement Icon

        Variables

        Not unlocked yet

        Achievement Icon

        Connectives and Quantifiers

        Not unlocked yet

        Achievement Icon

        Review

        Not unlocked yet

        Achievement Icon

        Eureka!

        Not unlocked yet

        Prove one proposition.

        Achievement Icon

        What??

        Not unlocked yet

        Prove an impossible conclusion.

        Achievement Icon

        Q.E.D.

        Not unlocked yet

        Prove all provable propositions.