Notes for Elementary Symbolic Logic
ch. 3	Chapter 4. Disjunctions—Section 4. Detachment: eliminating alternatives	ch. 5
4.2	Overview 4.3.1 4.3.2 Smmry Ex Ans