NOTES & VIDEO TRANSCRIPTS
Video 1 Lecture 1 - definitions Homework 1 Solutions
Video 2 Lecture 2A - sentential operators Homework 2 Solutions
Video 3 Lecture 2B - symbolization basics
Video 4 Lecture 2C - truth tables
Video 5 Lecture 3 - grammar & semantics
Video 6 Lecture 4 - validity testing
Video 7 Lecture 5 - tautology, contradiction, consistency
Video 8 Lecture 6 - rules of inference
Video 9 Lecture 7 - rules of replacement
Video 9A Lecture 9 - conditional & indirect proof (no Lecture 8)
Video 10 Lecture 10 - singular sentences
Video 11 Lecture 11 - quantifiers, categorical propositions
Video 12 Lecture 12 - complex predicates
Video 13 Lecture 13 - quantifier form
Video 14 Lecture 14 - quantifier rules - preliminary
Video 15 Lecture 15 - pure quantifier arguments
Video 16 Lecture 16 - non-quantifier form arguments
Video 17 Lecture 17 - invalidity in predicate logic