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
← Return to game
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.