Logic / Logic 270 · Atom · ~20 seconds
Existential Generalization
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
From Fa, derive (∃x)Fx. What's true of a named thing is true of something.
Show
Ms, therefore (∃x)Mx. Socrates is mortal, so something is.
Watch for
EG is as generous as UI. The two *generalizations* differ wildly in strictness; the two *instantiations* do too — crosswise.