Generalización Existencial

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Una regla de inferencia que permite inferir una afirmación existencial ∃x P(x) a partir de una instancia particular P(t): si algún término t satisface P, entonces existe un x tal que P(x).