Intermediate Logic: Student (1st edition)

Covering topics in logic too often reserved for a college course, Intermediate Logic simplifies various elements of propositional and symbolic logic, including truth tables and formal proofs of validity. While this textbook/workbook can be used for one year's worth of study, older students may work through Introductory Logic and Intermediate Logic in a school year. Recommended for grades 8 and up. 20 lessons/35 exercises.