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:

    “The world still wants its poet-priest, a reconciler, who shall not trifle with Shakspeare the player, nor shall grope in graves with Swedenborg the mourner; but who shall see, speak, and act, with equal inspiration. For knowledge will brighten the sunshine; right is more beautiful than private affection; and love is compatible with universal wisdom.”
    —Ralph Waldo Emerson (1803–1882)