Stage 35 · Logic & Quantifiers

35.3.4 Writing Quantified Statements in Symbols

35.3 For All and There Exists

Point 4 of 4

35.3.4 Writing Quantified Statements in Symbols

Core idea

Translate the words into symbols: ∀x∈M, p(x) and ∃x∈M, p(x) each capture one kind.

Module goal. Tell apart "everyone does" from "at least one does," and bring in the two quantifiers and their symbolic forms.
eastmath.com · 35.3 For All and There Exists · 35.3.4 Writing Quantified Statements in Symbols