The Existential Quantifier
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
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.