Comments
After some centuries, God has decided the world should be cleared of anything untrue. To decide what will be Kept Alive (hint hint), God has tasked an angel to go to the world and record everything true in the form of first order logic statements.
This is an educational game for first order logic. Concepts introduced include predicates, sets, and quantifiers. By introducing concepts one at a time in an interactive setting and letting related concepts build on itself, I hope that players will become more comfortable working with these concepts. I was probably a bit sloppy with some notation (for example, the Wikipedia page didn’t have examples using sets, so including them might really be an extension of first-order logic or something like that). If you really know this stuff and notice a huge mistake, please correct me.
Made in under 48 hours for Ludum Dare 46
