3.Next

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. In first-order logic, it is often used as a rule

3.Next