An old lecture note on predicate logic (Patreon)

I came across this old lecture note on predicate logic and thought it might be helpful. It covers propositional logic and predicate logic, including sections on predicates, propositions, and quantification.