Unit 1: The Basics of Propositional Logic

**Intro to Symbolization: Conditionals (**→

**) and Conjunctions (&)**

__Videos__

__Exercises:__

1.1 Symbolizing Conditionals (Symbolize)

1.1 Main Connectives (Multiple Choice)

1.2 Symbolizing Conjunctions (Symbolize)

1.2 Logical Synonym Review (Speed)

**Validity and Soundness**

__Video__

**Intro to Proofs: Using**→

**out**

__Videos__

**Proofs Using &out and &in**

__Videos__

**Complex Conditionals (Multiple Arrows)**

__Video__

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.