Universal instantiation
From The Art and Popular Culture Encyclopedia
|
Related e |
|
Featured: |
In predicate logic universal instantiation (UI, also called universal specification or universal elimination, and sometimes confused with Dictum de omni) is a valid rule of inference from a truth about each member of a class of individuals to the truth about a particular individual of that class. It is generally given as a quantification rule for the universal quantifier but it can also be encoded in an axiom. It is one of the basic principles used in quantification theory.
Example: "All dogs are mammals. Fido is a dog. Therefore Fido is a mammal."
Unless indicated otherwise, the text in this article is either based on Wikipedia article "Universal instantiation" or another language Wikipedia page thereof used under the terms of the GNU Free Documentation License; or on research by Jahsonic and friends. See Art and Popular Culture's copyright notice.
