6.3.1 Universal Generalization

• P(a) ; a is arbitrary
• ——–
• Vx(P(x))

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.