In predicate logic, generalization (also universal generalization, GEN) is a valid inference rule. It states that if has been derived, then can be derived.
Read more about Universal Generalization: Generalization With Hypotheses, Example of A Proof
Famous quotes containing the word universal:
“The exuberant fertility of the universal will.”
—Friedrich Nietzsche (1844–1900)
Related Phrases
Related Words