3. Statements and quantifiers

Covers statements, predicates, variables, scope, free and bound variables, and nested quantifiers. Practice focuses on writing definitions precisely and checking whether formal statements say what was intended.