PHIL 110 is an introductory course in logic focusing on methods and principles of deductive reasoning. Integral to this study will be the presentation of methods for representing logical form and the development of a system of inference rules and strategies that allow for the determination of validity and invalidity of deductive arguments. See detailed objectives.
Online Texts and Tutorials
Schaum's Outline of Discrete Mathematics - Chapter four of this text covers symbolic logic: operations, truth tables, logical equivalence, algebra of propositions, and quantifiers. There are only ten true practice exercises at the end of the chapter, but additional practice could be improvised by covering the solutions to the examples, which are more numerous.
Introduction to Logic - See the 'Course Topics' section for tutorial material and the 'Homework Exercises' section for practice problems and solutions.
Symbolic Logic - Handouts for an elementary logic course offered at Earlham College in Indiana.
Ask Dr. Math: A Crash Course in Symbolic Logic - An overview. One long page.