We follow this same outline, but with three twists. We emphasize reasoning techniques (natural deduction) over calculational techniques (truth tables or trees). We incorporate more analysis of ...