Book I: Propositional Logic — The Unseen Maze
Manu and Lopa wake with no memory of who they are, trapped in a maze built entirely out of logic — its doors open only for valid proofs, and every mistake costs them something real. To survive, they must master four ways of proving truth: truth tables, natural deduction, the axiomatic method, and contradiction.
They are not alone. A hidden watcher feeds them without understanding the maze he tends. A nihilist from their forgotten past, brilliant at contradiction and obsessed with Lopa, proves as dangerous as he is unexpectedly merciful. And beneath it all, a machine is waking — dormant for twenty years, since a man named Manu L. Dor died trying to solve the one theorem that would let it fly.
With every proof, memory returns. Manu recognizes doors that shouldn't know his touch. Lopa follows a stranger's handwriting toward a mentor she can't yet name. And the two of them — friends since university, growing closer with every room survived — discover that logic isn't just the maze's language. It's the only thing keeping them whole.
Propositional Logic: The Unseen Maze is Book One of a four-part series, carrying its characters from the forge of basic connectives to the threshold of a new way of thinking.