Universal Instantiation is a rule of inference in propositional logic:

(∀xP(x) ^ (c ∈ U)) -> P(c)

In English:
If P(x) is true for all x and c is an element of the universe of discourse, P(c) is true.

If all men are mortal and Socrates is a man, Socrates is mortal.

See also: Universal Generalization, Existential Instantiation, Existential Generalization.

Log in or registerto write something here or to contact authors.