Unit 5: Intro to Predicate Logic

**Predicate Logic Symbolization**

__Videos__

**Symbolizing Quantifiers with Negations**

__Videos__

**Predicate Logic Proofs**

__Videos__

**Predicate Logic Truth Trees**

__Videos__

__Exercises:__

None at this time

**Validity and Soundness Revisited**

__Videos (To be Posted)__

__Exercises:__

None at this time.

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.