Upgrade your mental operating system. Learn propositional logic, categorical reasoning, and argument analysis through game-like challenges.
Every argument you evaluate, every decision you make, every claim you assess runs on logic. CogitOS makes the invisible framework visible and trainable.
Connectives, truth tables, validity, and natural deduction proofs. From atomic sentences to complex arguments, one step at a time.
Venn diagrams, mood and figure, distribution rules. Learn to spot valid and invalid forms by intuition, not memorization.
Identify premises and conclusions in natural language. Detect fallacies. Reconstruct arguments into their logical skeleton.
No lectures. No textbook walls. Every concept is a puzzle to solve, a level to beat, a skill to unlock. Logic as play.
A clear path from first principles to advanced reasoning. Each level builds on the last.
Propositions, truth values, and the building blocks of logic
AND, OR, NOT, IF-THEN, IF-AND-ONLY-IF in action
Test arguments mechanically. Tautologies, contradictions, contingencies.
Construct formal proofs using rules of inference
Syllogisms, Venn diagrams, and quantified reasoning
CogitOS is the first game-native logic learning system. One atomic sentence at a time.
▶ Play Now — It's Free