universal instantiation

Show Summary Details

Quick Reference

The inference from a proposition stating that all things are thus and so to an instance, stating that some particular is thus and so. In classical formal logic, it is also known as universal quantifier elimination

Subjects: Philosophy.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.