Logic / Logic 260 · Atom · ~20 seconds
The Existential Quantifier
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
(∃x)Fx says: at least one individual x is F.
Show
(∃x)Ux — something is a unicorn. False, but perfectly well-formed.
Watch for
"At least one," exactly as in video 071. The two quantifiers are the whole inventory.