Généralisation Existentielle

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Une règle d'inférence qui permet d'inférer une assertion existentielle ∃x P(x) à partir d'une instance particulière P(t) : si un terme t satisfait P, alors il existe un x tel que P(x).