Propositions & truth tables (AND, OR, XOR, …), logical implication & equivalence, quantifiers (∀, ∃), direct proof vs contradiction, arithmetic & geometric series proofs, prime numbers, AI applications (rule-based systems, dataset splits, feature sets)