A simple treatment of truth functions
Alan Ross Anderson, Nuel Belnap · Journal of Symbolic Logic · 1959
In this note we present an axiomatization of the classical two-valued propositional calculus, for which proofs of decidability, consistency, completeness, and independence, are almost trivial (given an understanding of truth tables).