Logic

Propositional Logic

Propositions are statements that are TRUE or FALSE. Connectives (AND, OR, NOT, IMPLIES) combine them into logic.

Predicate Logic

Predicate logic adds variables and quantifiers (FOR ALL, EXISTS) to propositional logic. The math behind formal proofs.