# Quod Erat Demonstrandum – Philosophical Logic Puzzle of Formal Proofs

> A minimalist logic puzzle from Ad Dominum Games with over 180 handcrafted proofs, blending formal reasoning with philosophical themes.

Release date: 2026-11-12
Tags: casual, logic, strategy, philosophical, puzzle, minimalist, education, singleplayer
Source: https://store.steampowered.com/app/4518950/
Article page: https://web-autoai.com/articles/quod-erat-demonstrandum-a-philosophical-logic-puzzle-of?lang=en

Prices and ratings change over time — check the article page for the current values.

---

## Overview
Quod Erat Demonstrandum is a casual strategy puzzle game from developer and publisher Ad Dominum Games, released on November 12, 2026. The title borrows the Latin phrase traditionally written at the close of a mathematical proof, and the game takes that idea literally: every stage hands you a set of premises and asks you to show that the conclusion genuinely follows from them.

## Highlights
- Over 180 handcrafted levels that move from propositional logic into predicate logic, gradually raising the difficulty.
- A proof-building loop where you apply rules of inference and replacement to derive new propositions step by step.
- Philosophical themes drawn from Plato, Aristotle, St. Thomas Aquinas and other thinkers, giving each proof a conceptual backdrop.

## Who It's For
This one is aimed at players who enjoy formal reasoning, pattern recognition and the quiet satisfaction of closing a proof. If you have ever worked through logic exercises and found them oddly relaxing, the structure here should feel familiar. The early levels resemble proofs you might meet in a classroom, while later stages push your logical thinking harder. It is a single-player experience with a mouse-only option and custom volume controls, and the interface stays deliberately minimal so the argument itself takes center stage.

## Game Info
- Developer / Publisher: Ad Dominum Games
- Release date: November 12, 2026
- Genres: Casual, Indie, Strategy
- Steam tags include Logic, Puzzle, Philosophical, Minimalist and Education
- Single-player with Steam Achievements
- Interface language: English
- Paid title; check the latest Steam listing for current pricing and any active discount