The Propositional Calculus

Here we begin to build the 'Typographical Number Theory' (TNT). We start with Propositional Calculus, the logic of 'AND', 'OR', 'NOT', and 'IF...THEN'. It's a system for combining simple truths into complex ones. By formalizing reasoning into strict rules of symbol manipulation, we take the first step toward mechanizing thought itself.