Logic / Logic 268 · Atom · ~20 seconds
Universal Generalization
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
From Fy, where y is arbitrary, derive (x)Fx. Restriction: y must not have been introduced by EI, nor be free in an undischarged assumption.
Show
Proved for an arbitrary y, with no smuggled specifics — then proved for all.
Watch for
"Arbitrary" is load-bearing. Generalizing from a name is how one proves that everything is Socrates.