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