Unit 5: Intro to Predicate Logic
Predicate Logic Symbolization
Videos
Exercises:
5.1 Basic Predicate Logic Symbolization (Symbolize)
5.1 Basic Predicate Logic Symbolization (Symbolize)
Symbolizing Quantifiers with Negations
Videos
Predicate Logic Proofs
Videos
Predicate Logic Truth Trees
Videos
Exercises:
None at this time
None at this time
Validity and Soundness Revisited
Videos (To be Posted)
Exercises:
None at this time.
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.