Universal Instantiation/Also known as

Universal Instantiation: Also known as

The Rule of Universal Instantiation can be abbreviated UI.


The Rule of Universal Instantiation can also be referred to as the Rule of Universal Elimination and it is then abbreviated UE.

The reasoning behind the name Universal Elimination is that it is used to "eliminate" the universal quantifier from a logical argument.

This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.