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:

    “Poets ... are the only people to whom love is not only a crucial, but an indispensable experience, which entitles them to mistake it for a universal one.”
    —Hannah Arendt (1906–1975)