Additional inference rules (dil, DI, conj), and three replacement rules (CE, DN, comm). Examples of more complicated proofs.
See All 30 Episodes of "Logic (Audio w/ .pdfs)"