Universal Generalization

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A formal inference rule in predicate logic that permits deriving a universal formula ∀x φ(x) when φ(x) has been derived under the condition that x is arbitrary and does not depend on any assumptions about that particular individual.