Title: Logic - Part First, Deduction