Introduction to the art and science of good reasoning. Topics cover the concepts of truth, validity, consequence, and proof in the context of informal reasoning and in the formal languages of propositional and predicate logic. Primary focus on constructing and evaluating arguments and proofs using formal and informal methods. Weekly laboratory sessions provides hands-on experience with constructing and evaluating formal arguments, building truth tables and counter models using logic learning software. Applications of logic in both everyday and scientific reasoning are addressed. Emphasis on developing problem solving skills and good reasoning techniques. 3 Credits (2.50 Lecture - 1.50 Lab) Prerequisite(s): CSC124 and ENL111.