Introduction to Logic offers a grounded step-by-step reconstruction of the basic elements of classical propositional logic. A constructive logic with a wider scope is hinted at but not developed further. Emphasis is…