Text this: Deduction : Introductory symbolic logic