Logic from Axioms

Previous chapters have treated the logic of unanalysed statements by the truth-table method; that is, truth-tables have been used as the test of whether one of two statements implies the other.