Designed for middle and high school students, this workbook explores propositional logic and proofs using symbolic language. A companion to the Intermediate Logic curriculum. *Classical items are exclusively for Homeschool Global Classical program enrollees only.