Unit 3: Completing the System

**Symbolizing Biconditionals (**↔

**)**

__Videos__

**Proofs Using**↔

**out and**↔

**in**

__Videos__

__Exercises:__

None at this time

**Symbolizing Disjunctions (**v

**)**

__Videos__

__Exercises:__

3.3 Symbolizing Disjunctions and Biconditionals (Symbolize)

3.3 Logical Synonym Review (Speed)

**Proofs: Using**v

**in and**v

**out**

__Videos__

__Exercises:__

None at this time

**Proofs Using Derived Rules**

__Videos__

__Exercises:__

3.8 Demorgan's & Arrow Exchange (Multiple Choice)

3.8 Modus Tollens (Multiple Choice)

3.8 Disjunctive Argument (Multiple Choice)

3.8 All Top-Down Rules (Fill in the Blank)

Note: The red cubes are for the benefit of my Saturday "hybrid" classes. They indicate

__required__videos. Their content is not necessarily more important, but they include things which we may not cover in the classroom.