
Propositional logic

Define them

and/or/implies/de morgan

laws (communtative, associative, etc)

Predicate logic

Functions on logic statments

Quantifiers (A and E)

Nested quantifiers

Functions

Sequences

summnations

geometric and arithmetic progressions

recurrence relations

Set theory

bags vs sets

sets of numbers

set operations

Inference

Induction