Predicates, quantifiers, free and bound variables, implications, equivalences, inference rules, proof techniques.
Predicates and quantifiers, nested quantifiers, rules of inference, introduction to proofs
Textbook 55 pages
Translation between English and predicate logic, classification of assertions, implications and equivalences, inference rules.
Express statements using quantifiers, predicates, and logical connectives (Rosen Section 1.4)