steamiqhq
★ Watchlist
Deductum

Game overview

Deductum

nonpop · Aug 5, 2025

Minimalistic puzzle game where you build formal logical proofs.

Casual Indie Strategy
Last tracked players
0
All-time peak
2
24-hour change
Unavailable

Delayed observation · last tracked . Values marked unavailable are not estimated.

About this game Read the full description

In this minimalistic puzzle game, you're given a set of premises and a conclusion, and your task is to use the fundamental rules of logic to formally prove, step by step, that the conclusion follows.

Tutorials introduce you to the world of proofs and the game mechanics. The early problems are simple, but the difficulty gradually increases until eventually you might not even know where to begin. Still, every problem has a solution, and if you think deeply enough, you'll never need to guess!

  • Simple controls. No timers. No distractions. Just logic.

  • 111 problems to solve, including classic theorems like De Morgan's Laws and the Law of the Excluded Middle

  • Sandbox mode: enter any claim (with proposition symbols A–H) and see if you can prove it!

Media gallery 5 screenshots · 0 videos
Deductum game capsule image

Screenshots

Deductum screenshot 1
Deductum screenshot 2
Deductum screenshot 3
Deductum screenshot 4
Deductum screenshot 5

Player activity

Concurrent players over the last 48 hours.

Loading player history?
System requirements Windows · Linux

Windows

Minimum

Minimum:
  • Requires a 64-bit processor and operating system
  • OS: 7
  • Processor: x86-64
  • Memory: 2 GB RAM
  • Graphics: Full OpenGL 3.3 support or Direct3D 11 support
  • DirectX: Version 11
  • Storage: 200 MB available space

Recommended

Recommended:
  • Requires a 64-bit processor and operating system

Linux

Minimum

Minimum:
  • OS: Released after 2016
  • Processor: x86-64
  • Memory: 2 GB RAM
  • Graphics: Full OpenGL 3.3 support
  • Storage: 200 MB available space

Recommended

