Logic is a crucial skill that is often excluded from the traditional school curriculum. It fuels problem-solving and reasoning skills valuable in any and all careers. In Upside Up Logic, we'll tackle college-level symbolic reasoning through games. 

Our course begins with developing an understanding of conditional statements before moving on to the converse, inverse, and contrapositive. Next, we'll tackle negations, disjunctions, and conjunctions to form any statement in propositional logic form. Using mysteries as a catalyst, we'll solve tricky situations by transforming statements into symbols and reasoning to determine the conclusions we can form. 

Students will explore Knights and Knaves to master truth values and utilize truth tables to help determine validity before expanding our statements with quantifiers to explore some of Lewis Carroll's silly situations. 

With a focus on becoming excellent debaters, we will use rules of inference (Modus Ponens, Modus Tollens, Hypothetical Syllogism, etc.) to form sound and valid arguments while also playing logic games, solving mysteries, determining guilt and innocence based on clues, and figuring out who must be lying through deductive reasoning. 

The final unit bridges logic and set theory as we use our logical connectives to define the union, intersection, difference, and complement of sets providing students with a strong foundation for mathematical studies. 

This course is excellent for students interested in speech and debate, those who plan to take a proof-based course in the future, puzzle lovers, and anyone interested in expanding their reasoning skills.