Existential introduction

In symbolic logic, a valid inference in a system of quantifier rules. From a singular sentence,the inference to an existentially quantified claim is valid. The inference is to a restricted generalization, such as, in ordinary language, the inference from “Roberta is in the room” to“Someone is in the room.”