Logic / Logic 259 · Atom · ~20 seconds
The Universal Quantifier
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
(x)Fx says: every individual x is F.
Show
(x)Mx — everything is material. A claim about the entire universe of discourse.
Watch for
The quantifier binds its variable across its scope. What counts as "everything" is set by the universe of discourse — often restricted, always worth checking.