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:

    “To revolutionize, at one effort, the universal world of human thought, human opinion, and human sentiment.... All that he has to do is to write and publish a very little book. Its title should be simple—a few plain words—”My Heart Laid Bare.” But—this little book must be true to its title.”
    —Edgar Allan Poe (1809–1849)