I really liked the polished UI :) And the explanations were very clear.

Explanations seemed clear, but I already knew how it all worked. Not super fun, but it was charming and educational. Not exactly sure how you expand it, but I'm not sure it needs to be expanded. I didn't see any flaws with the logic, so I rate the game "True".

This is a neat idea - and the graphics were really quite cute, especially the beginning scenes. I thought it was quite cool that the game actually evaluates the truth of statements, rather than having an answer key - this is something a lot of educational games get wrong, so I like that this one accepts all correct answers and rejects all others. There's a few times where you might want to make parts of the formula immutable, though - for instance, it's easy to get through the two predicate section just by putting in two existential quantifiers on everything.

Putting on my mathematician hat, though: you could definitely improve the interpret feature - translations like "For all x in trees, there exists a y in water such that x is next to y" would be an improvement over what you have (it's grammatical and how one would most often read a string of symbols out loud), although I would angle more towards getting translations like "Every tree is next to some body of water" - or possibly even allow multiple "levels" of translation. Having some experience teaching mathematics, I just doubt that the "verbatim" part of the translation is where students usually get stuck - it's either at the "translate into useful English" stage or the "strictly evaluate the truth of this" stage. (Also you absolutely would have to remove "It is true that" - that's a phrase I try to purge out from anyone I interact with mathematically; it's like writing if(b == true) in code where b is a boolean - not incorrect, but useless).

@meelo thank you for your feedback! I got kind of lazy when it came to the interpretation parts because I was trying to make something that I could easily throw in any variable/predicate name into. My hope was that the interpret box would help players who haven't memorized the notation yet.

I loved this game!!! I am currently taking a discrete structures class, so it was soothing seeing these symbols placed in a calm, cute environment. I'm def gonna share this with my friends who are also taking the course!

Nice work on the UI, almost no game takes a good care of the UI, it is not perfect, but is clearly that you put work on it. The mechanic is very interesting, I don't love maths, but it was refreshing remind all those things. Overall very interesting game. Good job :D!

Cool game! I reakky like the UI and how everything was explained step by step so that players wouldn't get confused! Awesome educational game!

I really like this game! I'm also taking discrete structures this semester and my exam is in 2 days so this game helped me to study for things that are gonna be on the exam!!! :OOO The ui is really good and the visuals are nice too, very relaxing nature setting. Could be cool to have more variety of places and maybe characters too. Keep up the good work and good luck!! :D

Fascinating idea! I'm not familiar with this concept, but it was really great to learn about it through this game. I had a little trouble with the last couple levels but that could just be me playing this while I'm too tired. Audio and graphics weren't particularly memorable, but they seemed to serve their purpose. Overall, I love that you went with an educational game! Neat idea and great execution for the time given!

Really funny concept, I liked it.

A truly unique idea, great!

I liked the humor and the dialogue

Wow, really fun time. I am a big fan of these kinds of puzzles, and my only real complain is that the game is too short. I was already familiar first order logic statements, but I feel like I better understand them after playing this game. It only really vaguely fits the theme, but it is fun enough to make up for that. Also, why can't I give you 5 stars for humor? The writing was really funny. Great entry!

As someone who has never even heard of first order logic, this was an extremely helpful, clear guide. Nothing about this game really stood out to me, but it all worked together to teach the concept in an enjoyable, calming way, which means it worked. Honestly, my only critique is that I don't fully see the connection to the theme, but otherwise your game does exactly what you want it to!

On a negative note to give you some feedback, the UI is quite cumbersome to use, for example the OK button is too small and always moves its location, and even though I appreciate the Enter key being supported, having to click between predicates and to press a confirm button manually doesn't make for a good user experience. On top of that, the lack of looping of the background music is a bit annoying though, and it feels just a little bit too repetitive. But on a positive note, this is a great educational tool, which reminds me of a recent project legendsoflearning.com which funded similar games that follow certain educational curricula by paying few thousand dollars for each game, and this game would definitely meet their quality standard from what I've seen, so maybe you could find a way to make a post-jam effort in a similar way to improve our education :)