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:
“There isnt any universal reason;
And no one but a man would think there was.
You dont catch women trying to be Plato.”
—Robert Frost (18741963)
Related Phrases
Related Words