Recommended:
    Game details Languages, features & support
    Publisher
    nonpop
    Brazilian rating
    l
    Steam Germany rating
    0
    Achievements
    8
    Features
    Single-player, Steam Achievements, Custom Volume Controls, Mouse Only Option, Playable without Timed Input, Touch Only Option, Steam Cloud, Family Sharing
    Languages
    English
    More analysis Activity patterns, updates & developer tools

    Build a competitor report

    Game Insights

    Buy Verdict

    Wait — $4.99.

    Wait for upcoming sale in ~13 days for potentially better pricing.

    ▬ ~13 days until next sale

    Value Score

    Great Value — 100th percentile.

    Price-to-player ratio ranks in the 100th percentile.

    ▲ Market pricing tier

    Genre Benchmarks

    Player Count Top 0%
    Value Ratio Top 0%

    Activity Heatmap

    UTC+0 (Your Timezone)
    0
    Peak Activity
    0
    Avg Activity
    0
    Active Hours
    3%
    Sample coverage
    Less Active
    More Active
    0
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    Sun
    Sunday 0:00
    No samples
    Sunday 1:00
    No samples
    Sunday 2:00
    No samples
    Sunday 3:00
    No samples
    Sunday 4:00
    No samples
    Sunday 5:00
    No samples
    Sunday 6:00
    No samples
    Sunday 7:00
    No samples
    Sunday 8:00
    No samples
    Sunday 9:00
    No samples
    Sunday 10:00
    No samples
    Sunday 11:00
    No samples
    Sunday 12:00
    No samples
    Sunday 13:00
    No samples
    Sunday 14:00
    No samples
    Sunday 15:00
    No samples
    Sunday 16:00
    No samples
    Sunday 17:00
    No samples
    Sunday 18:00
    No samples
    Sunday 19:00
    No samples
    Sunday 20:00
    No samples
    Sunday 21:00
    No samples
    Sunday 22:00
    No samples
    Sunday 23:00
    No samples
    Mon
    Monday 0:00
    No samples
    Monday 1:00
    No samples
    Monday 2:00
    No samples
    Monday 3:00
    No samples
    Monday 4:00
    No samples
    Monday 5:00
    No samples
    Monday 6:00
    No samples
    Monday 7:00
    No samples
    Monday 8:00
    No samples
    Monday 9:00
    No samples
    Monday 10:00
    No samples
    Monday 11:00
    No samples
    Monday 12:00
    No samples
    Monday 13:00
    No samples
    Monday 14:00
    No samples
    Monday 15:00
    No samples
    Monday 16:00
    No samples
    Monday 17:00
    No samples
    Monday 18:00
    No samples
    Monday 19:00
    No samples
    Monday 20:00
    No samples
    Monday 21:00
    No samples
    Monday 22:00
    No samples
    Monday 23:00
    No samples
    Tue
    Tuesday 0:00
    No samples
    Tuesday 1:00
    No samples
    Tuesday 2:00
    No samples
    Tuesday 3:00
    No samples
    Tuesday 4:00
    No samples
    Tuesday 5:00
    No samples
    Tuesday 6:00
    No samples
    Tuesday 7:00
    No samples
    Tuesday 8:00
    No samples
    Tuesday 9:00
    No samples
    Tuesday 10:00
    No samples
    Tuesday 11:00
    No samples
    Tuesday 12:00
    No samples
    Tuesday 13:00
    No samples
    Tuesday 14:00
    No samples
    Tuesday 15:00
    No samples
    Tuesday 16:00
    0 players · 1 samples
    Tuesday 17:00
    No samples
    Tuesday 18:00
    No samples
    Tuesday 19:00
    No samples
    Tuesday 20:00
    No samples
    Tuesday 21:00
    No samples
    Tuesday 22:00
    No samples
    Tuesday 23:00
    No samples
    Wed 📍
    Wednesday 0:00
    No samples
    Wednesday 1:00
    No samples
    Wednesday 2:00
    No samples
    Wednesday 3:00
    No samples
    Wednesday 4:00
    No samples
    Wednesday 5:00
    No samples
    Wednesday 6:00
    No samples
    Wednesday 7:00
    No samples
    Wednesday 8:00
    No samples
    Wednesday 9:00
    No samples
    Wednesday 10:00
    No samples
    Wednesday 11:00
    No samples
    Wednesday 12:00
    No samples
    Wednesday 13:00
    No samples
    Wednesday 14:00
    No samples
    Wednesday 15:00
    No samples
    Wednesday 16:00
    No samples
    Wednesday 17:00
    No samples
    Wednesday 18:00
    No samples
    Wednesday 19:00
    No samples
    Wednesday 20:00
    0 players · 1 samples
    Wednesday 21:00
    No samples
    Wednesday 22:00
    No samples
    Wednesday 23:00
    No samples
    Thu
    Thursday 0:00
    No samples
    Thursday 1:00
    No samples
    Thursday 2:00
    No samples
    Thursday 3:00
    No samples
    Thursday 4:00
    No samples
    Thursday 5:00
    No samples
    Thursday 6:00
    No samples
    Thursday 7:00
    No samples
    Thursday 8:00
    No samples
    Thursday 9:00
    No samples
    Thursday 10:00
    No samples
    Thursday 11:00
    No samples
    Thursday 12:00
    No samples
    Thursday 13:00
    No samples
    Thursday 14:00
    No samples
    Thursday 15:00
    No samples
    Thursday 16:00
    No samples
    Thursday 17:00
    No samples
    Thursday 18:00
    No samples
    Thursday 19:00
    No samples
    Thursday 20:00
    No samples
    Thursday 21:00
    No samples
    Thursday 22:00
    No samples
    Thursday 23:00
    No samples
    Fri
    Friday 0:00
    No samples
    Friday 1:00
    No samples
    Friday 2:00
    No samples
    Friday 3:00
    No samples
    Friday 4:00
    No samples
    Friday 5:00
    No samples
    Friday 6:00
    0 players · 1 samples
    Friday 7:00
    No samples
    Friday 8:00
    No samples
    Friday 9:00
    No samples
    Friday 10:00
    No samples
    Friday 11:00
    No samples
    Friday 12:00
    No samples
    Friday 13:00
    No samples
    Friday 14:00
    No samples
    Friday 15:00
    No samples
    Friday 16:00
    No samples
    Friday 17:00
    No samples
    Friday 18:00
    No samples
    Friday 19:00
    No samples
    Friday 20:00
    No samples
    Friday 21:00
    No samples
    Friday 22:00
    No samples
    Friday 23:00
    No samples
    Sat
    Saturday 0:00
    No samples
    Saturday 1:00
    No samples
    Saturday 2:00
    No samples
    Saturday 3:00
    No samples
    Saturday 4:00
    No samples
    Saturday 5:00
    No samples
    Saturday 6:00
    No samples
    Saturday 7:00
    No samples
    Saturday 8:00
    No samples
    Saturday 9:00
    No samples
    Saturday 10:00
    No samples
    Saturday 11:00
    0 players · 1 samples
    Saturday 12:00
    No samples
    Saturday 13:00
    No samples
    Saturday 14:00
    No samples
    Saturday 15:00
    No samples
    Saturday 16:00
    No samples
    Saturday 17:00
    No samples
    Saturday 18:00
    No samples
    Saturday 19:00
    No samples
    Saturday 20:00
    No samples
    Saturday 21:00
    No samples
    Saturday 22:00
    No samples
    Saturday 23:00
    0 players · 1 samples

    Developer Analytics

    Loading competitors...

    Frequently Asked Questions

    Is Deductum worth buying right now?
    Wait — $4.99. Wait for upcoming sale in ~13 days for potentially better pricing.
    When does Deductum go on sale?
    Wait for upcoming sale in ~13 days for potentially better pricing.
    Is Deductum free to play?
    Deductum costs $4.99 on Steam.
    What genre is Deductum?
    Deductum is a Casual, Indie, Strategy game.
    Who developed Deductum?
    Deductum was developed by nonpop and published by nonpop.
    What platforms does Deductum support?
    Available on Steam for Windows, Linux.