Hey guys! I'm late to the announcement that the Predicate Logic mini course is live! After all, it's better late than never, ain't that so?
Predicate logic is a natural extension to propositional logic. Honestly, believe me, it's not that difficult to grasp once you're comfortable with the basics of propositional logic. If you take a quick look into the formal verification of computer programs, you'll see that predicate logic is a prerequisite for understanding how it goes.
At this point, I'd like to mention one important thing. This predicate logic mini course only covers predicates and quantifiers and the concepts around them; it doesn't treat the topic as a formal language and likewise doesn't include such concepts as grammars, semantics, interpretations, models, and similar formal machinery.
This extensively formal coverage is often referred to as first-order logic and while I do have plans to cover it in a separate mini course in the future, this mini course isn't at least about all that stuff.