Deduction: Introductory Symbolic Logic