Loehr N.a. - An Introduction To Mathematical Pr... Apr 2026

Propositional logic, truth tables, and a thorough treatment of multiple quantifiers.

Injective/surjective/bijective properties, equivalence relations, and partial orders.

A recurring feature where Loehr teaches students how to correctly negate complex logical statements, a critical skill for proofs by contradiction and contraposition. Loehr N.A. - An Introduction to Mathematical Pr...

Exploration of finite, countably infinite, and uncountable sets.

Operations, subset proofs, power sets, and an optional section on axiomatic set theory (ZFC). Propositional logic, truth tables, and a thorough treatment

Induction, recursive definitions, and prime factorization.

Nicholas Loehr is an associate professor at Virginia Tech and has received multiple teaching awards across several institutions. and uncountable sets. Operations

New material is presented in small, digestible sections to prevent novices from becoming overwhelmed, though it maintains high mathematical rigor.