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:

    “I have been maintaining that the meaning of the word ‘ought’ and other moral words is such that a person who uses them commits himself thereby to a universal rule. This is the thesis of universalizability.”
    —Richard M. Hare (b. 1919)