An Introduction to Logic
Introduction to Logic by Stefan Waner and Steven R. Costenoble is a tutorial that covers topic such as statements and logical operators, logical equivalence, tautologies and contradictions, rules of inference, arguments and proofs, and predicate calculus.
http://people.hofstra.edu/Stefan_Waner/RealWorld/logic/logicintro.html