Notes for Elementary Symbolic Logic
ch. 8
Appendix B. Laws for relative exhaustiveness
app. A
app. B