Quod Erat Demonstrandum
Ad Dominum Games · 2026 · Casual, Logic, Strategy, Philosophical, Puzzle
PC
Best price
Free
This game is free to play.
About Quod Erat Demonstrandum
Discover the challenging fun of validating logical proofs, beginning with simple propositional calculus and ending with complex, multi-domain predicate calculus. Prove yourself to be a master of logical thinking!