Logic / Logic 267 · Atom · ~20 seconds
Universal Instantiation
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
From (x)Fx, derive Fa — or Fy — for any constant or variable. What's true of everything is true of each thing.
Show
(x)(Hx ⊃ Mx), so Hs ⊃ Ms. Socrates inherits the rule.
Watch for
UI is generous — instantiate to anything. The other three quantifier rules are not so relaxed.