You're right, I even had it at some point but decided to remove it to simplify the UI since not many levels seemed to need it. But you're not the first one to comment about it so maybe I was wrong...
The full version does not include: <-> (implies and vise versa) -/> (does not imply) <- </- Extra proofs: A, A -/> B | not B A, A <-> B | B not A, A <-> B | not B
Thanks for the comment! I indeed dropped equivalence (<->) because I thought it would clutter the UI without bringing interesting new mechanics. Maybe I'll include it in a future version, though. I'll also add your proof suggestions to a list of possible future additions!
More proofs: A <-> B | A -> B, B -> A A -> B | A -/> not B A -/> B | A -> not B not not A | B A -> B | B -> A A <-> B | A -> B, B -> A A and B | A <-> B not A and not B | A <-> B A <-> B | A and B or not A and not B not A <-> B | not A and B or A and not B Level ideas: 1. Premise: A -/> B Prove: A -> not B 2. Premises: A -> B, B -/> C Prove: A -> not C 3. Premise: A -/> not B Prove: A -> B 4. Premise: A <-> B Prove: A -> B and B -> A 5. Premise: A and B Prove: not(A -/> B) 6. Prove: (not A) -/> A 7. Prove: (A and A-/> B) -> (A <-> B)
← Return to game
Comments
Log in with itch.io to leave a comment.
it would be so convenient if we could also go forward from the premises so we don't have to prove B is true 3 times
You're right, I even had it at some point but decided to remove it to simplify the UI since not many levels seemed to need it. But you're not the first one to comment about it so maybe I was wrong...
The full version does not include:
<-> (implies and vise versa)
-/> (does not imply)
<-
</-
Extra proofs:
A, A -/> B | not B
A, A <-> B | B
not A, A <-> B | not B
Thanks for the comment! I indeed dropped equivalence (<->) because I thought it would clutter the UI without bringing interesting new mechanics. Maybe I'll include it in a future version, though. I'll also add your proof suggestions to a list of possible future additions!
More proofs: A <-> B | A -> B, B -> A
A -> B | A -/> not B
A -/> B | A -> not B
not not A | B
A -> B | B -> A
A <-> B | A -> B, B -> A
A and B | A <-> B
not A and not B | A <-> B
A <-> B | A and B or not A and not B
not A <-> B | not A and B or A and not B
Level ideas:
1.
Premise: A -/> B
Prove: A -> not B
2.
Premises: A -> B, B -/> C
Prove: A -> not C
3.
Premise: A -/> not B
Prove: A -> B
4.
Premise: A <-> B
Prove: A -> B and B -> A
5.
Premise: A and B
Prove: not(A -/> B)
6.
Prove: (not A) -/> A
7.
Prove: (A and A-/> B) -> (A <-> B)