# Quod Erat Demonstrandum：前提から結論を導く論理証明パズル

> Ad Dominum Gamesによる論理パズル。180以上のステージで推論規則を使い、前提から結論を導く証明に挑みます。

発売日: 2026-11-12
タグ: casual, logic, strategy, philosophical, puzzle, minimalist, education, singleplayer
出典: https://store.steampowered.com/app/4518950/
記事のページ: https://web-autoai.com/articles/quod-erat-demonstrandum-a-philosophical-logic-puzzle-of

価格・評価は変わるため、最新の値はこの記事のページで確かめること。

---

## 概要
Quod Erat Demonstrandumは、Ad Dominum Gamesが開発・販売を手がけるカジュアル寄りのストラテジーパズルです。 2026年11月12日にリリースされました。 タイトルは数学の証明の最後に記されるラテン語の慣用句から取られており、その名の通り「前提から結論が本当に導けるか」を確かめることが遊びの中心になっています。

## 見どころ
- 命題論理から述語論理までをカバーする180以上の手作りステージを収録しています。
- 推論規則と置換規則を当てはめて新しい命題を導き、結論までたどり着く証明づくりがゲームプレイの核です。
- プラトンやアリストテレス、トマス・アクィナスといった思想家のテーマが背景に織り込まれ、論理の練習に哲学的な味わいを添えています。

## こんな人におすすめ
形式的な推論やパターン認識を楽しめる人に向いています。 論理学の演習問題を解くことに静かな手応えを感じた経験があるなら、この構造はしっくりくるはずです。 序盤は教室で出会いそうな証明に近い形ですが、進むにつれて論理的思考力とパターンを見抜く力が試されていきます。 シングルプレイ専用で、マウスだけで操作できる設定や音量調整も用意されています。 画面は意図的にミニマルで、議論そのものに集中できる作りです。

## ゲーム情報
- 開発・販売：Ad Dominum Games
- リリース日：2026年11月12日
- ジャンル：カジュアル、インディー、ストラテジー
- Steamタグ：Logic、Puzzle、Philosophical、Minimalist、Education など
- シングルプレイ、Steam実績に対応
- 表示言語：英語
- 有料タイトル。価格やセール状況は最新のSteamストアページで確認してください