How to Do a Direct Derivation (Sentential Logic)

Excerpt from Formal Logic Lecture - HKUST (The Hong Kong University of Science and Technology) Lecturer: Dr. T.Y. William Wong Agenda: Introduction to Derivations (a type of natural deduction) Direct Derivation (Kalish and Montague style)