Notes for Elementary Symbolic Logic
ch. 4	Chapter 4. Conditionals—Section 3. Conditional proofs: bottling inference	ch. 6
5.2	Overview 5.3.1 5.3.2 Smmry Ex Ans	5.4