Deductum

Deductum is een puzzelgame waarin je met behulp van logische regels stap voor stap bewijst dat een conclusie volgt uit een reeks premissen. Tutorials laten je kennismaken met bewijzen en de spelmechanieken, terwijl de opgaven geleidelijk moeilijker worden. Elke opgave heeft een oplossing, en je kunt die vinden zonder te gokken.

Opgaven en sandbox

De game bevat 111 opgaven, waaronder klassieke stellingen zoals de wetten van De Morgan en de wet van de uitgesloten derde. In de sandboxmodus kun je elke bewering invoeren met de propositietekens A–H en proberen die te bewijzen.

Alle aandacht voor logica

De besturing is eenvoudig, zonder timers of afleidingen.