Announcement
Deductum demo available
There's now a free demo of Deductum! It covers the introductory conjunction and implication levels.
Read announcementSteam
Deductum
Also known as Deductum, d, deductum
Minimalistic puzzle game where you build formal logical proofs.
Last update
19 May 2026
Latest update
Update history
Browse past updates and patch notes for this game.
3 updates
Gallery