Next: ui, Up: Predicate Rules [Contents]
Universal Generalization claims that if a property ‘P’ is true for some arbitrary object, then it is true for all objects. A symbol is arbitrary if nothing is known about, or rather if it was not introduced through a premise or using existential instantiation. Variables
Universal Generalization uses exactly one reference.