The Angel Recording the Truth

The Angel Recording the Truth

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

Game page on GameJolt

Game page on Ludum Dare

Development Timelapse