Explore relationships

Universal instantiation

In predicate logic, universal instantiation (UI; also called universal specification or universal elimination, and sometimes confused with dictum de omni) is a validrule of inference from a truth about each member of a class of individuals to the truth about a particular individual of that class.

Use + to expand a branch. Click a topic name to open its summary.