Natural Deduction
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).
Comments
Log in with itch.io to leave a comment.
This is quite constraining and annoying that I can't perform operations on statements just because it's an argument of another statement
Also it would help if we could copy statements straight from the assumptions or the goal tab since the tedious part of this shouldn't be constructing the sentence but thinking about how to construct the needed statements
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.