Logic, sets, functions and relations

By the end you’ll be able to

• Form negations, converses and contrapositives of statements, including statements with nested quantifiers
• Use truth tables and logical equivalences to decide validity and equivalence
• Apply set operations, De Morgan’s laws, power sets and Cartesian products
• Classify functions as injective, surjective or bijective, compose and invert them, and count functions between finite sets