Universal Generalization

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:

    “Necessity does everything well. In our condition of universal dependence, it seems heroic to let the petitioner be the judge of his necessity, and to give all that is asked, though at great inconvenience.”
    —Ralph Waldo Emerson (1803–1882)