In predicate logic, generalization (also universal generalization, universal introduction, GEN, UG) is a valid inference rule. It states that if ⊢ P ( x ) {\displaystyle \vdash \! P(x)} has been derived, then ⊢ ∀ x P ( x ) {\displaystyle \vdash \!
In predicate logic, generalization (also universal generalization, universal introduction, GEN, UG) is a valid inference rule. It states that if ⊢ P ( x ) {\displaystyle \vdash \! P(x)} has been derived, then ⊢ ∀ x P ( x ) {\displaystyle \vdash \!
Source: Wikipedia "Universal generalization" · CC BY-SA 4.0
Share this article: X · Bluesky