Learn Natural Deduction in a fun and visual way! There are over 30 levels (probably), plus a sandbox mode allowing you to make as many different proofs as you want! This (testing pending) contains all the information you need to know what L= means, and build proofs in it!

Technically this is version 0.9 - there are things I'd want to add before releasing it More Generally (like more levels, nicer graphics [or any graphics at all], a few more nicer Ux stuffs, an Esperanto translation), but it's also perfectly functional now (testing pending).

More information
StatusOn hold
PlatformsHTML5
Authorfelikso
GenreEducational, Puzzle
Made withUnity
Tagslogic, philosophy, proofs, Sandbox
Average sessionAbout a half-hour
LanguagesEnglish
InputsMouse

Comments

Log in with itch.io to leave a comment.

BobbyMr1 year ago (2 edits)

It's a Great game AND it's Educational?!

Seriously though, some of the instructions are pretty cryptic, and I can't get past 1.12. Any advice on it?

Other than that, Great game!


EDIT: Just came back to this, and figured out that 1.12 is impossible, because there is no way to make a proof of R from Q. Really disappointing.

Reply