Quantifying the Universe

Mathematical Logic · Axiom Academy

INTRO Quantifying the Universe Discover how mathematical logic expresses "all" and "some" with precision. Let's explore different types of statements. Click on each statement and decide: Does it claim something about ALL or about SOME ? Consider the statement: "All animals in this group are mammals." Click on each animal to check if it's a mammal. Discover when a universal statement is TRUE! Now consider: "There exists a prime number in this set." Click on numbers to check if they're prime. See how existential statements work! Mathematics gives us precise symbols for these ideas. Here are the two fundamental quantifiers: Combining Predicates with Quantifiers The real power comes from combining quantifiers with predicates (properties or conditions). Without quantifiers: "x > 5" is neither true nor false—we don't know what x is! With ∀: "∀x ∈ ℕ, x > 5" is FALSE (1 is a counterexample) With ∃: "∃x ∈ ℕ, x > 5" is TRUE (6 works!) Quantifiers transform vague predicates into precise mathematical statements: Universal: ∀x ∈ ℕ, P(x) → "All natural numbers are even" (FALSE) Existential: ∃x ∈ ℕ, P(x) → "Some natural number is even" (TRUE) You can even combine multiple quantifiers:

This is the written version of the interactive lesson above. See the full Mathematical Logic course.