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 universal regard for money is the one hopeful fact in our civilisation. Money is the most important thing in the world. It represents health, strength, honour, generosity and beauty.... Not the least of its virtues is that it destroys base people as certainly as it fortifies and dignifies noble people.”
    —George Bernard Shaw (1856–1950)