Universal generalization is a rule of inference for predicate logic. It states that if we can derive a formula with free variables then me may infer a formula in which those variables are bound with a universal quantifier, or symbolically:

where is a metavariable representing a wff and is a term representing all occurances of in .

## RestrictionsEdit

The term that is going to be universally quantified must be a variable, not a constant. In other words, it must not evaulate to some object in the Universe of discourse. The reason this necessary is because if this restriction does not exist, then saying that all objects in the universe have a certian property because at least one object in the universe has a certian propery would be valid, or symbolically:

Line: | Formula: | Reason: |
---|---|---|

1 | Hypothesis | |

2 | Faulty Universal Generalization |

Clearly this is absurd.