FANDOM


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:


\frac{\phi (x)}{\therefore \forall x \phi }

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


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 P(a) Hypothesis
2 \forall x P(x) Faulty Universal Generalization

Clearly this is absurd.

See alsoEdit

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.