Chapter 7, Tutorial 6
PD: Derivations in PL
Derivations in this chapter all come from the older Logic Cafe text, the text meant to give a treatment of (almost all of) mathematical logic. You may want to read 8.2 and (especially) 8.3 of that text. But
the derivations in this text only include one derived rule we need to add...