Symbolic Logic
Mapping, Data Visualization
Inspired by a wonderful class on symbolic logic, I created a “map” of Hilbert’s Axiom System for classical logic. The system itself contains three logical “sentences” that always return true, no matter the truth value of their letters. This visualization inputs every truth value combination and shows how each sentence boils down to true.
Info ︎︎︎


