---
tag: 33ZNXRFVJJ
kind: concept
name: Existential generalization
aliases: [existential-introduction]
sources:
  - wikipedia: en:33907942@r1308491612
    locator: Existential generalization
    note: adopted
    mention: wikipedia://en/33907942
    sections: [Summary]
same_as:
  wikidata: Q5420356
  wikipedia: Existential generalization
inventory: [DWBV9S1WYK]
---

## Summary

In predicate logic, **existential generalization** (also known as **existential introduction**, **∃I**) is a valid rule of inference that allows one to move from a specific statement, or one instance, to a quantified generalized statement, or [[existential proposition|0MSRQHCNN9]]. In [[first-order logic|086QKPF0A6]], it is often used as a rule for the existential quantifier ($\exists$) in formal proofs.