Unit 1: The Basics of Propositional Logic
Symbolization Intro: Conditionals(→)/Conjunctions(&)
Validity and Soundness
Proof Intro: Proofs Using →out
Proofs Using &out and &in
Symbolizing Complex Conditionals
Unit 2: Building on the Basics
Symbolizing “Only If,” and Nec. and Suff.
Proofs Using →in
Symbolizing Negations (~)
Proofs Using ~out and ~in
Proofs Using Advanced Strategies
Unit 3: Completing the System
Symbolizing Biconditionals (↔)
Proofs Using ↔in and ↔out
Symbolizing Disjunctions (v)
Proofs Using vin and vout
Proofs Using Derived Rules
Unit 4: Truth Tables and Truth Trees
Intro to Truth Tables
Truth Tables for Validity
Intro to Truth Trees
True/False Questions
