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:

    “There isn’t any universal reason;
    And no one but a man would think there was.
    You don’t catch women trying to be Plato.”
    —Robert Frost (1874–1963)