Concept
Universal generalization
Overview
rule in predicate logic
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- First-order logic
- Modus ponens
- Validity (logic)
- Rule of inference
- Deduction theorem
- Universal instantiation
Place in the tradition
Part of Outline of logic.